Abstract is missing.
- Type Checking Liveness for Collaborative Processes with Bounded and Unbounded RecursionSøren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida. 1-16 [doi]
- Property Specification Made Easy: Harnessing the Power of Model Checking in UML DesignsDaniela Remenska, Tim A. C. Willemse, Jeff Templon, Kees Verstoep, Henri E. Bal. 17-32 [doi]
- Formal Specification and Verification of CRDTsPeter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter. 33-48 [doi]
- Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in TestingElvira Albert, Puri Arenas, Miguel Gómez-Zamalloa. 49-65 [doi]
- Efficient and Generalized Decentralized Monitoring of Regular LanguagesYliès Falcone, Tom Cornebize, Jean-Claude Fernandez. 66-83 [doi]
- A Model-Based Certification Framework for the EnergyBus StandardAlexander Graf-Brill, Holger Hermanns, Hubert Garavel. 84-99 [doi]
- Effectiveness for Input Output Conformance Simulation iocos̱Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres. 100-116 [doi]
- A Program Logic for Verifying Secure Routing ProtocolsChen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo. 117-132 [doi]
- Verifying Security Policies Using Host AttributesCornelius Diekmann, Stephan-Alexander Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle. 133-148 [doi]
- Denial-of-Service Security Attack in the Continuous-Time WorldShuling Wang, Flemming Nielson, Hanne Riis Nielson. 149-165 [doi]
- Quantitative Information Flow under Generic Leakage Functions and Adaptive AdversariesMichele Boreale, Francesca Pampaloni. 166-181 [doi]
- Uniform Protection for Multi-exposed TargetsRoberto Vigo, Flemming Nielson, Hanne Riis Nielson. 182-198 [doi]
- Metrics for Differential Privacy in Concurrent SystemsLili Xu, Konstantinos Chatzikokolakis, Huimin Lin. 199-215 [doi]
- Dimming Relations for the Efficient Analysis of Concurrent Systems via Action AbstractionRocco De Nicola, Giulio Iacobelli, Mirco Tribastone. 216-231 [doi]
- On the Step Branching Time Closure of Free-Choice Petri NetsStephan Mennicke, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz. 232-248 [doi]
- Coinductive Definition of Distances between Processes: Beyond Bisimulation DistancesDavid Romero-Hernández, David de Frutos-Escrig. 249-265 [doi]
- Mechanizing the Minimization of Deterministic Generalized Büchi AutomataSouheib Baarir, Alexandre Duret-Lutz. 266-283 [doi]
- Formal Verification of Complex Properties on PLC ProgramsDániel Darvas, Borja Fernandez Adiego, András Vörös, Tamás Bartha, Enrique Blanco Viñuela, Víctor M. González Suárez. 284-299 [doi]