Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata

DOI10.1007/978-3-540-73196-2_16MaRDI QIDQ3614855zbMATH OpenOpenAlexFDO

Authors Fei He, Carlo Ghezzi, Paola Spoletini, Luciano Baresi

Publication date 10 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73196-2_16

Mathematics Subject Classification ID

Distributed systems (68M14) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1982204
• scientific article; zbMATH DE number 2013440
• Computational Science – ICCS 2005
• scientific article; zbMATH DE number 1950688
• Distributed event-based systems

Cites work

• A logic for reasoning about time and reliability
• A theory of timed automata
• Automatic verification of real-time systems with discrete probability distributions.
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• scientific article; zbMATH DE number 176728 (Why is no real title available?)
• scientific article; zbMATH DE number 1361121 (Why is no real title available?)
• scientific article; zbMATH DE number 1982204 (Why is no real title available?)
• Model checking expected time and expected reward formulae with random time bounds
• Model checking of probabilistic and nondeterministic systems
• Model-checking continuous-time Markov chains
• Performance analysis of probabilistic timed automata using digital clocks
• Using source transformation to test and model check implicit-invocation systems

Cited in

(5)

• Towards a cryptographic treatment of publish/subscribe systems
• Implementing and evaluating the Publish/Subscribe paradigm using the OMG's DDS/DAIS specifications application to IDEC's micro^3 PLC computer link system
• scientific article; zbMATH DE number 1982204 (Why is no real title available?)
• scientific article; zbMATH DE number 2013440 (Why is no real title available?)
• Computational Science – ICCS 2005

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata

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