Tools and Algorithms for the Construction and Analysis of Systems

Concurrent and Distributed Systems.- Checking Deadlock-Freedom of Parametric Component-Based Systems.- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability.- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude.- Multi-Core On-The-Fly Saturation.- Monitoring and Runtime Verification.- Specification and Efficient Monitoring Beyond STL.- VyPR2: A Framework for Runtime Verification of Python Web Services.- Constraint-based Monitoring of Hyperproperties.- Hybrid and Stochastic Systems.- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments.- Computing the Expected Execution Time of Probabilistic Workflow Nets.- Shepherding Hordes of Markov Chains.- Optimal Time-Bounded Reachability Analysis for Concurrent Systems.- Synthesis.- Minimal-Time Synthesis for Parametric Timed Automata.- Environmentally-friendly GR(1) Synthesis.- StocHy: automated verification and synthesis of stochastic processes.- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach.- Symbolic Verification.- iRank: a variable order metric for DEDS subject to linear invariants.- Binary Decision Diagrams with Edge-Specified Reductions.- Effective Entailment Checking for Separation Logic with Inductive Definitions.- Safety and Fault-Tolerant Systems.- Digital Bifurcation Analysis of TCP Dynamics.- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking.- Measuring Masking Fault-Tolerance.- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.