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