Compositional specification of timed systems

DOI10.1007/3-540-60922-9_29MaRDI QIDQ4593944zbMATH OpenOpenAlexFDO

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
• On the composition of time Petri nets
• Weak Time Petri Nets Strike Back!
• 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)