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 ]