Symbolic Robustness Analysis of Timed Automata (English)
- New search for: Daws, Conrado
- New search for: Kordy, Piotr
- New search for: Daws, Conrado
- New search for: Kordy, Piotr
In:
Formal Modeling and Analysis of Timed Systems
2
;
143-155
;
2006
- Article/Chapter (Book) / Electronic Resource
-
Title:Symbolic Robustness Analysis of Timed Automata
-
Contributors:Daws, Conrado ( author ) / Kordy, Piotr ( author )
-
Published in:Formal Modeling and Analysis of Timed Systems , 2 ; 143-155Lecture Notes in Computer Science ; 4202, 2 ; 143-155
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2006-01-01
-
Size:13 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Timed Alternating-Time Temporal LogicHenzinger, Thomas A. / Prabhu, Vinayak S. et al. | 2006
- 18
-
Concurrent Semantics Without the Notions of State or State TransitionsLee, Edward A. et al. | 2006
- 32
-
Decidability and Expressive Power of Real Time LogicsRabinovich, Alexander et al. | 2006
- 33
-
Extended Directed Search for Probabilistic Timed ReachabilityAljazzar, Husain / Leue, Stefan et al. | 2006
- 52
-
Intersection of Regular Signal-Event (Timed) LanguagesBérard, Béatrice / Gastin, Paul / Petit, Antoine et al. | 2006
- 67
-
Refinements and Abstractions of Signal-Event (Timed) LanguagesBérard, Béatrice / Gastin, Paul / Petit, Antoine et al. | 2006
- 82
-
Bridging the Gap Between Timed Automata and Bounded Time Petri NetsBerthomieu, Bernard / Peres, Florent / Vernadat, François et al. | 2006
- 98
-
Matching Scenarios with Timing ConstraintsChandrasekaran, Prakash / Mukund, Madhavan et al. | 2006
- 113
-
Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed AutomataChevallier, Remy / Encrenaz-Tiphène, Emmanuelle / Fribourg, Laurent / Xu, Weiwen et al. | 2006
- 128
-
Model Checking Timed Automata with Priorities Using DBM SubtractionDavid, Alexandre / Håkansson, John / Larsen, Kim G. / Pettersson, Paul et al. | 2006
- 143
-
Symbolic Robustness Analysis of Timed AutomataDaws, Conrado / Kordy, Piotr et al. | 2006
- 156
-
Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space ExplosionDuguid, Adam et al. | 2006
- 171
-
Temporal Logic Verification Using SimulationFainekos, Georgios E. / Girard, Antoine / Pappas, George J. et al. | 2006
- 187
-
Undecidable Problems About Timed AutomataFinkel, Olivier et al. | 2006
- 200
-
On Timed Simulation Relations for Hybrid Systems and CompositionalityFrehse, Goran et al. | 2006
- 215
-
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through SamplingFuria, Carlo A. / Rossi, Matteo et al. | 2006
- 230
-
On the Computational Power of Timed Differentiable Petri NetsHaddad, Serge / Recalde, Laura / Silva, Manuel et al. | 2006
- 245
-
Model-Checking Timed ATL for Durational Concurrent Game StructuresLaroussinie, François / Markey, Nicolas / Oreiby, Ghassan et al. | 2006
- 260
-
A Dose of Timed Logic, in Guarded MeasureLodaya, Kamal / Pandya, Paritosh K. et al. | 2006
- 274
-
From MITL to Timed AutomataMaler, Oded / Nickovic, Dejan / Pnueli, Amir et al. | 2006
- 290
-
Adding Invariants to Event Zone AutomataNiebert, Peter / Qu, Hongyang et al. | 2006
- 306
-
Static Analysis for State-Space Reduction of Polygonal Hybrid SystemsPace, Gordon / Schneider, Gerardo et al. | 2006
- 322
-
On the Expressiveness of MTL with Past OperatorsPrabhakar, Pavithra / D’Souza, Deepak et al. | 2006
- 337
-
Simulator for Real-Time Abstract State MachinesVasilyev, Pavel et al. | 2006
- 352
-
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision ProcessesWolovick, Nicolás / Johr, Sven et al. | 2006