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: 69.

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]

Arnold, Florian and Hermanns, Holger and Pulungan, Reza and Stoelinga, Mariëlle (2014) Time-dependent analysis of attacks. In: Third International Conference on Principles and Security of Trust, POST 2014, April 5-13, 2014, Grenoble, France (pp. pp. 285-305).

Guck, Dennis and Katoen, Joost-Pieter and Stoelinga, Mariëlle and Luiten, Ted and Romijn, Judi (2014) Smart railroad maintenance engineering with stochastic model checking. In: Second International Conference on Railway Technology: Research, Development and Maintenance, Railways 2014, 8-11 April 2014, Ajaccio, Corsica, France (pp. p. 299).

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 Alfaro, L. de 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 Tue Oct 21 05:34:04 2014 CEST.