Papers

2011

• A linear process-algebraic format with data for probabilistic automata.
  Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M.
  Theoretical Computer Science (Accepted for publication).
• Experiences with Formal Engineering: Model-based Specication, Implementation and Testing of a Software Bus at Neopost.
  Marten Sijtema, Mariëlle Stoelinga, Axel Belinfante and Lawrence Marinelli
  Proceedings FMICS (Accepted for publication).
• Model-based Testing.
  Timmer, M. and Brinksma, H. and Stoelinga, M.I.A.
  Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series, IOS Press, Amsterdam.
• Confluence Reduction for Probabilistic Systems.
  Timmer, M. and Stoelinga, M.I.A. and van de Pol, J.C.
  Proceedings TACAS'2011

2010

• A linear process-algebraic format for probabilistic systems with data.
  Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M.
  Proceedings ACSD
• Confluence reduction for probabilistic systems.
  Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. Proceedings YR-CONCUR
• A linear process-algebraic format for probabilistic systems with data.
  Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M. (2010)
  Technical Report TR-CTIT-10-11, University of Twente.

2009

• A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis
  H. Boudali, P. Crouzen, and M.I.A. Stoelinga.
  IEEE Transactions on Dependable and Secure Computing, 2009 [ pdf | bibtex ]
• Dependability and Survivability Evaluation of a Water Distribution Process with Arcade
  Stephan Roolvink, Anne Remke, Marielle Stoelinga
  Proceedings of PMCCS'09 [ pdf | bibtex ]
• Compositional dependability modeling using Arcade
  M.I.A. Stoelinga
  Proc. of the 9th Workshop on Specification and Verification of Component-based systems (SAVCBS). (Invited contribution).
• Availability Analysis of Software Decomposition for Local Recovery
  H. Boudali, H. Sozer and M.I.A. Stoelinga
  Proceedings SSIRI'09
• Interpreting a successful testing process: risk and actual coverage
  M.I.A. Stoelinga, M. Timmer
  Proceedings TASE'09 [ pdf | bib ]
• Delayed nondeterminism in CTMDPs
  M.R. Neuhausser, M.I.A. Stoelinga and J.-P. Katoen,
  Proceedings FOSSACS'09 [ pdf | bib ]
• DFTSim: A Simulation Tool for Extended Dynamic Fault Trees
  H. Boudali, A. Nijmeijer, and M. Stoelinga
  Proceedings of the 42nd Annual Simulation Symposium (ANSS) [ pdf | bib ]
• Linear and Branching System Metrics.
  L. de Alfaro and M. Faella and M.I.A. Stoelinga.
  IEEE Transactions on Software Engineering'09. [ pdf | bib ]

2008

• Interpreting a successful testing process: risk and actual coverage
  M.I.A. Stoelinga, M. Timmer
  CTIT Technical Report TR-CTIT-09-17 [ pdf | bib ]
• Quantitative Testing.
  H. Bohnenkamp and M.I.A. Stoelinga.
  In: Proceedings of Emsoft'08 [ pdf | bibtex ]
• Game Refinement Relations and Metrics.
  L. de Alfaro, R. Majumdar, V. Raman, M.I.A. Stoelinga.
  In: Logical Methods in Computer Science [ pdf | bibtex ]
• Architectural dependability evaluation with Arcade
  H. Boudali, P. Crouzen, B. R. Haverkort, M. Kuntz and M.I.A. Stoelinga
  Proc. Dependable Systems and Networks (DSN2008). [ pdf | bibtex ]
• Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework
  H. Boudali, P. Crouzen, B. R. Haverkort, M. Kuntz and M.I.A. Stoelinga
  Proc. of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). [ pdf | bibtex ]
• Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models
  H. Boudali, P. Crouzen, B. R. Haverkort, M. Kuntz and M.I.A. Stoelinga
  Proceedings of FIT'08 [ ps [ ps | bibtex ]
• Model checking Quantitative Linear Time Logic
  M. Faella, A. Legay, M.I.A. Stoelinga.
  Proceedings QAPL 2008. [ pdf | bibtex ]

2007

• A Testing Scenario for Probabilistic Processes
  L. Cheung and M.I.A. Stoelinga and F.W. Vaandrager.
  Journal of the ACM 2007. [ pdf | bibtex ]
• Game Relations and Metrics.
  L. de Alfaro, R. Majumdar, V. Raman, M.I.A Stoelinga.
  Proceedings of LICS'07 [ pdf | bibtex ]
• A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains
  H. Boudali, P. Crouzen, and M.I.A. Stoelinga.
  Proceedings of ATVA'07 [ pdf | bibtex ]
• How Fast and Fat Is Your Probabilistic Model Checker? an experimental performance comparison
  D. N. Jansen, J.-P. Katoen, H.A. Oldenkamp, M.I.A. Stoelinga, and I.S. Zapreev
  Proceedings of HVC'07 [ pdf | bibtex ]
• Best of Three Worlds: Towards Sound Architectural Dependability Models
  H. Boudali, B.R.H.M. Haverkort, M. Kuntz, and M.I.A. Stoelinga
  Proceedings of PMCCS'07 [ pdf | bibtex ]
• CORAL - a tool for COmpositional Reliability and Availability anaLysis.
  H. Boudali, P. Crouzen, and M.I.A. Stoelinga.
  ARTIST workshop: Tool Platforms for Embedded Systems Modeling, Analysis and Validation. [ pdf | bibtex ]
• Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains
  H. Boudali, P. Crouzen, and M.I.A. Stoelinga.
  Proceedings of DSN'07 [ pdf | bibtex ]

2006

• A Semantic Framework for Test Coverage
  L. Brandán Briones, E. Brinksma, and M.I.A. Stoelinga.
  Technical Report TR-CTIT-06-24, 2006
  Proceedings ATVA'06. [ pdf | talk | bibtex ]
• Quantitative Compositional Reasoning
  K. Chatterjee, L. de Alfaro, M. Faella, T. A. Henzinger, R. Majumdar and M.I.A. Stoelinga
  Proceedings of QEST'06 [ pdf | bibtex ]

2005

• Model Checking Discounted Temporal Properties.
  L. de Alfaro and M. Faella and T.A. Henzinger and R. Majumdar and M.I.A. Stoelinga.
  Journal of Theoretical Computer Science, Volume 345, Issue 1, 2005, Pages 139-170 [ ps | pdf | bib ]
  Conference version: Proceedings of TACAS'04. [ ps | pdf ]
  
• Proceedings of 11th Dutch Testing Day
  E. Brinksma and M.I.A. Stoelinga (eds).
  November 11 2005, Enschede, the Netherlands. [ pdf ]
• H. Hermanns and J. Rehof and M.I.A. Stoelinga (eds).
  Proceedings of First Workshop on Foundations of Interface Technologies
  August 28, San Francisco, USA, 2005.

2004

• Linear and Branching Metrics for Quantitative Transition Systems.
  L. de Alfaro and M. Faella and M.I.A. Stoelinga.
  Proceedings of ICALP'04. [ ps | pdf | bib ]
  
• Model Checking Discounted Temporal Properties.
  L. de Alfaro and M. Faella and T.A. Henzinger and R. Majumdar and M.I.A. Stoelinga.
  Proceedings of TACAS'04. [ ps | pdf ] Full version: Journal of Theoretical Computer Science, 2005, [ ps | pdf | bib ]
• The element of surprise in timed games
  Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, and Marielle Stoelinga.
  Proceedings of CONCUR'04 [ ps | pdf | bib ]

2003

• Interfaces: a game-theoretic framework to reason about component-based systems
  Luca de Alfaro and Marielle Stoelinga.
  Proceedings FOCLASA 03 [ ps | pdf | bib ]
• Resource Interfaces
  Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, and Marielle Stoelinga.
  Proceedings EMSOFT 03. [ ps | pdf | bib ]
• A Testing Scenario for Probabilistic Automata
  M.I.A. Stoelinga and F.W. Vaandrager.
  Technical Report NIII-R0307, [ ps [ ps | bibtex | presentation ]
  Conference version: Proceedings ICALP 03. [ ps [ ps | bibtex ]
  won the EATCS best track B paper award
  
• Fun with FireWire: a comparative study of formal verification methods applied to the IEEE 1394 Root Contention Protocol
  M.I.A. Stoelinga
  Formal Aspects of Computer science, 2003. [ ps | ps | bibtex ]
  Workshop version: Proc. of the Int'l WS on Appl. of Formal Methods to IEEE 1394 Standard, 2001.
  [ ps | ps | bibtex ]

2002

• An introduction to probabilistic automata
  M.I.A. Stoelinga
  EATCS Bulletin, No. 78, 2002. [ ps | [ ps | bibtex ]
• Timed Interfaces
  L. de Alfaro, T.A. Henzinger and M.I.A Stoelinga
  Proceedings of EMSOFT 02 [ ps | pdf | ppt | bibtex ]
• Alea jacta est: verification of probabilistic, real-time and parametric systems
  PhD thesis, University of Nijmegen, April 2002. [ thesis | bibtex ]
  An abstract has appeared in the bulletin of the eatcs, No. 77, pp 257--260, 2002.
• Linear parametric model checking of timed automata
  T.S. Hune, J.M.T. Romijn, M.I.A. Stoelinga and F.W. Vaandrager
  Journal of Logic and Algebraic Programming, 2002 [ ps | ps | bibtex ]
  Conference version: Proceedings TACAS'2001, [ ps | bibtex ]

2001 and earlier

• Mechanical Verification of the IEEE1394a Root Contention Protocol using Uppaal2k
  D.P.L. Simons and M.I.A. Stoelinga
  International Journal on Software Tools for Technlogy Transfer, 2001.
  [ ps | pdf | abstr | more info | bibtex ]
• Norm functions for probabilistic bisimulations with delays
  C. Baier and M.I.A. Stoelinga
  Proc. of 3rd Intl. Conf. on Foundations of Science and Computation Structures (FOSSACS), 2000
  [ ps | bibtex ]
• Root Contention in IEEE 1394
  M.I.A. Stoelinga and F.W. Vaandrager
  Proceedings of the 5th AMAST Workshop on Real-Time and Probabilistic Systems (ARTS'99)
  [ ps | bib |
• My Master's thesis. Exact representations of and computability on real numbers
  University of Nijmegen, March 1997. [ ps | pdf | bibtex ]
• Some older work :-).
  Excursie naar het laboratorium van de Vereniging ter Bevordering van Overbodige Kennis
  M.D. Oostdijk and M.I.A. Stoelinga.
  INternational Proceedings of Universal Laboratory Sciences (IMPULS'93), Wormekerveen (U), 1993. (In Dutch.) [ ps ]