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

(20)

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

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)