Search dblp for Publications

export results for "toc:db/conf/forte/forte2018.bht:"

 download as .bib file

@inproceedings{DBLP:conf/forte/AlrahmanNGL18,
  author    = {Yehia Abd Alrahman and
               Rocco {De Nicola} and
               Giulio Garbi and
               Michele Loreti},
  title     = {A Distributed Coordination Infrastructure for Attribute-Based Interaction},
  booktitle = {{FORTE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10854},
  pages     = {1--20},
  publisher = {Springer},
  year      = {2018}
}
@inproceedings{DBLP:conf/forte/GiallorenzoMG18,
  author    = {Saverio Giallorenzo and
               Fabrizio Montesi and
               Maurizio Gabbrielli},
  title     = {Applied Choreographies},
  booktitle = {{FORTE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10854},
  pages     = {21--40},
  publisher = {Springer},
  year      = {2018}
}
@inproceedings{DBLP:conf/forte/GiraultGGHS18,
  author    = {Alain Girault and
               Gregor G{\"{o}}{\ss}ler and
               Rachid Guerraoui and
               Jad Hamza and
               Dragos{-}Adrian Seredinschi},
  title     = {Monotonic Prefix Consistency in Distributed Systems},
  booktitle = {{FORTE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10854},
  pages     = {41--57},
  publisher = {Springer},
  year      = {2018}
}
@inproceedings{DBLP:conf/forte/LanotteMM18,
  author    = {Ruggero Lanotte and
               Massimo Merro and
               Andrei Munteanu},
  title     = {A Modest Security Analysis of Cyber-Physical Systems: {A} Case Study},
  booktitle = {{FORTE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10854},
  pages     = {58--78},
  publisher = {Springer},
  year      = {2018}
}
@inproceedings{DBLP:conf/forte/NantesP18,
  author    = {Daniele Nantes and
               Jorge A. P{\'{e}}rez},
  title     = {Relating Process Languages for Security and Communication Correctness
               (Extended Abstract)},
  booktitle = {{FORTE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10854},
  pages     = {79--100},
  publisher = {Springer},
  year      = {2018}
}
@inproceedings{DBLP:conf/forte/PantovicPV18,
  author    = {Jovanka Pantovic and
               Ivan Prokic and
               Hugo Torres Vieira},
  title     = {A Calculus for Modeling Floating Authorizations},
  booktitle = {{FORTE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10854},
  pages     = {101--120},
  publisher = {Springer},
  year      = {2018}
}
@inproceedings{DBLP:conf/forte/PetrucciP18,
  author    = {Laure Petrucci and
               Jaco van de Pol},
  title     = {Parameter Synthesis Algorithms for Parametric Interval Markov Chains},
  booktitle = {{FORTE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10854},
  pages     = {121--140},
  publisher = {Springer},
  year      = {2018}
}
@inproceedings{DBLP:conf/forte/SjostenHS18,
  author    = {Alexander Sj{\"{o}}sten and
               Daniel Hedin and
               Andrei Sabelfeld},
  title     = {Information Flow Tracking for Side-Effectful Libraries},
  booktitle = {{FORTE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10854},
  pages     = {141--160},
  publisher = {Springer},
  year      = {2018}
}
@inproceedings{DBLP:conf/forte/VollingerA18,
  author    = {Kim V{\"{o}}llinger and
               Samira Akili},
  title     = {On a Verification Framework for Certifying Distributed Algorithms:
               Distributed Checking and Consistency},
  booktitle = {{FORTE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10854},
  pages     = {161--180},
  publisher = {Springer},
  year      = {2018}
}
@inproceedings{DBLP:conf/forte/WestmanN18,
  author    = {Jonas Westman and
               Mattias Nyberg},
  title     = {Preserving Contract Satisfiability Under Non-monotonic Composition},
  booktitle = {{FORTE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10854},
  pages     = {181--195},
  publisher = {Springer},
  year      = {2018}
}
@proceedings{DBLP:conf/forte/2018,
  editor    = {Christel Baier and
               Lu{\'{\i}}s Caires},
  title     = {Formal Techniques for Distributed Objects, Components, and Systems
               - 38th {IFIP} {WG} 6.1 International Conference, {FORTE} 2018, Held
               as Part of the 13th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10854},
  publisher = {Springer},
  year      = {2018}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics