Mariëlle Stoelinga

Fabio Massacci

CoRR, 2024

Maintenance Strategies for Sewer Pipes with Multi-State Degradation and Deep Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2024

Fuzzy Fault Trees Formalized.

[BibT_eX]

[DOI]

Thi Kim Nhung Dang

CoRR, 2024

Querying Fault and Attack Trees: Property Specification on a Water Network.

[BibT_eX]

[DOI]

CoRR, 2024

CTMCs with Imprecisely Timed Observations.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics.

[BibT_eX]

[DOI]

Reza Soltani

Proceedings of the Computer Safety, Reliability, and Security, 2024

Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics.

[BibT_eX]

[DOI]

Nicolae Rusnac

Matthias Volk

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

No Risk, No Fun - A Tutorial on Risk Management.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

Fuzzy quantitative attack tree analysis.

[BibT_eX]

[DOI]

Thi Kim Nhung Dang

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Model-based joint analysis of safety and security:Survey and identification of gaps.

[BibT_eX]

[DOI]

Comput. Sci. Rev., November, 2023

Introduction to the Special Collection from FASE 2021.

[BibT_eX]

[DOI]

Esther Guerra

Formal Aspects Comput., September, 2023

A Case in Point: Verification and Testing of a EULYNX Interface.

[BibT_eX]

[DOI]

Formal Aspects Comput., March, 2023

Efficient and Generic Algorithms for Quantitative Attack Tree Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2023

Automatic Inference of Fault Tree Models Via Multi-Objective Evolutionary Algorithms.

[BibT_eX]

[DOI]

Tom Heskes

Tiedo Tinga

IEEE Trans. Dependable Secur. Comput., 2023

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2023

Fault Trees, Decision Trees, And Binary Decision Diagrams: A Systematic Comparison.

[BibT_eX]

[DOI]

Tom Heskes

CoRR, 2023

ATM: a Logic for Quantitative Security Properties on Attack Trees.

[BibT_eX]

[DOI]

CoRR, 2023

PFL: a Probabilistic Logic for Fault Trees.

[BibT_eX]

[DOI]

CoRR, 2023

sfATM: A Logic for Quantitative Security Properties on Attack Trees.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Solving Queries for Boolean Fault Tree Logic via Quantified SAT.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023

With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves.

[BibT_eX]

[DOI]

Petra van den Bos

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller.

[BibT_eX]

[DOI]

Djurre van der Wal

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors.

[BibT_eX]

[DOI]

Reza Soltani

Matthias Volk

Leonardo Diamonte

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

sfPFL: A Probabilistic Logic for Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

Cost-Damage Analysis of Attack Trees.

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, 2023

2022

Analysis of non-Markovian repairable fault trees through rare event simulation.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2022

Engineering Mobile Apps for Disaster Management: The Case of COVID-19 Apps in the Google Play Store.

[BibT_eX]

[DOI]

IEEE Softw., 2022

Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization.

[BibT_eX]

[DOI]

Matthias Volk

Proceedings of the Computer Safety, Reliability, and Security, 2022

Learning to Learn HVAC Failures: Layering ML Experiments in the Absence of Ground Truth.

[BibT_eX]

[DOI]

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Formal Methods Meet Machine Learning (F3ML).

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

BFL: a Logic to Reason about Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

Sampling-Based Verification of CTMCs with Uncertain Rates.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Parametric Analyses of Attack-fault Trees.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2021

Model-based Safety and Security Co-analysis: a Survey.

[BibT_eX]

[DOI]

CoRR, 2021

Filter-Based Abstractions with Correctness Guarantees for Planning under Uncertainty.

[BibT_eX]

[DOI]

CoRR, 2021

The Marriage Between Safety and Cybersecurity: Still Practicing.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 27th International Symposium, 2021

Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies.

[BibT_eX]

[DOI]

Christina Kolb

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

Efficient Algorithms for Quantitative Attack Tree Analysis.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Rare Event Simulation for Non-Markovian Repairable Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

The Dynamic Fault Tree Rare Event Simulator.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets.

[BibT_eX]

[DOI]

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Rare event simulation for dynamic fault trees.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2019

Model-based testing of stochastically timed systems.

[BibT_eX]

[DOI]

Arnd Hartmanns

Innov. Syst. Softw. Eng., 2019

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm.

[BibT_eX]

[DOI]

Alexis Linard

Doina Bucur

Muhammad Chenariyan Nakhaee

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2019

The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey.

[BibT_eX]

[DOI]

Djoerd Hiemstra

Martijn van Noort

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

From Good Intentions to Behaviour Change - Probabilistic Feature Diagrams for Behaviour Support Agents.

[BibT_eX]

[DOI]

Malte S. Kließ

M. Birna van Riemsdijk

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

2018

Maintenance of Smart Buildings using Fault Trees.

[BibT_eX]

[DOI]

ACM Trans. Sens. Networks, 2018

Model-based testing of probabilistic systems.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2018

Tester versus Bug: A Generic Framework for Model-Based Testing via Games.

[BibT_eX]

[DOI]

Petra van den Bos

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

LOCKS: a property specification language for security goals.

[BibT_eX]

[DOI]

Arend Rensink

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

LIFT: Learning Fault Trees from Observational Data.

[BibT_eX]

[DOI]

Meike Nauta

Doina Bucur

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Model-Based Testing for General Stochastic Time.

[BibT_eX]

[DOI]

Arnd Hartmanns

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Risk management for high tech systems.

[BibT_eX]

[DOI]

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Effective Analysis of Attack Trees: A Model-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2018

Modelling Smart Buildings Using Fault Maintenance Trees.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Availability analysis of software architecture decomposition alternatives for local recovery.

[BibT_eX]

[DOI]

Softw. Qual. J., 2017

Fault trees on a diet: automated reduction by graph rewriting.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2017

Model-Based Testing of Probabilistic Systems with Stochastic Time.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 11th International Conference, 2017

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Efficient probabilistic model checking of smart building maintenance using fault maintenance trees.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, 2017

Quantitative Security and Safety Analysis with Attack-Fault Trees.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

Boosting Fault Tree Analysis by Formal Methods.

[BibT_eX]

[DOI]

Joost-Pieter Katoen

Proceedings of the ModelEd, TestEd, TrustEd, 2017

Testing Divergent Transition Systems.

[BibT_eX]

[DOI]

Ed Brinksma

Mariëlle I. A. Stoelinga

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Confluence reduction for Markov automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Special issue on Software Verification and Testing (SAC-SVT'15).

[BibT_eX]

[DOI]

Gwen Salaün

Sci. Comput. Program., 2016

Selected and extended papers from ACM SVT 2014.

[BibT_eX]

[DOI]

Jun Pang

Sci. Comput. Program., 2016

Model-based testing of stochastic systems with IOCO theory.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

The Value of Attack-Defence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

Better Railway Engineering Through Statistical Model Checking.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Rolando Trujillo-Rasua

Proceedings of the Practice of Enterprise Modeling, 2016

Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report.

[BibT_eX]

[DOI]

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

Uncovering Dynamic Fault Trees.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Comput. Sci. Rev., 2015

Time Dependent Analysis with Dynamic Counter Measure Trees.

[BibT_eX]

[DOI]

Dennis Guck

CoRR, 2015

Ioco Theory for Probabilistic Automata.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Tenth Workshop on Model Based Testing, 2015

Modeling and Verification of the Bitcoin Protocol.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015

A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Sequential and Parallel Attack Tree Modelling.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2015

DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper).

[BibT_eX]

[DOI]

Dennis Guck

Jip Spel

Proceedings of the Formal Methods and Software Engineering, 2015

Quantitative Attack Tree Analysis via Priced Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications.

[BibT_eX]

[DOI]

Waheed Ahmad

Philip K. F. Hölzenspies

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.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

Effective verification of confidentiality for multi-threaded programs.

[BibT_eX]

[DOI]

Tri Minh Ngo

Marieke Huisman

J. Comput. Secur., 2014

Time-Dependent Analysis of Attacks.

[BibT_eX]

[DOI]

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Modelling and Analysis of Markov Reward Automata.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2014

Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata.

[BibT_eX]

[DOI]

Waheed Ahmad

Robert de Groote

Philip K. F. Hölzenspies

Willem Gerrit Johan Stokkink

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2013

Divergent Quiescent Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 7th International Conference, 2013

DFTCalc: A Tool for Efficient Fault Tree Analysis.

[BibT_eX]

[DOI]

Florian Arnold

Axel Belinfante

Freark I. van der Berg

Dennis Guck

Proceedings of the Computer Safety, Reliability, and Security, 2013

Confluence Reduction for Markov Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

Confidentiality for Probabilistic Multi-threaded Programs and Its Verification.

[BibT_eX]

[DOI]

Tri Minh Ngo

Marieke Huisman

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

Quantitative penetration testing with item response theory.

[BibT_eX]

[DOI]

Florian Arnold

Wolter Pieters

Proceedings of the 9th International Conference on Information Assurance and Security, 2013

2012

A linear process-algebraic format with data for probabilistic automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

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

[BibT_eX]

[DOI]

Dagstuhl Reports, 2012

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation

[BibT_eX]

[DOI]

Gerjan Stokkink

Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 2012

Efficient Modelling and Generation of Markov Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Model-Based Testing.

[BibT_eX]

[DOI]

Ed Brinksma

Proceedings of the Software and Systems Safety - Specification and Verification, 2011

Confluence Reduction for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2010

A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2010

Confluence Reduction for Probabilistic Systems (extended version)

[BibT_eX]

[DOI]

CoRR, 2010

Evaluating repair strategies for a water-treatment facility using Arcade.

[BibT_eX]

[DOI]

Boudewijn R. Haverkort

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

A Linear Process-Algebraic Format for Probabilistic Systems with Data.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Linear and Branching System Metrics.

[BibT_eX]

[DOI]

Marco Faella

IEEE Trans. Software Eng., 2009

Interpreting a Successful Testing Process: Risk and Actual Coverage.

[BibT_eX]

[DOI]

Proceedings of the TASE 2009, 2009

Architectural Availability Analysis of Software Decomposition for Local Recovery.

[BibT_eX]

[DOI]

Hasan Sözer

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

DFTSim: a simulation tool for extended dynamic fault trees.

[BibT_eX]

[DOI]

A. P. Nijmeijer

Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, 2009

Compositional dependability modeling using arcade: abstract for the keynote talk.

[BibT_eX]

[DOI]

Proceedings of the SAVCBS'09, 2009

Delayed Nondeterminism in Continuous-Time Markov Decision Processes.

[BibT_eX]

[DOI]

Martin R. Neuhäußer

Joost-Pieter Katoen

Proceedings of the Foundations of Software Science and Computational Structures, 2009

2008

Game Refinement Relations and Metrics.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Model Checking Quantitative Linear Time Logic.

[BibT_eX]

[DOI]

Marco Faella

Axel Legay

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

Arcade - A Formal, Extensible, Model-Based Dependability Evaluation Framework.

[BibT_eX]

[DOI]

Boudewijn R. Haverkort

Matthias Kuntz

Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

Quantitative testing.

[BibT_eX]

[DOI]

Henrik C. Bohnenkamp

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

Architectural dependability evaluation with Arcade.

[BibT_eX]

[DOI]

Boudewijn R. Haverkort

Matthias Kuntz

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007

A testing scenario for probabilistic processes.

[BibT_eX]

[DOI]

Ling Cheung

Frits W. Vaandrager

J. ACM, 2007

Game Relations and Metrics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2007

Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Compositional Quantitative Reasoning.

[BibT_eX]

[DOI]

Krishnendu Chatterjee

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

A Semantic Framework for Test Coverage.

[BibT_eX]

[DOI]

Laura Brandán Briones

Ed Brinksma

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Model checking discounted temporal properties.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

2004

Linear and Branching Metrics for Quantitative Transition Systems.

[BibT_eX]

[DOI]

Marco Faella

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.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2003

Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of FOCLASA 2003, 2003

A Testing Scenario for Probabilistic Automata.

[BibT_eX]

[DOI]

Frits W. Vaandrager

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Resource Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, Third International Conference, 2003

The Element of Surprise in Timed Games.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2003, 2003

2002

Linear parametric model checking of timed automata.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2002

An Introduction to Probabilistic Automata.

[BibT_eX]

Bull. EATCS, 2002

Timed Interfaces.

[BibT_eX]

[DOI]

Thomas A. Henzinger

Proceedings of the Embedded Software, Second International Conference, 2002

2001

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

[BibT_eX]

[DOI]

David P. L. Simons

Int. J. Softw. Tools Technol. Transf., 2001

2000

Norm Functions for Probabilistic Bisimulations with Delays.

[BibT_eX]

[DOI]

Christel Baier

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999

Root Contention in IEEE 1394.

[BibT_eX]

[DOI]