Methodologies for Specification of Real-Time Systems Using Timed I/O Automata

DOI10.1007/978-3-642-17071-3_15zbMath1312.68131OpenAlexW1518926628MaRDI QIDQ3066127

Axel Legay, Alexandre David, Ulrik Nyman, Andrzej Wąsowski, Kim Guldstrand Larsen

Publication date: 8 January 2011

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://vbn.aau.dk/da/publications/e86f7333-27b6-48ed-88f6-4046b1578b8f

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Constraint Markov chains

Uses Software

• Uppaal
• UPPAAL TIGA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A process algebraic view of input/output automata
• Event-clock automata: a determinizable class of timed automata
• A theory of timed automata
• Continuous modeling of real-time and hybrid systems: From concepts to tools
• Timed I/O automata
• The Theory of Timed I/O Automata, Second Edition
• Compositional Abstraction in Real-Time Model Checking
• Refinement and Consistency of Timed Modal Specifications
• Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
• On the synthesis of discrete controllers for timed systems
• Handbook of Real-Time and Embedded Systems
• An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
• Modal I/O Automata for Interface and Product Line Theories
• CONCUR 2005 – Concurrency Theory
• CONCUR 2003 - Concurrency Theory

This page was built for publication: Methodologies for Specification of Real-Time Systems Using Timed I/O Automata