EasyChair Smart SlideDocs/Log in
Conference: CAV 2019 (31st International Conference on Computer Aided Verification)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Symbolic Register Automata

Symbolic Register Automata

Loris D'Antoni, Tiago Ferreira, Matteo Sammartino and Alexandra Silva

Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations

Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations

Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle and Bai Xue

Clock Bound Repair for Timed Systems

Clock Bound Repair for Timed Systems

Martin Kölbl, Stefan Leue and Thomas Wies

Symbolic Monitoring against Specifications Parametric in Time and Data

Symbolic Monitoring against Specifications Parametric in Time and Data

Masaki Waga, Étienne André and Ichiro Hasuo

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair