Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540450269, 9783540450313
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Bridging the Gap Between Timed Automata and Bounded Time Petri Nets

2006 ◽  
pp. 82-97 ◽  
Author(s):  
Bernard Berthomieu ◽  
Florent Peres ◽  
François Vernadat
Keyword(s):  
Petri Nets ◽  
Timed Automata ◽  
Time Petri Nets

Adding Invariants to Event Zone Automata

2006 ◽  
pp. 290-305 ◽  
Author(s):  
Peter Niebert ◽  
Hongyang Qu

scholarly journals Undecidable Problems About Timed Automata

2006 ◽  
pp. 187-199 ◽  
Author(s):  
Olivier Finkel
Keyword(s):  
Timed Automata

scholarly journals Model Checking Timed Automata with Priorities Using DBM Subtraction

2006 ◽  
pp. 128-142 ◽  
Author(s):  
Alexandre David ◽  
John Håkansson ◽  
Kim G. Larsen ◽  
Paul Pettersson
Keyword(s):  
Model Checking ◽  
Timed Automata

On the Expressiveness of MTL with Past Operators

2006 ◽  
pp. 322-336 ◽  
Author(s):  
Pavithra Prabhakar ◽  
Deepak D’Souza

scholarly journals From MITL to Timed Automata

2006 ◽  
pp. 274-289 ◽  
Author(s):  
Oded Maler ◽  
Dejan Nickovic ◽  
Amir Pnueli
Keyword(s):  
Timed Automata

scholarly journals Extended Directed Search for Probabilistic Timed Reachability

2006 ◽  
pp. 33-51 ◽  
Author(s):  
Husain Aljazzar ◽  
Stefan Leue
Keyword(s):  
Directed Search

Symbolic Robustness Analysis of Timed Automata

2006 ◽  
pp. 143-155 ◽  
Author(s):  
Conrado Daws ◽  
Piotr Kordy
Keyword(s):  
Timed Automata ◽  
Robustness Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document