Ahmed Bouajjani, et al.  Home/Search
Context
Related
| informatik.unikiel.de/~yl/hatl.ps.Z informatik.unikiel.de/~yl...hatl.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatik.unikiel.de/~yl/ (more) From: informatik.unikiel.de/%7Eyl/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ) Ahmed Bouajjani 1 Yassine Lakhnech 2? 1 Verimag, Miniparc-Zirst, Rue Lavoisier, 38330 Montbonnot St-Martin, France. email: Ahmed.Bouajjani@imag.fr 2 Institut fur Informatik und Praktische Mathematik Christian-Albrechts-Universitat zu Kiel, Preußerstr. 1-9, D-24105 Kiel, Germany. email: yl@informatik.uni-kiel.d400.de 1 Introduction Hybrid systems can be seen as extensions of reactive and timed systems [13, 14]. Hence, their specification formalisms are obtained naturally by extending... (Update)
Similar documents (at the sentence level):
15.5%: Temporal Logic + Timed Automata: Expressiveness and.. - Bouajjani, Lakhnech (Correct)
15.5%: Temporal Logic + Timed Automata : - Expressiveness And Decidability (Correct)
Active bibliography (related documents): More All
0.1: From Duration Calculus To Linear Hybrid Automata - Bouajjani, Lakhnech, Robbana (Correct)
0.1: Interval Duration Logic: Expressiveness and Decidability - Pandya (2002) (Correct)
0.1: Model-Checking Dense-Time Duration Calculus - Fränzle (1999) (Correct)
Similar documents based on text: More All
0.4: Model Checking for Extended Timed Temporal Logics - Bouajjani, Lakhnech, Yovine (1996) (Correct)
0.2: Constrained Properties, Semilinear Systems, and Petri Nets - Bouajjani, Habermehl (Correct)
0.2: Verification of Infinite-State Systems by.. - Abdulla.. (Correct)
BibTeX entry: (Update)
@misc{ bouajjani-logics,
author = "Ahmed Bouajjani and et al.",
title = "Logics vs. Automata: The Hybrid Case (Extended Abstract)",
url = "citeseer.ist.psu.edu/136972.html" }
Citations (may not include all citations):539 The Temporal Logic of Programs (context) - Pnueli - 1977
434 An Automata-Theoretic Approach to Automatic Program Verifica.. (context) - Vardi, Wolper - 1986
399 The Algorithmic Analysis of Hybrid Systems - Alur, Courcoubetis et al. - 1995
374 Automata on Infinite Objects (context) - Thomas - 1990
268 A Theory of Timed Automata - Alur, Dill - 1994
232 Hybrid Automata: An Algorithmic Approach to the Specificatio.. - Alur, Courcoubetis et al. - 1993
172 A Really Temporal Logic - Alur, Henzinger - 1989
139 From Timed to Hybrid Systems - Maler, Manna et al. - 1992
116 From ATP to Timed Graphs and Hybrid Systems - Nicollin, Sifakis et al. - 1992
88 The Benefits of Relaxing Punctuality - Alur, Feder et al. - 1991
75 Integration Graphs: A Class of Decidable Hybrid Systems - Kesten, Pnueli et al. - 1993
57 Specifying Timed State Sequences in Powerful Decidable Logic.. - Wilke - 1994
36 Computing Accumulated Delays in Realtime Systems - Alur, Courcoubetis et al. - 1993
32 A Calculus of Durations (context) - Chaochen, Hoare et al. - 1991
19 Provably Correct Systems - He, Hoare et al. - 1994
18 On Model Checking for Real-Time Properties with Durations - Bouajjani, Echahed et al. - 1993
14 Timed Automata : Expressiveness and Decidability (context) - Bouajjani, Lakhnech - 1995
8 From Duration Calculus to Linear Hybrid Automata - Bouajjani, Lakhnech et al. - 1995
Documents on the same site (http://www.informatik.uni-kiel.de/~yl/): More
Synthesizing different development paradigms.. - J. Zwiers, U.. (Correct)
From Duration Calculus To Linear Hybrid Automata - Bouajjani, Lakhnech, Robbana (Correct)
Powerful Techniques for the Automatic Generation of Invariants - Bensalem (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC