8. FORMATS 2010:
Klosterneuburg,
Austria
Krishnendu Chatterjee, Thomas A. Henzinger (Eds.):
Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings.
Lecture Notes in Computer Science 6246 Springer 2010, ISBN 978-3-642-15296-2 
- Tarek F. Abdelzaher:
Interdisciplinary Foundations for Open Cyber-Physical Systems - (Invited Talk).
1
- Barbara Di Giampaolo, Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder:
Safraless Procedures for Timed Specifications.
2-22
- John Havlicek, Scott Little, Oded Maler, Dejan Nickovic:
Property-Based Monitoring of Analog and Mixed-Signal Systems.
23-24
- Marta Z. Kwiatkowska, Gethin Norman, David Parker:
A Framework for Verification of Software with Time and Probabilities.
25-45
- Ulrich Schmid:
Synchrony and Time in Fault-Tolerant Distributed Algorithms - (Invited Tutorial).
46
- Dirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, J. E. Rooda:
Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting.
47-61
- Patricia Bouyer, Romain Brenguier, Nicolas Markey:
Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games.
62-76
- Scott Cotton:
Natural Domain SMT: A Preliminary Assessment.
77-91
- Alexandre Donzé, Oded Maler:
Robust Satisfaction of Temporal Logic over Real-Valued Signals.
92-106
- Rüdiger Ehlers, Robert Mattmüller, Hans-Jörg Peter:
Combining Symbolic Representations for Solving Timed Games.
107-121
- Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi:
Expected Reachability-Time Games.
122-136
- Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux:
Diagnosis Using Unfoldings of Parametric Time Petri Nets.
137-151
- Dejan Nickovic, Nir Piterman:
From Mtl to Deterministic Timed Automata.
152-167
- Paritosh K. Pandya, Simoni S. Shah:
Unambiguity in Timed Regular Languages: Automata and Logics.
168-182
- Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi:
A Process Algebraic Framework for Modeling Resource Demand and Supply.
183-197
- James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens:
Memory Event Clocks.
198-212
- Jeremy Sproston, Angelo Troina:
Simulation and Bisimulation for Probabilistic Timed Automata.
213-227
- Ernst-Rüdiger Olderog, Mani Swaminathan:
Layered Composition for Timed Automata.
228-242
- Sabrina von Styp, Henrik C. Bohnenkamp, Julien Schmaltz:
A Conformance Testing Relation for Symbolic Timed Automata.
243-255
Last update Fri May 25 08:14:17 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
