Cargando…

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings /

This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8-10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. The modeling andanalysis oftiming aspe...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Chatterjee, Krishnendu (Editor ), Henzinger, Thomas A. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Theoretical Computer Science and General Issues, 6246
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Interdisciplinary Foundations for Open Cyber-Physical Systems
  • Safraless Procedures for Timed Specifications
  • Property-Based Monitoring of Analog and Mixed-Signal Systems
  • A Framework for Verification of Software with Time and Probabilities
  • Synchrony and Time in Fault-Tolerant Distributed Algorithms
  • Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting
  • Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games
  • Natural Domain SMT: A Preliminary Assessment
  • Robust Satisfaction of Temporal Logic over Real-Valued Signals
  • Combining Symbolic Representations for Solving Timed Games
  • Expected Reachability-Time Games
  • Diagnosis Using Unfoldings of Parametric Time Petri Nets
  • From Mtl to Deterministic Timed Automata
  • Unambiguity in Timed Regular Languages: Automata and Logics
  • A Process Algebraic Framework for Modeling Resource Demand and Supply
  • Memory Event Clocks
  • Simulation and Bisimulation for Probabilistic Timed Automata
  • Layered Composition for Timed Automata
  • A Conformance Testing Relation for Symbolic Timed Automata.