Skip to main content
  • Conference proceedings
  • Open Access
  • © 2019

Tools and Algorithms for the Construction and Analysis of Systems

25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Conference proceedings info: TACAS 2019.

Buying options

Softcover Book USD 59.99
Price excludes VAT (USA)

Table of contents (22 papers)

  1. Front Matter

    Pages i-xxiii
  2. Concurrent and Distributed Systems

    1. Front Matter

      Pages 1-1
    2. Checking Deadlock-Freedom of Parametric Component-Based Systems

      • Marius Bozga, Radu Iosif, Joseph Sifakis
      Pages 3-20Open Access
    3. The mCRL2 Toolset for Analysing Concurrent Systems

      • Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink et al.
      Pages 21-39Open Access
    4. Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude

      • Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, José Meseguer
      Pages 40-57Open Access
    5. Multi-core On-The-Fly Saturation

      • Tom van Dijk, Jeroen Meijer, Jaco van de Pol
      Pages 58-75Open Access
  3. Monitoring and Runtime Verification

    1. Front Matter

      Pages 77-77
    2. Specification and Efficient Monitoring Beyond STL

      • Alexey Bakhirkin, Nicolas Basset
      Pages 79-97Open Access
    3. VyPR2: A Framework for Runtime Verification of Python Web Services

      • Joshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi
      Pages 98-114Open Access
    4. Constraint-Based Monitoring of Hyperproperties

      • Christopher Hahn, Marvin Stenger, Leander Tentrup
      Pages 115-131Open Access
  4. Hybrid and Stochastic Systems

    1. Front Matter

      Pages 133-133
    2. Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments

      • Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
      Pages 135-153Open Access
    3. Computing the Expected Execution Time of Probabilistic Workflow Nets

      • Philipp J. Meyer, Javier Esparza, Philip Offtermatt
      Pages 154-171Open Access
    4. Shepherding Hordes of Markov Chains

      • Milan Češka, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
      Pages 172-190Open Access
    5. Optimal Time-Bounded Reachability Analysis for Concurrent Systems

      • Yuliya Butkova, Gereon Fox
      Pages 191-208Open Access
  5. Synthesis

    1. Front Matter

      Pages 209-209
    2. Minimal-Time Synthesis for Parametric Timed Automata

      • Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol
      Pages 211-228Open Access
    3. Environmentally-Friendly GR(1) Synthesis

      • Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
      Pages 229-246Open Access
    4. \(\mathsf {StocHy}\) : Automated Verification and Synthesis of Stochastic Processes

      • Nathalie Cauchi, Alessandro Abate
      Pages 247-264Open Access
    5. Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach

      • Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani
      Pages 265-281Open Access

About this book

This book is Open Access under a CC BY licence.

The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.

The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:

Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.

Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.


  • computer architecture
  • formal logic
  • machine-learning techniques
  • model checking
  • model-checking
  • network architecture
  • programming languages
  • SAT and SMT solving
  • semantics
  • software engineering
  • specifications
  • static and dynamic program analysis
  • synthesis and verification
  • temporal logic
  • theorem-proving
  • algorithm analysis and problem complexity

Editors and Affiliations

  • Brno University of Technology, Brno, Czech Republic

    Tomáš Vojnar

  • Chinese Academy of Sciences, Beijing, China

    Lijun Zhang

Bibliographic Information

Buying options

Softcover Book USD 59.99
Price excludes VAT (USA)