Christoph Haase
Home
Biography
Publications
Students
Contact
Joël Ouaknine
Latest
Relating Reachability Problems in Timed and Counter Automata
Foundations for Decision Problems in Separation Logic with General Inductive Predicates
SeLoger: A Tool for Graph-Based Reasoning in Separation Logic
Branching-Time Model Checking of Parametric One-Counter Automata
On the Relationship between Reachability Problems in Timed and Counter Automata
Tractable Reasoning in a Fragment of Separation Logic
Model Checking Succinct and Parametric One-Counter Automata
On Process-Algebraic Extensions of Metric Temporal Logic
Reachability in Succinct and Parametric One-Counter Automata
Cite
×