Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004
Number of items: 67.

2014

Ahmad, Waheed and Groote, Robert de and Hölzenspies, Philip and Stoelinga, Mariëlle and Pol, Jaco van de (2014) Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata. [Report]

Ahmad, Waheed and Groote, Robert de and Hölzenspies, Philip K.F. and Stoelinga, Mariëlle and Pol, Jaco van de (2014) Resource-constrained optimal scheduling of synchronous dataflow graphs via timed automata (extended version). [Report]

Guck, Dennis and Timmer, Mark and Hatefi, Hassan and Ruijters, Enno and Stoelinga, Mariëlle (2014) Modelling and analysis of Markov reward automata (extended version). [Report]

Ngo, Minh Tri and Stoelinga, Mariëlle and Huisman, Marieke (2014) Effective verification of confidentiality for multi-threaded programs. Journal of computer security . ISSN 0926-227X

Sijtema, M. and Belinfante, A. and Stoelinga, M.I.A. and Marinelli, L. (2014) Experiences with formal engineering: model-based specification, implementation and testing of a software bus at Neopost. Science of computer programming, 80 (Part A). pp. 188-209. ISSN 0167-6423

Stoelinga, Mariëlle (2014) Bakkerij, democratie en typesetting. Bits en chips, 5 . pp. 40-41. ISSN 1879-6443

2013

Arnold, Florian and Belinfante, Axel and Berg, Freark van der and Guck, Dennis and Stoelinga, Mariëlle (2013) DFTCalc: a tool for efficient fault tree analysis (extended version). [Report]

Arnold, Florian and Belinfante, Axel and Berg, Freark van der and Guck, Dennis and Stoelinga, Mariëlle (2013) DFTCalc: a tool for efficient fault tree analysis. In: 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, 24-27 September 2013, Toulouse, France (pp. pp. 293-301).

Arnold, Florian and Pieters, Wolter and Stoelinga, Mariëlle (2013) Quantitative penetration testing with item response theory (extended version). [Report]

Huisman, Marieke and Jobstmann, Barbara and Schaefer, Ina and Stoelinga, Mariëlle (2013) Divide and conquer: the quest for compositional design and analysis (Dagstuhl Seminar 12511). Dagstuhl Reports, 2 (12). pp. 64-88. ISSN 2192-5283

Ngo, Minh Tri and Stoelinga, M.I.A. and Huisman, M. (2013) Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification. In: 5th International Conference on Engineering Secure Software and Systems, ESSoS 2013, 27 February - 1 March 2013, Paris, France.

Stoelinga, Mariëlle and Pieters, Wolter (2013) Attack navigator vindt en verhelpt zwakke plekken. Bits & chips : tweewekelijks nieuwsmagazine voor de hightechindustrie, 4 . ISSN 1879-6443

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent Quiescent Transition Systems (extended version). [Report]

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent quiescent transition systems. In: 7th International Conference on Tests and Proofs, TAP 2013, 18-19 June 2013, Budapest, Hungary (pp. pp. 214-231).

Timmer, M. and Pol, J.C. van de and Stoelinga, M.I.A. (2013) Confluence reduction for Markov automata (extended version). [Report]

Timmer, Mark and Pol, Jaco van de and Stoelinga, Mariëlle (2013) Confluence reduction for Markov automata. In: 11th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, 23-24 March 2013, Rome, Italy.

Timmer, Mark and Pol, Jaco van de and Stoelinga, L.A. (2013) Confluence reduction for Markov automata. In: 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, 29-31 August 2013, Buenos Aires, Argentina (pp. pp. 243-257).

2012

Ngo, Minh Tri and Stoelinga, Mariëlle and Huisman, Marieke (2012) Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification. [Report]

Stoelinga, Mariëlle (2012) Trends in testen: modellen en verhalen. Bits en chips, 10 . pp. 16-17. ISSN 1879-6443

Stokkink, Gerjan and Timmer, Mark and Stoelinga, Mariëlle (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version). [Report]

Stokkink, Gerjan and Timmer, Mark and Stoelinga, Mariëlle (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: 7th Workshop on Model-Based Testing, MBT 2012, 25 March 2012, Tallinn, Estonia (pp. pp. 73-87).

Timmer, Mark and Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata. In: 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, 31 March - 1 April 2012, Tallinn, Estonia.

Timmer, Mark and Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata (extended version). [Report]

Timmer, Mark and Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle (2012) Efficient Modelling and Generation of Markov Automata. In: 23rd International Conference on Concurrency Theory, CONCUR 2012, September 4-7, 2012, Newcastle upon Tyne, UK (pp. pp. 364-379).

2011

Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle and Timmer, Mark (2011) A linear process-algebraic format with data for probabilistic automata. Theoretical Computer Science, 413 (1). pp. 36-57. ISSN 0304-3975

Sijtema, Marten and Stoelinga, Mariëlle and Belinfante, Axel and Marinelli, Lawrence (2011) Experiences with formal engineering: model-based specification, implementation and testing of a software bus at Neopost. In: 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, 29-30 August 2011, Trento, Italy (pp. pp. 117-133).

Stoelinga, Mariëlle (2011) Model- en risicogebaseerd testen voeren boventoon op Nederlandse Testdag. Bits en chips, 113 (15). pp. 14-15. ISSN 1879-6443

Stoelinga, Mariëlle (2011) Preface. In: 17th Dutch Testing Day: Testing Evolvability, 29 November 2011, Enschede, The Netherlands (pp. p. 3).

Stoelinga, Mariëlle and Timmer, Mark (2011) Efficiënt zoeken in grote tekstbestanden. Nieuwe Wiskrant, 30 (4). pp. 35-38. ISSN 0928-7167

Stoelinga, Mariëlle and Timmer, Mark , eds. (2011) Proceedings of the 17th Dutch Testing Day: Testing Evolvability. CTIT Workshop Proceedings Series, WP12-01 (WP12-01). University of Twente, Centre for Telematics and Information Technology, Enschede, the Netherlands.

Timmer, Mark and Brinksma, Ed and Stoelinga, Mariëlle (2011) Model-based Testing. In: Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series - D: Information and Communication Security . IOS Press, Amsterdam.

Timmer, Mark and Stoelinga, Mariëlle and Pol, Jaco van de (2011) Confluence Reduction for Probabilistic Systems. In: 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, 26 March - 3 April 2011, Saarbrücken, Germany (pp. pp. 311-325).

2010

Boudali, Hichem and Crouzen, Pepijn and Stoelinga, Mariëlle (2010) A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis. IEEE Transactions on Dependable and Secure Computing, 7 (2). pp. 128-143. ISSN 1545-5971

Haverkort, B.R. and Kuntz, M. and Remke, A. and Roolvink, S. and Stoelinga, M.I.A. (2010) Evaluating Repair Strategies for a Water-Treatment Facility using Arcade. In: 2010 IEEE/IFIP International Conference on Dependable Systems & Networks, DSN 2010, 28 June - 1 July 2010, Chicago, IL, USA (pp. pp. 419-424).

Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle and Timmer, Mark (2010) A linear process-algebraic format for probabilistic systems with data (extended version). [Report]

Katoen, Joost-Pieter and Pol, Jaco van de and Stoelinga, Mariëlle and Timmer, Mark (2010) A linear process algebraic format for probabilistic systems with data. In: Tenth International Conference on Application of Concurrency to System Design, ACSD 2010, 21-25 June 2010, Braga, Portugal (pp. pp. 213-222).

Timmer, Mark and Pol, Jaco van de and Stoelinga, Mariëlle (2010) Confluence reduction for probabilistic systems. In: 2nd Young Researchers Workshop on Concurrency Theory, 4 September 2010, Paris, France (pp. pp. 87-90).

Timmer, Mark and Stoelinga, Mariëlle and Pol, Jaco van de (2010) Confluence Reduction for Probabilistic Systems (extended version). [Report]

2009

Alfaro, Luca de and Faella, Marco and Stoelinga, Mariëlle (2009) Linear and Branching System Metrics. IEEE Transactions on Software Engineering, 35 (2). pp. 258-273. ISSN 0098-5589

Boudali, H. and Nijmeijer, A.P. and Stoelinga, M.I.A. (2009) DFTSim: A Simulation Tool for Extended Dynamic Fault Trees. In: 42nd Annual Simulation Symposium, ANSS 2009, March 22-27, 2009, San Diego, CA, USA (pp. p. 31).

Boudali, Hichem and Sözer, Hasan and Stoelinga, Mariëlle (2009) Architectural Availability Analysis of Software Decomposition for Local Recovery. In: Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 8-10 July 2009, Shanghai, China (pp. pp. 14-22).

Neuhäußer, Martin R. and Stoelinga, Mariëlle and Katoen, Joost-Pieter (2009) Delayed Nondeterminism in Continuous-Time Markov Decision Processes. In: 12th International Conference Foundations of Software Science and Computational Structures, FOSSACS 2009, March 22-29, 2009, York, UK (pp. pp. 364-379).

Roolvink, Stephan and Remke, Anne and Stoelinga, Mariëlle (2009) Dependability and Survivability Evaluation of a Water Distribution Process with Arcade. In: Ninth International Workshop on Performability of Computer and Communication Systems, 17-18 Sept, 2009, Eger, Hungary (pp. pp. 4-7).

Stoelinga, Mariëlle (2009) Compositional dependability modeling using arcade. In: 8th International Workshop on Specification and Verification of Component-based Systems, SAVCBS 2009, 25 August 2009, Amsterdam, The Netherlands.

Stoelinga, Mariëlle and Timmer, Mark (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. [Report]

Stoelinga, Mariëlle and Timmer, Mark (2009) Interpreting a Successful Testing Process: Risk and Actual Coverage. In: Third IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE, 29-31 July 2009, Tianjin, China (pp. pp. 251-258).

2008

Alfaro, L. de and Majumdar, R. and Raman, V. and Stoelinga, M.I.A. (2008) Game Refinement Relations and Metrics. Logical Methods in Computer Science, 4 (3). p. 7. ISSN 1860-5974

Bohnenkamp, H.C. and Stoelinga, M.I.A. (2008) Quantitative Testing. In: Proceedings of the 7th ACM International conference on Embedded software, October 19-24, 2008, Georgia, Atlanta (pp. pp. 227-236).

Boudali, H. and Crouzen, P. and Haverkort, B.R. and Kuntz, M. and Stoelinga, M.I.A. (2008) Architectural dependability evaluation with Arcade. In: 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 24-27, Anchorage, USA (pp. pp. 512-521).

Boudali, Hichem and Crouzen, Pepijn and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2008) Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. In: 13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008, March 31, 2008 - April 3, 2008 , Belfast, UK (pp. pp. 243-248).

Boudali, Hichem and Crouzen, Pepijn and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2008) Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models. In: Second Workshop on Foundations of Interface Theories, FIT 2008, April 10, 2008, Budapest, Hungary (pp. pp. 5-10).

Faella, M. and Legay, A. and Stoelinga, M.I.A. (2008) Model checking Quantitative Linear Time Logic. In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008), March 29-30, 2008, Budapest, Hungary (pp. pp. 61-77).

Jansen, D.N. and Katoen, J.P. and Oldenkamp, M. and Stoelinga, M.I.A. and Zapreev, I.S. (2008) How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. In: Hardware and Software: Verification and Testing, Proceedings of the Third International Haifa Verification Conference, HVC 2007, 23-25 Oct 2007, Haifa, Israel (pp. pp. 69-85).

2007

Alfaro, Luca de and Majumdar, Rupak and Raman, Viswanath and Stoelinga, Mariëlle (2007) Game relations and metrics. In: 22nd Annual IEEE Symposium on Logic in Computer Science, LICS 2007, 10-14 July 2007, Wroclav, Poland (pp. pp. 99-108).

Boudali, H. and Crouzen, P. and Stoelinga, M.I.A. (2007) A compositional reliability and availability evaluation tool. In: ARTIST workshop: Tool Platforms for Embedded Systems Modeling, Analysis and Validation. Presented at the 19th International conference on Computer Aided Verification, July 1-2, 2007, Berlin, Germany.

Boudali, H. and Crouzen, P. and Stoelinga, M.I.A. (2007) A compositional semantics for Dynamic Fault Trees in terms of Interactive Markov Chains. In: 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), October 22-25, 2007, Tokyo, Japan (pp. pp. 441-456).

Boudali, Hichem and Crouzen, Pepijn and Stoelinga, Mariëlle (2007) Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK (pp. pp. 708-717).

Boudali, Hichem and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2007) Best of Three Worlds: Towards Sound Architectural Dependability Models. In: 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), September 20-21, 2007, Edinburgh, UK (pp. pp. 45-49).

Chueng, Ling and Stoelinga, Mariëlle and Vaandrager, Frits (2007) A Testing Scenario for Probabilistic Processes. Journal of the ACM, 54 (6). pp. 1-45. ISSN 0004-5411

2006

Brandan Briones, Laura and Brinksma, Ed and Stoelinga, Mariëlle (2006) A Semantic Framework for Test Coverage. In: 4th International Symposium on Automated Technology for Verification and Analysis, ATVA, October 23-26, 2006, Beijing, China (pp. pp. 399-414).

Brandan Briones, Laura and Brinksma, Ed and Stoelinga, Mariëlle (2006) A Semantic Framework for Test Coverage. [Report]

Brinksma, Ed and Stoelinga, Mariëlle and Brandan Briones, Laura (2006) A Semantic Framework for Test Coverage (Extended Version). [Report]

Chatterjee, K. and de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2006) Quantitative Compositional Reasoning. In: Third International Conference on the Quantitative Evaluation of Systems (QEST'06), 11-14 Sep 2006, Riverside, California (pp. pp. 179-189).

Cheung, L. and Stoelinga, M.I.A. and Vaandrager, F.W. (2006) A Testing Scenario for Probabilistic Processes. [Report]

2005

Alfaro, Luca de and Faella, Marco and Henzinger, Thomas A. and Majumdar, Rupak and Stoelinga, Mariëlle (2005) Model Checking Discounted Temporal Properties. Theoretical Computer Science, 345 (1). pp. 139-170. ISSN 0304-3975

2004

Alfaro, Luca de and Faella, Marco and Henzinger, Thomas A. and Majumdar, Rupak and Stoelinga, Mariëlle (2004) Model Checking Discounted Temporal Properties. In: 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'04, March 29 - april 2, 2004, Barcelona, Spain (pp. pp. 77-92).

Alfaro, Luca de and Faella, Marco and Stoelinga, Mariëlle (2004) Linear and Branching Metrics for Quantitative Transition Systems. In: 31st International Colloquium on Automata, Languages and Programming, ICALP, July 12-16, 2004, Turku, Finland (pp. pp. 97-109).

This list was generated on Thu Aug 21 05:39:58 2014 CEST.