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 / / edited by Tomáš Vojnar, Lijun Zhang.
This book is Open Access under a CC BY licence. .
Saved in:
| Superior document: | Theoretical Computer Science and General Issues, 11428 |
|---|---|
| HerausgeberIn: | |
| Place / Publishing House: | Cham : : Springer International Publishing :, Imprint: Springer,, 2019. |
| Year of Publication: | 2019 |
| Edition: | 1st ed. 2019. |
| Language: | English |
| Series: | Theoretical Computer Science and General Issues,
11428 |
| Physical Description: | 1 online resource (XXIII, 413 p. 552 illus., 55 illus. in color.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- 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++.