Papers
See also
my entries in
eprints (since 2004) or
dblp.
Back to my homepage
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 ]
Back to my homepage