Marielle Stoelinga

Marielle Stoelinga

University of Twente - Enschede / Netherlands
Others
AD Scientific Index ID: 1800633
Universiteit Twente
person_outline Marielle Stoelinga's MOST POPULAR ARTICLES
1-) Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools.E Ruijters, M StoelingaComputer Science Review 15, 29-62, 20155812015
2-) Resource interfacesA Chakrabarti, L Alfaro, TA Henzinger, M StoelingaInternational Workshop on Embedded Software, 117-133, 20033002003
3-) Linear parametric model checking of timed automataT Hune, J Romijn, M Stoelinga, F VaandragerThe Journal of Logic and Algebraic Programming 52, 183-220, 20022732002
4-) Timed interfacesL De Alfaro, TA Henzinger, M StoelingaEmbedded Software: Second International Conference, EMSOFT 2002 Grenoble …, 20022532002
5-) Dynamic fault tree analysis using input/output interactive Markov chainsH Boudali, P Crouzen, M StoelingaDependable Systems and Networks, 2007. DSN\'07. 37th Annual IEEE/IFIP …, 20072432007