×

zbMATH — the first resource for mathematics

Formal modeling and analysis of timed systems. 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8–10, 2010. Proceedings. (English) Zbl 1195.68001
Lecture Notes in Computer Science 6246. Berlin: Springer (ISBN 978-3-642-15296-2/pbk). x, 257 p. (2010).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1176.68014).
Indexed articles:
Di Giampaolo, Barbara; Geeraerts, Gilles; Raskin, Jean-François; Sznajder, Nathalie, Safraless procedures for timed specifications, 2-22 [Zbl 1290.68070]
Kwiatkowska, Marta; Norman, Gethin; Parker, David, A framework for verification of software with time and probabilities, 25-45 [Zbl 1290.68035]
van Beek, D. A.; Cuijpers, P. J. L.; Markovski, J.; Nadales Agut, D. E.; Rooda, J. E., Reconciling urgency and variable abstraction in a hybrid compositional setting, 47-61 [Zbl 1290.68084]
Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas, Computing equilibria in two-player timed games via turn-based finite games, 62-76 [Zbl 1290.91012]
Cotton, Scott, Natural domain SMT: a preliminary assessment, 77-91 [Zbl 1290.68112]
Donzé, Alexandre; Maler, Oded, Robust satisfaction of temporal logic over real-valued signals, 92-106 [Zbl 1290.68071]
Ehlers, Rüdiger; Mattmüller, Robert; Peter, Hans-Jörg, Combining symbolic representations for solving timed games, 107-121 [Zbl 1290.68072]
Forejt, Vojtěch; Kwiatkowska, Marta; Norman, Gethin; Trivedi, Ashutosh, Expected reachability-time games, 122-136 [Zbl 1290.68073]
Grabiec, Bartosz; Traonouez, Louis-Marie; Jard, Claude; Lime, Didier; Roux, Olivier H., Diagnosis using unfoldings of parametric time Petri nets, 137-151 [Zbl 1290.68094]
Ničković, Dejan; Piterman, Nir, From mtl to deterministic timed automata, 152-167 [Zbl 1290.68077]
Pandya, Paritosh K.; Shah, Simoni S., Unambiguity in timed regular languages: automata and logics, 168-182 [Zbl 1290.68079]
Philippou, Anna; Lee, Insup; Sokolsky, Oleg; Choi, Jin-Young, A process algebraic framework for modeling resource demand and supply, 183-197 [Zbl 1290.68031]
Jerson Ortiz, James; Legay, Axel; Schobbens, Pierre-Yves, Memory event clocks, 198-212 [Zbl 1290.68075]
Sproston, Jeremy; Troina, Angelo, Simulation and bisimulation for probabilistic timed automata, 213-227 [Zbl 1290.68081]
Olderog, Ernst-Rüdiger; Swaminathan, Mani, Layered composition for timed automata, 228-242 [Zbl 1290.68078]
von Styp, Sabrina; Bohnenkamp, Henrik; Schmaltz, Julien, A conformance testing relation for symbolic timed automata, 243-255 [Zbl 1290.68085]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Qxx Theory of computing
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: DOI