Back to search results

Person

Dr. M.I.A. Stoelinga

Pagina-navigatie:

Update Persondata

Digital Author ID	info:eu-repo/dai/nl/170382796

Active as

Researcher
Organisation	Faculty of Electrical Engineering, Mathematics & Computer Science (UT)
Email	m. i. a. stoelinga -at- utwente. nl

Publications

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version)
Model- en risicogebaseerd testen voeren boventoon op Nederlandse Testdag
Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost
Confluence Reduction for Probabilistic Systems
Model-based Testing

All publications..

Current research

(the most recent research is at the top)
Project leader	Symbolic Translation of Stochastic Processes

Completed research projects

(the most recent research is at the top)
Project leader	Modeling and Analysis of QoS of Component-Based Designs (MOQS)

Go to page top
Go back to contents
Go back to site navigation