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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642152962, 9783642152979

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Simulation and Bisimulation for Probabilistic Timed Automata

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

10.1007/978-3-642-15297-9_17 ◽

2010 ◽

pp. 213-227 ◽

Cited By ~ 4

Author(s):

Jeremy Sproston ◽

Angelo Troina

Keyword(s):

Timed Automata ◽

Probabilistic Timed Automata

Download Full-text

Interdisciplinary Foundations for Open Cyber-Physical Systems

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

10.1007/978-3-642-15297-9_1 ◽

2010 ◽

pp. 1-1 ◽

Cited By ~ 2

Author(s):

Tarek Abdelzaher

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Memory Event Clocks

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

10.1007/978-3-642-15297-9_16 ◽

2010 ◽

pp. 198-212 ◽

Cited By ~ 3

Author(s):

James Jerson Ortiz ◽

Axel Legay ◽

Pierre-Yves Schobbens

Keyword(s):

Memory Event

Download Full-text

Robust Satisfaction of Temporal Logic over Real-Valued Signals

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

10.1007/978-3-642-15297-9_9 ◽

2010 ◽

pp. 92-106 ◽

Cited By ~ 187

Author(s):

Alexandre Donzé ◽

Oded Maler

Keyword(s):

Temporal Logic

Download Full-text

Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting

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

10.1007/978-3-642-15297-9_6 ◽

2010 ◽

pp. 47-61 ◽

Cited By ~ 1

Author(s):

D. A. van Beek ◽

P. J. L. Cuijpers ◽

J. Markovski ◽

D. E. Nadales Agut ◽

J. E. Rooda

Download Full-text

Combining Symbolic Representations for Solving Timed Games

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

10.1007/978-3-642-15297-9_10 ◽

2010 ◽

pp. 107-121 ◽

Cited By ~ 8

Author(s):

Rüdiger Ehlers ◽

Robert Mattmüller ◽

Hans-Jörg Peter

Keyword(s):

Symbolic Representations

Download Full-text

Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games

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

10.1007/978-3-642-15297-9_7 ◽

2010 ◽

pp. 62-76 ◽

Cited By ~ 3

Author(s):

Patricia Bouyer ◽

Romain Brenguier ◽

Nicolas Markey

Keyword(s):

Finite Games

Download Full-text

A Process Algebraic Framework for Modeling Resource Demand and Supply

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

10.1007/978-3-642-15297-9_15 ◽

2010 ◽

pp. 183-197 ◽

Cited By ~ 1

Author(s):

Anna Philippou ◽

Insup Lee ◽

Oleg Sokolsky ◽

Jin-Young Choi

Keyword(s):

Demand And Supply ◽

Resource Demand ◽

Algebraic Framework ◽

Process Algebraic

Download Full-text

A Framework for Verification of Software with Time and Probabilities

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

10.1007/978-3-642-15297-9_4 ◽

2010 ◽

pp. 25-45 ◽

Cited By ~ 7

Author(s):

Marta Kwiatkowska ◽

Gethin Norman ◽

David Parker

Download Full-text

Synchrony and Time in Fault-Tolerant Distributed Algorithms

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

10.1007/978-3-642-15297-9_5 ◽

2010 ◽

pp. 46-46

Author(s):

Ulrich Schmid

Keyword(s):

Distributed Algorithms ◽

Fault Tolerant

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Simulation and Bisimulation for Probabilistic Timed Automata

Interdisciplinary Foundations for Open Cyber-Physical Systems

Memory Event Clocks

Robust Satisfaction of Temporal Logic over Real-Valued Signals

Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting

Combining Symbolic Representations for Solving Timed Games

Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games

A Process Algebraic Framework for Modeling Resource Demand and Supply

A Framework for Verification of Software with Time and Probabilities

Synchrony and Time in Fault-Tolerant Distributed Algorithms

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