Abstract is missing.
- Checking Deadlock-Freedom of Parametric Component-Based SystemsMarius Bozga, Radu Iosif, Joseph Sifakis. 3-20 [doi]
- The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and UsabilityOlav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse. 21-39 [doi]
- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in MaudeSi Liu 0003, Peter Csaba Ölveczky, Min Zhang 0002, Qi Wang 0017, José Meseguer. 40-57 [doi]
- Multi-core On-The-Fly SaturationTom van Dijk, Jeroen Meijer, Jaco van de Pol. 58-75 [doi]
- Specification and Efficient Monitoring Beyond STLAlexey Bakhirkin, Nicolas Basset. 79-97 [doi]
- VyPR2: A Framework for Runtime Verification of Python Web ServicesJoshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi. 98-114 [doi]
- Constraint-Based Monitoring of HyperpropertiesChristopher Hahn, Marvin Stenger, Leander Tentrup. 115-131 [doi]
- Tail Probabilities for Randomized Program Runtimes via Martingales for Higher MomentsSatoshi Kura, Natsuki Urabe, Ichiro Hasuo. 135-153 [doi]
- Computing the Expected Execution Time of Probabilistic Workflow NetsPhilipp J. Meyer, Javier Esparza, Philip Offtermatt. 154-171 [doi]
- Shepherding Hordes of Markov ChainsMilan Ceska Jr., Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen. 172-190 [doi]
- Optimal Time-Bounded Reachability Analysis for Concurrent SystemsYuliya Butkova, Gereon Fox. 191-208 [doi]
- Minimal-Time Synthesis for Parametric Timed AutomataÉtienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol. 211-228 [doi]
- Environmentally-Friendly GR(1) SynthesisRupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck. 229-246 [doi]
- \mathsf StocHy : Automated Verification and Synthesis of Stochastic ProcessesNathalie Cauchi, Alessandro Abate. 247-264 [doi]
- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware ApproachMahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani. 265-281 [doi]
- i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear InvariantsElvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner. 285-302 [doi]
- Binary Decision Diagrams with Edge-Specified ReductionsJunaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew S. Miner. 303-318 [doi]
- Effective Entailment Checking for Separation Logic with Inductive DefinitionsJens Katelaan, Christoph Matheja, Florian Zuleger. 319-336 [doi]
- Digital Bifurcation Analysis of TCP DynamicsNikola Benes, Lubos Brim, Samuel Pastva, David Safránek. 339-356 [doi]
- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model CheckingIlina Stoilkovska, Igor Konnov 0001, Josef Widder, Florian Zuleger. 357-374 [doi]
- Measuring Masking Fault-TolerancePablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele. 375-392 [doi]
- PhASAR: An Inter-procedural Static Analysis Framework for C/C++Philipp Dominik Schubert, Ben Hermann, Eric Bodden. 393-410 [doi]