default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. FORMATS 2010: Klosterneuburg, Austria
- Krishnendu Chatterjee, Thomas A. Henzinger
:
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, Jacobus 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-08-09 22:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
