Carlos E. Budde
Carlos E. Budde
Postdoc @ FMT group in the University of Twente, the Netherlands
Verified email at utwente.nl - Homepage
Title
Cited by
Cited by
Year
JANI: quantitative model and tool interaction
CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini
International Conference on Tools and Algorithms for the Construction and …, 2017
492017
A statistical model checker for nondeterminism and rare events
CE Budde, PR D’Argenio, A Hartmanns, S Sedwards
International Conference on Tools and Algorithms for the Construction and …, 2018
202018
Compositional Construction of Importance Functions in Fully Automated Importance Splitting
CE Budde, PR D’Argenio, RE Monti
VALUETOOLS 2016, 30-37, 2017
18*2017
Better automated importance splitting for transient rare events
CE Budde, PR D’Argenio, A Hartmanns
International Symposium on Dependable Software Engineering: Theories, Tools …, 2017
152017
Enhanced transport through desorption-mediated diffusion
F Rojo, CE Budde Jr, HS Wio, CE Budde
Physical Review E 87 (1), 012115, 2013
142013
Automation of Importance Splitting Techniques for Rare Event Simulation
CE Budde
Facultad de Matemática, Astronomía, Física y Computación - Universidad …, 2017
132017
Rare event simulation with fully automated importance splitting
CE Budde, PR D’Argenio, H Hermanns
European Workshop on Performance Engineering, 275-290, 2015
112015
No determinismo completamente medible en procesos probabilísticos continuos
CE Budde
Facultad de Matemática, Astronomía, Física y Computación - Universidad …, 2012
42012
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees
A Abate, CE Budde, N Cauchi, KA Hoque, M Stoelinga
PHM Society European Conference 4 (1), 2018
32018
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems
CE Budde, PR D’Argenio, PS Terraf, N Wolovick
Stochastic Model Checking. Rigorous Dependability Analysis Using Model …, 2014
32014
Automated compositional importance splitting
CE Budde, PR D'Argenio, A Hartmanns
Science of computer programming 174, 90-108, 2019
22019
FFORT: A benchmark suite for fault tree analysis
E Ruijters, CE Budde, MC Nakhaee, M Stoelinga, D Bucur, D Hiemstra, ...
ESREL 2019: 29th European Safety and Reliability Conference, 22–26, 2019
22019
Modelling Smart Buildings Using Fault Maintenance Trees
A Abate, CE Budde, N Cauchi, A van Harmelen, KA Hoque, M Stoelinga
European Workshop on Performance Engineering, 110-125, 2018
12018
Automatización de técnicas de división por importancia para la simulación de eventos raros
CE Budde
Facultad de Matemática, Astronomía, Física y Computación - Universidad …, 2017
2017
The Road from Stochastic Automata to the Simulation of Rare Events
PR D’Argenio, CE Budde, MD Lee, RE Monti, L Rodríguez, N Wolovick
ModelEd, TestEd, TrustEd, 276-294, 2017
2017
A theory for the semantics of continuous systems with stochastic and structural non-determinism
CE Budde
YR-CONCUR, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–16