Mariëlle Stoelinga

According to our database1, Mariëlle Stoelinga authored at least 99 papers between 1999 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Model-based testing of probabilistic systems.
Formal Asp. Comput., 2018

Tester versus Bug: A Generic Framework for Model-Based Testing via Games.
Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Maintenance of Smart Buildings using Fault Trees.
CoRR, 2018

One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs.
CoRR, 2018

Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees.
CoRR, 2018

LOCKS: a property specification language for security goals.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

LIFT: Learning Fault Trees from Observational Data.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Model-Based Testing for General Stochastic Time.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Risk management for high tech systems.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Effective Analysis of Attack Trees: A Model-Driven Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 2018

Modelling Smart Buildings Using Fault Maintenance Trees.
Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017
Availability analysis of software architecture decomposition alternatives for local recovery.
Software Quality Journal, 2017

Fault trees on a diet: automated reduction by graph rewriting.
Formal Asp. Comput., 2017

Model-Based Testing of Probabilistic Systems with Stochastic Time.
Proceedings of the Tests and Proofs - 11th International Conference, 2017

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Efficient probabilistic model checking of smart building maintenance using fault maintenance trees.
Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, 2017

Rare Event Simulation for Dynamic Fault Trees.
Proceedings of the Computer Safety, Reliability, and Security, 2017

Quantitative Security and Safety Analysis with Attack-Fault Trees.
Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

Boosting Fault Tree Analysis by Formal Methods.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

Testing Divergent Transition Systems.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
Confluence reduction for Markov automata.
Theor. Comput. Sci., 2016

Special issue on Software Verification and Testing (SAC-SVT'15).
Sci. Comput. Program., 2016

Selected and extended papers from ACM SVT 2014.
Sci. Comput. Program., 2016

Model-based testing of stochastic systems with IOCO theory.
Proceedings of the 7th International Workshop on Automating Test Case Design, 2016

Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

The Value of Attack-Defence Diagrams.
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

Better Railway Engineering Through Statistical Model Checking.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Using Attack-Defense Trees to Analyze Threats and Countermeasures in an ATM: A Case Study.
Proceedings of the Practice of Enterprise Modeling, 2016

Model-Based Testing of Probabilistic Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2016

Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

Uncovering Dynamic Fault Trees.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

Model Checking and Evaluating QoS of Batteries in MPSoC Dataflow Applications via Hybrid Automata.
Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015
Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools.
Computer Science Review, 2015

Time Dependent Analysis with Dynamic Counter Measure Trees.
CoRR, 2015

Ioco Theory for Probabilistic Automata.
Proceedings of the Proceedings Tenth Workshop on Model Based Testing, 2015

Modeling and Verification of the Bitcoin Protocol.
Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015

Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Sequential and Parallel Attack Tree Modelling.
Proceedings of the Computer Safety, Reliability, and Security, 2015

DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper).
Proceedings of the Formal Methods and Software Engineering, 2015

Quantitative Attack Tree Analysis via Priced Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications.
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2014
Experiences with formal engineering: Model-based specification, implementation and testing of a software bus at Neopost.
Sci. Comput. Program., 2014

Effective verification of confidentiality for multi-threaded programs.
Journal of Computer Security, 2014

Time-Dependent Analysis of Attacks.
Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Modelling and Analysis of Markov Reward Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2014

Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013
Divergent Quiescent Transition Systems.
Proceedings of the Tests and Proofs - 7th International Conference, 2013

DFTCalc: A Tool for Efficient Fault Tree Analysis.
Proceedings of the Computer Safety, Reliability, and Security, 2013

Confluence Reduction for Markov Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

Confidentiality for Probabilistic Multi-threaded Programs and Its Verification.
Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

Quantitative penetration testing with item response theory.
Proceedings of the 9th International Conference on Information Assurance and Security, 2013

2012
A linear process-algebraic format with data for probabilistic automata.
Theor. Comput. Sci., 2012

Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511).
Dagstuhl Reports, 2012

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation
Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012

Efficient Modelling and Generation of Markov Automata.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
Model-Based Testing.
Proceedings of the Software and Systems Safety - Specification and Verification, 2011

Confluence Reduction for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010
A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis.
IEEE Trans. Dependable Sec. Comput., 2010

Confluence Reduction for Probabilistic Systems (extended version)
CoRR, 2010

Evaluating repair strategies for a water-treatment facility using Arcade.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

A Linear Process-Algebraic Format for Probabilistic Systems with Data.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009
Linear and Branching System Metrics.
IEEE Trans. Software Eng., 2009

Interpreting a Successful Testing Process: Risk and Actual Coverage.
Proceedings of the TASE 2009, 2009

Architectural Availability Analysis of Software Decomposition for Local Recovery.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

DFTSim: a simulation tool for extended dynamic fault trees.
Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

Compositional dependability modeling using arcade: abstract for the keynote talk.
Proceedings of the SAVCBS'09, 2009

Delayed Nondeterminism in Continuous-Time Markov Decision Processes.
Proceedings of the Foundations of Software Science and Computational Structures, 2009

2008
Game Refinement Relations and Metrics.
Logical Methods in Computer Science, 2008

Model Checking Quantitative Linear Time Logic.
Electr. Notes Theor. Comput. Sci., 2008

Game Refinement Relations and Metrics
CoRR, 2008

Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Quantitative testing.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Architectural dependability evaluation with Arcade.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007
A testing scenario for probabilistic processes.
J. ACM, 2007

Game Relations and Metrics.
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.
Proceedings of the Hardware and Software: Verification and Testing, 2007

Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains.
Proceedings of the Automated Technology for Verification and Analysis, 2007

2006
Compositional Quantitative Reasoning.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

A Semantic Framework for Test Coverage.
Proceedings of the Automated Technology for Verification and Analysis, 2006

2005
Model checking discounted temporal properties.
Theor. Comput. Sci., 2005

2004
Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems.
Electr. Notes Theor. Comput. Sci., 2004

Model Checking Discounted Temporal Properties.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Linear and Branching Metrics for Quantitative Transition Systems.
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003
Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol.
Formal Asp. Comput., 2003

A Testing Scenario for Probabilistic Automata.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Resource Interfaces.
Proceedings of the Embedded Software, Third International Conference, 2003

The Element of Surprise in Timed Games.
Proceedings of the CONCUR 2003, 2003

2002
Linear parametric model checking of timed automata.
J. Log. Algebr. Program., 2002

An Introduction to Probabilistic Automata.
Bulletin of the EATCS, 2002

Timed Interfaces.
Proceedings of the Embedded Software, Second International Conference, 2002

2001
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k.
STTT, 2001

Linear Parametric Model Checking of Timed Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000
Norm Functions for Probabilistic Bisimulations with Delays.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999
Root Contention in IEEE 1394.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999


  Loading...