Carlos E. Budde

According to our database1, Carlos E. Budde authored at least 19 papers between 2012 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Efficient Algorithms for Quantitative Attack Tree Analysis.
CoRR, 2021

Replicating sc Restart with Prolonged Retrials: An Experimental Report.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020
An efficient statistical model checker for nondeterminism and rare events.
Int. J. Softw. Tools Technol. Transf., 2020

Rare Event Simulation for Non-Markovian Repairable Fault Trees.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

FIG: The Finite Improbability Generator.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

The Dynamic Fault Tree Rare Event Simulator.
Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets.
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020

A compositional semantics for Repairable Fault Trees with general distributions.
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems.
Proceedings of the Formal Methods and Software Engineering, 2020

2019
Automated compositional importance splitting.
Sci. Comput. Program., 2019

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

2018
A Statistical Model Checker for Nondeterminism and Rare Events.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

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

2017
JANI: Quantitative Model and Tool Interaction.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Better Automated Importance Splitting for Transient Rare Events.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

The Road from Stochastic Automata to the Simulation of Rare Events.
Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016
Compositional Construction of Importance Functions in Fully Automated Importance Splitting.
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

2015
Rare Event Simulation with Fully Automated Importance Splitting.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2012
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems.
Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012


  Loading...