2009 |
11 | EE | Jennifer M. Davoren:
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces.
HSCC 2009: 135-149 |
2007 |
10 | EE | Jennifer M. Davoren,
Paulo Tabuada:
On Simulations and Bisimulations of General Flow Systems.
HSCC 2007: 145-158 |
9 | EE | Jennifer M. Davoren:
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.
LFCS 2007: 162-179 |
2004 |
8 | EE | Jennifer M. Davoren,
Thomas Moor,
Rajeev Goré,
Vaughan Coulthard,
Anil Nerode:
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.
FORMATS/FTRTFT 2004: 52-67 |
7 | EE | Jennifer M. Davoren,
Vaughan Coulthard,
Nicolas Markey,
Thomas Moor:
Non-deterministic Temporal Logics for General Flow Systems.
HSCC 2004: 280-295 |
2002 |
6 | EE | Jennifer M. Davoren,
Thomas Moor,
Anil Nerode:
Hybrid Control Loops, A/D Maps, and Dynamic Specifications.
HSCC 2002: 149-163 |
2001 |
5 | EE | Thomas Moor,
Jennifer M. Davoren:
Robust Controller Synthesis for Hybrid Systems Using Modal Logic.
HSCC 2001: 433-446 |
2000 |
4 | | Jennifer M. Davoren,
Rajeev Goré:
Bimodal Logics for Reasoning About Continuous Dynamics.
Advances in Modal Logic 2000: 91-111 |
1999 |
3 | | Jennifer M. Davoren:
Topologies, continuity and bisimulations.
ITA 33(4/5): 357-382 (1999) |
1997 |
2 | EE | Jennifer M. Davoren:
On Hybrid Systems and the Modal µ-calculus.
Hybrid Systems 1997: 38-69 |
1 | | Sergei N. Artëmov,
Jennifer M. Davoren,
Anil Nerode:
Topological Semantics for Hybrid Systems.
LFCS 1997: 1-8 |