Jennifer M. Davoren

18 papers B 1Misc 2Journal 3Unranked 12
YearRankTypeTitle / Venue / Authors
2009 — conf
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces.
HSCC
Jennifer M. Davoren
2009 J jnl
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations.
Ann. Pure Appl. Log.
Jennifer M. Davoren
2007 — conf
On Simulations and Bisimulations of General Flow Systems.
HSCC
Jennifer M. Davoren, Paulo Tabuada
2007 Misc conf
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.
LFCS
Jennifer M. Davoren
2006 — conf
Non-Deterministic Reactive Systems, from Hybrid Systems and Behavioural Systems Perspectives.
ADHS
Jennifer M. Davoren, Thomas Moor
2004 — conf
Non-deterministic Temporal Logics for General Flow Systems.
HSCC
Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor
2004 — conf
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.
FORMATS/FTRTFT
Jennifer M. Davoren, Thomas Moor, Rajeev Goré, Vaughan Coulthard, Anil Nerode
2003 — conf
Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems
ADHS
Thomas Moor, Jörg Raisch, Jennifer M. Davoren
2002 — conf
Hybrid Control Loops, A/D Maps, and Dynamic Specifications.
HSCC
Jennifer M. Davoren, Thomas Moor, Anil Nerode
2002 — conf
Robust hybrid control from a behavioural perspective.
CDC
Thomas Moor, Jennifer M. Davoren, Brian D. O. Anderson
2001 — conf
Computational advantages of a two-level hybrid control architecture.
CDC
Thomas Moor, Jörg Raisch, Jennifer M. Davoren
2001 — conf
Modular supervisory control of a class of hybrid systems in a behavioural framework.
ECC
Thomas Moor, Jennifer M. Davoren, Jörg Raisch
2001 — conf
Robust Controller Synthesis for Hybrid Systems Using Modal Logic.
HSCC
Thomas Moor, Jennifer M. Davoren
2000 B conf
Bimodal Logics for Reasoning About Continuous Dynamics.
Advances in Modal Logic
Jennifer M. Davoren, Rajeev Goré
2000 J jnl
Logics for hybrid systems.
Proc. IEEE
Jennifer M. Davoren, Anil Nerode
1999 J jnl
Topologies, continuity and bisimulations.
RAIRO Theor. Informatics Appl.
Jennifer M. Davoren
1997 — conf
On Hybrid Systems and the Modal µ-calculus.
Hybrid Systems
Jennifer M. Davoren
1997 Misc conf
Topological Semantics for Hybrid Systems.
LFCS
Sergei N. Artëmov, Jennifer M. Davoren, Anil Nerode