, Probabilistic Model Checking of Incomplete Models, this proceedings
DOI : 10.1007/3-540-45657-0_17
, Synthesizing energy-optimal controllers for multi-processor dataflow applications with uppaal
DOI : 10.1007/978-3-319-47166-2_7
, Symbolic Model Checking without BDDs, TACAS, pp.193-207, 1999.
DOI : 10.1007/3-540-49059-0_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.8033
, PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, QEST Symbolic model checking: 10 20 states and beyond. Inf. and Comp, pp.160-164142, 1992.
DOI : 10.1007/978-3-642-40196-1_12
URL : https://hal.archives-ouvertes.fr/hal-01088411
, Model-checking algorithms for continuous-time markov chains, IEEE Transactions on Software Engineering, vol.29, issue.6, pp.524-541, 2003.
DOI : 10.1109/TSE.2003.1205180
, Model-Based Testing of Reactive Systems, Advanced Lectures The volume is the outcome of a research seminar that was held in Schloss Dagstuhl, BK08] C. Baier and J-P. Katoen. Principles of Model Checking (Representation and Mind Series), 2004.
, Polymorphic predicate abstraction Symbolic boolean manipulation with ordered binary-decision diagrams Liquor: A tool for qualitative and quantitative linear time analysis of reactive systems Design and synthesis of synchronization skeletons using branching-time temporal logic, Proc. of 3rd Int. Conference on the Quantitative Evaluation of Systems (QEST) Logic of Programs Ciesinski and M. Größer. On probabilistic computation tree logic Validation of Stochastic Systems, pp.293-318, 1981.
, Model Checking Counterexamples revisited: Principles, algorithms , applications In Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday [CY95] Costas Courcoubetis and Mihalis Yannakakis. The complexity of probabilistic verification, LNCS Journal of the ACM, vol.2772, issue.424, pp.208-224857, 1995.
, Weighted automata and weighted logics, Theoretical Computer Science, vol.380, issue.1-2, pp.69-86, 2007.
DOI : 10.1016/j.tcs.2007.02.055
URL : https://hal.archives-ouvertes.fr/hal-00772642
, Time for real statistical model-checking: Statistical model-checking for real-time systems, CAV, 2011.
, An efficient algorithm for computing bisimulation equivalence Dynamic partial-order reduction for model checking software, POPL, pp.110-121, 2004.
, Can bdds compete with sat solvers on bounded model checking?, Proc. of 39th Design Automation Conference (DAC), pp.117-122, 2002.
DOI : 10.1145/513918.513949
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.6562
, Statistical verification of probabilistic properties with unbounded until In Formal Methods: Foundations and Applications Synthesizing monitors for safety properties, TACAS, volume 2280 of LNCS, pp.144-160, 2002.
, How fast and fat is your probabilistic model checker? an experimental performance comparison, HVC, 2007.
, Feedback control for statistical model checking of cyberphysical systems, this proceedings
URL : https://hal.archives-ouvertes.fr/hal-01087977
, PRISM 2.0: a tool for probabilistic model checking, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings., pp.322-323, 2004.
DOI : 10.1109/QEST.2004.1348048
, PRISM 4.0: Verification of Probabilistic Real-Time Systems, CAV'11, pp.585-591, 2011.
DOI : 10.1007/3-540-45657-0_17
URL : https://hal.archives-ouvertes.fr/hal-00648035
, Survey of statistical verification of linear unbounded properties: Model checking and distances, this proceedings
, Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems, this proceedings
DOI : 10.1007/978-3-319-47166-2_9
, Plasma Lab: A Modular Statistical Model Checking Platform, this proceedings
DOI : 10.1007/3-540-45657-0_17
URL : https://hal.archives-ouvertes.fr/hal-01387435
, Some inequalities relating to the partial sum of binomial probabilities, Annals of the Institute of Statistical Mathematics, vol.7, issue.1, pp.29-35, 1959.
DOI : 10.1007/BF02883985
, Automatic synthesis of code using genetic programming The temporal logic of programs Hypothesis testing for rare-event simulation: limitations and possibilities, Proc. 18th Annual Symposium on Foundations of Computer Science (FOCS)RdBS] Danil Reijsbergen, Pieter-Tjerk de Boer, and Werner Scheinhardt* this proceedings. [RS] Enno Ruijters and Marielle Stoelinga. Better railway engineering through statistical model checking this proceedings, pp.46-57, 1977.
, On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle, this proceedings
DOI : 10.1109/RAMS.2013.6517749
, Statistical model checking of blackbox probabilistic systems, CAV, LNCS 3114, 2004.
, On Statistical Model Checking of Stochastic Systems, CAV, pp.266-280, 2005.
DOI : 10.1007/11513988_26
, Statistical Model Checking for Product Lines, this proceedings. [Wal45] A. Wald. Sequential tests of statistical hypotheses, pp.117-186, 1945.
DOI : 10.1007/978-3-662-45234-9_23
URL : https://hal.archives-ouvertes.fr/hal-01406531
, Partial-order methods for temporal verification, In CONCUR LNCS, vol.715, 1993.
DOI : 10.1007/3-540-57208-2_17
, Verification and Planning for Stochastic Processes with Asynchronous Events, 2005.
, Verification and planning for stochastic processes with asynchronous events Error control for probabilistic model checking, Proc. of 7th Int. Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI, pp.142-156, 2005.
, Probabilistic verification of discrete event systems using acceptance sampling, CAV, pp.223-235, 2002.