Publications
This page lists all publications related to the Modest Toolset. A list of other Modest-related publications is maintained at RWTH Aachen, while the Dependable Systems and Software chair in Saarbrücken has a description of Modest and Motor with pointers to many papers as well.
Modest Publication List
-
[BFHH11]
J. Bogdoll, L. M. Ferrer Fioriti, A. Hartmanns and H. Hermanns.
Partial Order Methods for Statistical Model Checking and Simulation.
In Proc. Joint 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed Systems and 31th IFIP WG 6.1 International Conference on FORmal TEchniques for Networked and Distributed Systems (FMOODS/FORTE), 6-9 June 2011, Reykjavik, Iceland.
June 2011. -
[H11]
A. Hartmanns.
Model-Checking and Simulation for Stochastic Timed Systems.
In Proc. Software Technologies Concertation on Formal Methods for Components and Objects (FMCO), 29 November-1 December 2010, Graz, Austria.
December 2010. -
[HH09]
A. Hartmanns and H. Hermanns.
A Modest Approach to Checking Probabilistic Timed Automata.
In Proc. Sixth International Conference on Quantitative Evaluation of Systems (QEST 2009), 13-16 September 2009, Budapest, Hungary.
September 2009. -
[Har09]
A. Hartmanns.
A Modest Checker for Probabilistic Timed Automata.
Reports of SFB/TR 14 AVACS 49, SFB/TR 14 AVACS. ISSN: 1860-9821.
April 2009.