default search action
25th TACAS@ETAPS 2019: Prague, Czech Republic
- Tomás Vojnar, Lijun Zhang:
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. Lecture Notes in Computer Science 11428, Springer 2019, ISBN 978-3-030-17464-4
Concurrent and Distributed Systems
- Marius Bozga, Radu Iosif, Joseph Sifakis:
Checking Deadlock-Freedom of Parametric Component-Based Systems. 3-20 - Olav Bunte, Jan Friso Groote
, Jeroen J. A. Keiren
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. 21-39 - Si Liu, Peter Csaba Ölveczky, Min Zhang, Qi Wang, José Meseguer:
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. 40-57 - Tom van Dijk, Jeroen Meijer, Jaco van de Pol:
Multi-core On-The-Fly Saturation. 58-75
Monitoring and Runtime Verification
- Alexey Bakhirkin, Nicolas Basset:
Specification and Efficient Monitoring Beyond STL. 79-97 - Joshua Heneage Dawes, Giles Reger
VyPR2: A Framework for Runtime Verification of Python Web Services. 98-114 - Christopher Hahn
Constraint-Based Monitoring of Hyperproperties. 115-131
Hybrid and Stochastic Systems
- Satoshi Kura
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments. 135-153 - Philipp J. Meyer
Computing the Expected Execution Time of Probabilistic Workflow Nets. 154-171 - Milan Ceska
Shepherding Hordes of Markov Chains. 172-190 - Yuliya Butkova, Gereon Fox:
Optimal Time-Bounded Reachability Analysis for Concurrent Systems. 191-208
Synthesis
- Étienne André
Minimal-Time Synthesis for Parametric Timed Automata. 211-228 - Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck:
Environmentally-Friendly GR(1) Synthesis. 229-246 - Nathalie Cauchi, Alessandro Abate:
\mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes. 247-264 - Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani:
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach. 265-281
Symbolic Verification
- Elvio Gilberto Amparore, Gianfranco Ciardo
i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. 285-302 - Junaid Babar, Chuan Jiang, Gianfranco Ciardo
Binary Decision Diagrams with Edge-Specified Reductions. 303-318 - Jens Katelaan
Effective Entailment Checking for Separation Logic with Inductive Definitions. 319-336
Safety and Fault-Tolerant Systems
- Nikola Benes
Digital Bifurcation Analysis of TCP Dynamics. 339-356 - Ilina Stoilkovska, Igor Konnov
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking. 357-374 - Pablo F. Castro
Measuring Masking Fault-Tolerance. 375-392 - Philipp Dominik Schubert
PhASAR: An Inter-procedural Static Analysis Framework for C/C++. 393-410
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-29 01:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: