25th TACAS@ETAPS 2019: Prague, Czech Republic

Concurrent and Distributed Systems

Monitoring and Runtime Verification

Hybrid and Stochastic Systems

Synthesis

Symbolic Verification

Safety and Fault-Tolerant Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics