dblp.uni-trier.dewww.uni-trier.de

Jennifer M. Davoren

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
11EEJennifer M. Davoren: Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces. HSCC 2009: 135-149
2007
10EEJennifer M. Davoren, Paulo Tabuada: On Simulations and Bisimulations of General Flow Systems. HSCC 2007: 145-158
9EEJennifer M. Davoren: Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics. LFCS 2007: 162-179
2004
8EEJennifer 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
7EEJennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor: Non-deterministic Temporal Logics for General Flow Systems. HSCC 2004: 280-295
2002
6EEJennifer M. Davoren, Thomas Moor, Anil Nerode: Hybrid Control Loops, A/D Maps, and Dynamic Specifications. HSCC 2002: 149-163
2001
5EEThomas 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
2EEJennifer 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

Coauthor Index

1Sergei N. Artëmov [1]
2Vaughan Coulthard [7] [8]
3Rajeev Goré [4] [8]
4Nicolas Markey [7]
5Thomas Moor [5] [6] [7] [8]
6Anil Nerode [1] [6] [8]
7Paulo Tabuada [10]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)