Compositional specification of timed systems

DOI10.1007/3-540-60922-9_29zbMATH Open1379.68240OpenAlexW36865365MaRDI QIDQ4593944FDOQ4593944

Authors: Joseph Sifakis, Sergio Yovine 

Publication date: 16 November 2017

Published in: STACS 96 (Search for Journal in Brave)

Full work available at URL: http://infoscience.epfl.ch/record/185054

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (18)

• Feedback in synchronous relational interfaces
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• An algebraic framework for urgency
• Scheduling with timed automata
• Conformance testing for real-time systems
• TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
• A compositional translation of timed automata with deadlines to Uppaal timed automata
• Weak Time Petri Nets Strike Back!
• On the composition of time Petri nets
• A concurrency-preserving translation from time Petri nets to networks of timed automata
• Verification of Timed-Arc Petri Nets
• Model checking of time Petri nets using the state class timed automaton
• The Unmet Challenge of Timed Systems
• Fault-tolerant continuous flow systems modelling
• Model-checking timed automata with deadlines with Uppaal
• Equivalence checking and intersection of deterministic timed finite state machines
• An introduction to timed automata
• Coinduction in concurrent timed systems

This page was built for publication: Compositional specification of timed systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593944)