Advertisement

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

  • Tomáš Vojnar
  • Lijun Zhang
Open Access
Conference proceedings
TACAS 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11428)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11428)

Table of contents

  1. Front Matter
    Pages i-xxiii
  2. Concurrent and Distributed Systems

    1. Front Matter
      Pages 1-1
    2. Marius Bozga, Radu Iosif, Joseph Sifakis
      Pages 3-20 Open Access
    3. Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink et al.
      Pages 21-39 Open Access
    4. Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, José Meseguer
      Pages 40-57 Open Access
    5. Tom van Dijk, Jeroen Meijer, Jaco van de Pol
      Pages 58-75 Open Access
  3. Monitoring and Runtime Verification

    1. Front Matter
      Pages 77-77
    2. Alexey Bakhirkin, Nicolas Basset
      Pages 79-97 Open Access
    3. Joshua Heneage Dawes, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi
      Pages 98-114 Open Access
    4. Christopher Hahn, Marvin Stenger, Leander Tentrup
      Pages 115-131 Open Access
  4. Hybrid and Stochastic Systems

    1. Front Matter
      Pages 133-133
    2. Satoshi Kura, Natsuki Urabe, Ichiro Hasuo
      Pages 135-153 Open Access
    3. Philipp J. Meyer, Javier Esparza, Philip Offtermatt
      Pages 154-171 Open Access
    4. Milan Češka, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
      Pages 172-190 Open Access
    5. Yuliya Butkova, Gereon Fox
      Pages 191-208 Open Access
  5. Synthesis

    1. Front Matter
      Pages 209-209
    2. Étienne André, Vincent Bloemen, Laure Petrucci, Jaco van de Pol
      Pages 211-228 Open Access
    3. Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
      Pages 229-246 Open Access
    4. Nathalie Cauchi, Alessandro Abate
      Pages 247-264 Open Access
    5. Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani
      Pages 265-281 Open Access
  6. Symbolic Verification

    1. Front Matter
      Pages 283-283
    2. Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew Miner
      Pages 285-302 Open Access
    3. Junaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew Miner
      Pages 303-318 Open Access
    4. Jens Katelaan, Christoph Matheja, Florian Zuleger
      Pages 319-336 Open Access
  7. Safety and Fault-Tolerant Systems

    1. Front Matter
      Pages 337-337
    2. Nikola Beneš, Luboš Brim, Samuel Pastva, David Šafránek
      Pages 339-356 Open Access
    3. Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger
      Pages 357-374 Open Access
    4. Pablo F. Castro, Pedro R. D’Argenio, Ramiro Demasi, Luciano Putruele
      Pages 375-392 Open Access
    5. Philipp Dominik Schubert, Ben Hermann, Eric Bodden
      Pages 393-410 Open Access
  8. Back Matter
    Pages 411-413

Other volumes

  1. 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 I
  2. 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
  3. 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

About these proceedings

Introduction

This book is Open Access under a CC BY licence. 

Keywords

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

Editors and affiliations

  1. 1.Brno University of TechnologyBrnoCzech Republic
  2. 2.Chinese Academy of SciencesBeijingChina

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-17465-1
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2019
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-17464-4
  • Online ISBN 978-3-030-17465-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site