Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2010 | 2008 | 2007 | 2006
Number of items: 16.

2010

Haverkort, B.R. and Kuntz, M. and Leitner-Fischer, F. and Remke, A. and Roolvink, S. (2010) Probabilistic verification of Architectural software models using SoftArc and Prism. In: ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos (pp. pp. 852-860).

Haverkort, B.R. and Kuntz, M. and Remke, A. and Roolvink, S. (2010) Formal Performability Evaluation of Architectural Models of Critical Infrastructures. In: ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos (pp. pp. 27-34).

Haverkort, B.R. and Kuntz, M. and Remke, A. and Roolvink, S. and Stoelinga, M.I.A. (2010) Evaluating Repair Strategies for a Water-Treatment Facility using Arcade. In: 2010 IEEE/IFIP International Conference on Dependable Systems & Networks, DSN 2010, 28 June - 1 July 2010, Chicago, IL, USA (pp. pp. 419-424).

2008

Blom, Stefan and Haverkort, Boudewijn R. and Kuntz, Matthias and Pol, Jaco van de (2008) Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electronic Notes in Theoretical Computer Science, 220 (2). pp. 35-50. ISSN 1571-0661

Boudali, H. and Crouzen, P. and Haverkort, B.R. and Kuntz, M. and Stoelinga, M.I.A. (2008) Architectural dependability evaluation with Arcade. In: 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 24-27, Anchorage, USA (pp. pp. 512-521).

Boudali, Hichem and Crouzen, Pepijn and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2008) Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. In: 13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008, March 31, 2008 - April 3, 2008 , Belfast, UK (pp. pp. 243-248).

Boudali, Hichem and Crouzen, Pepijn and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2008) Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models. In: Second Workshop on Foundations of Interface Theories, FIT 2008, April 10, 2008, Budapest, Hungary (pp. pp. 5-10).

Kuntz, Matthias and Haverkort, Boudewijn (2008) Formal Dependability Engineering with MIOA. [Report]

2007

Baier, Christel and Cloth, Lucia and Haverkort, Boudewijn R. and Kuntz, Matthias and Siegle, Markus (2007) Model Checking Markov Chains with Actions and State Labels. IEEE Transactions on Software Engineering, 33 (4). pp. 209-224. ISSN 0098-5589

Boudali, Hichem and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2007) Best of Three Worlds: Towards Sound Architectural Dependability Models. In: 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), September 20-21, 2007, Edinburgh, UK (pp. pp. 45-49).

Haverkort, Boudewijn R. and Kuntz, Matthias (2007) Extending the Logic IM-SPDL with Impulse and State Rewards. [Report]

Kuntz, Matthias and Haverkort, Boudewijn R. (2007) Faster SPDL Model Checking Through Property-Driven State Space Generation. In: Fourth European Performance Engineering Workshop, EPEW 2007, 27-28 September 2007, Berlin, Germany (pp. pp. 80-96).

Kuntz, Matthias and Haverkort, Boudewijn R. (2007) GCSRL - A Logic for Stochastic Reward Models with Timed and Untimed Behaviour. In: Eighth International Workshop on Performability Modeling of Computer and Communication Systems, 20-21 Sept 2007, Edinburgh, UK (pp. pp. 50-56).

Kuntz, Matthias and Haverkort, Boudewijn R. (2007) SPDL Model Checking via Property-Driven State Space Generation. [Report]

2006

Kuntz, Georg Wolfgang Matthias (2006) Symbolic Semantics and Verification of Stochastic Process Algebras. thesis.

Kuntz, Matthias and Siegle, Markus (2006) Symbolic Model Checking of Stochastic Systems: Theory and Implementation. In: 13th International SPIN Workshop on Model Checking Software, March 30 - April 1, Vienna, Austria (pp. pp. 89-107).

This list was generated on Fri Sep 19 05:23:36 2014 CEST.