6. FORMATS 2008: Saint Malo, France

Franck Cassez, Claude Jard (Eds.): Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Lecture Notes in Computer Science 5215 Springer 2008, ISBN 978-3-540-85777-8 BibTeX

Invited Talks

Joël Ouaknine, James Worrell:
Some Recent Results in Metric Temporal Logic. 1-13
Electronic Edition (link) BibTeX
Albert Benveniste:
Composing Web Services in an Open World: Issues of Quality of Service. 14
Electronic Edition (link) BibTeX
Jirí Srba:
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets. 15-32
Electronic Edition (link) BibTeX

Extensions of Timed Automata and Semantics

Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba:
Infinite Runs in Weighted Timed Automata with Energy Constraints. 33-47
Electronic Edition (link) BibTeX
Marcin Jurdzinski, Ashutosh Trivedi:
Concavely-Priced Timed Automata. 48-62
Electronic Edition (link) BibTeX
Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski:
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets. 63-77
Electronic Edition (link) BibTeX
P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa:
Timed Automata with Integer Resets: Language Inclusion and Expressiveness. 78-92
Electronic Edition (link) BibTeX

Timed Games and Logic

Alexander Rabinovich:
Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities. 93-108
Electronic Edition (link) BibTeX
Carlo A. Furia, Matteo Rossi:
MTL with Bounded Variability: Decidability and Complexity. 109-123
Electronic Edition (link) BibTeX
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu:
Timed Parity Games: Complexity and Robustness. 124-140
Electronic Edition (link) BibTeX
Aldric Degorre, Oded Maler:
On Scheduling Policies for Streams of Structured Jobs. 141-154
Electronic Edition (link) BibTeX

Case Studies

Frédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu:
A Framework for Distributing Real-Time Functions. 155-169
Electronic Edition (link) BibTeX
Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers:
Formal Modeling and Scheduling of Datapaths of Digital Document Printers. 170-187
Electronic Edition (link) BibTeX

Model-Checking of Probabilistic Systems

Anne Remke, Boudewijn R. Haverkort:
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. 188-202
Electronic Edition (link) BibTeX
Joost-Pieter Katoen, Alexandru Mereacre:
Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains. 203-217
Electronic Edition (link) BibTeX

Verification and Test

K. Mani Chandy, Sayan Mitra, Concetta Pilotto:
Convergence Verification: From Shared Memory to Partially Synchronous Systems. 218-232
Electronic Edition (link) BibTeX
Jasper Berendsen, Frits W. Vaandrager:
Compositional Abstraction in Real-Time Model Checking. 233-249
Electronic Edition (link) BibTeX
Julien Schmaltz, Jan Tretmans:
On Conformance Testing for Timed Systems. 250-264
Electronic Edition (link) BibTeX

Time Petri Nets

Hanifa Boucheneb, Kamel Barkaoui:
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs. 265-279
Electronic Edition (link) BibTeX
Louis-Marie Traonouez, Didier Lime, Olivier H. Roux:
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. 280-294
Electronic Edition (link) BibTeX