Welcome...

dr. C.E. Budde (Carlos)

About Me

I am a theoretical computer scientist with background in formal methods and model verification. That means that I evaluate properties on mathematical models using (probabilistic) model checking, plus many statistical approaches based on Monte Carlo simulation.

I take good care to implement my ideas and test their performance in actual code, on case studies as diverse as possible: my current focus are high reliability systems described as Fault Trees, and security models described as Attack Trees.
My techniques have demonstrated good performance for general stochastic models—i.e. any standard distribution you like—taking the same input as probabilistic model checking.

         

Rare event simulation is a favourite topic. My goal there is to design a theory of automated algorithms for importance splitting: I intend to enable rare event analyses on hybrid systems in real-time without the need for expert knowledge.

You can check my PhD thesis on the subject here.
Download my full CV (PDF) from here.

.                                                                                                                    nope

Other than that, I live on a regular basis of swimming, (kick)boxing, and mate drinking.

Expertise

Mathematics
Fault Tree
Rare Event Simulation
Rare Events
Engineering & Materials Science
Fault Tree Analysis
Intelligent Buildings
Model Checking
Semantics
Statistical Models

Research

Publications

Recent
Budde, C. E. , Kolb, C. , & Stoelinga, M. (2021). Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies. In A. Abate, & A. Marin (Eds.), Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Proceedings (pp. 457-467). (Lecture Notes in Computer Science; Vol. 12846). Springer. https://doi.org/10.1007/978-3-030-85172-9_24
Stoelinga, M. I. A. , Kolb, C. , Nicoletti, S. M. , Budde, C. E. , & Hahn, E. M. (2021). The Marriage Between Safety and Cybersecurity: Still Practicing. In A. Laarman, & A. Sokolova (Eds.), Model Checking Software. SPIN 2021: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (pp. 3-21). (Lecture notes in computer science; Vol. 12864). Springer. https://doi.org/10.1007/978-3-030-84629-9_1
Budde, C. E. , Hartmanns, A., Klauck, M., Kretínský, J., Parker, D., Quatmann, T., Turrini, A., & Zhang, Z. (2021). On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings (pp. 216-241). (Lecture Notes in Computer Science; Vol. 12479). Springer. https://doi.org/10.1007/978-3-030-83723-5_15
Budde, C. E. , & Hartmanns, A. (2021). Replicating RESTART with Prolonged Retrials: An Experimental Report. In J. F. Groote, & K. Guldstrand Larsen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I (pp. 373-380). (Lecture Notes in Computer Science; Vol. LNCS 12652). Springer. https://doi.org/10.1007/978-3-030-72013-1_21
Arias, J. , Budde, C. E., Penczek, W. , Petrucci, L., Sidoruk, T. , & Stoelinga, M. (2020). Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. In S-W. Lin, Z. Hou, & B. Mahoney (Eds.), Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Proceedings (pp. 3-19). (Lecture Notes in Computer Science; Vol. 12531). Springer. https://doi.org/10.1007/978-3-030-63406-3_1
Budde, C. E. , & Stoelinga, M. (2020). Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets. In H. Hermanns (Ed.), Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Proceedings (pp. 259-277). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12040 LNCS). Springer. https://doi.org/10.1007/978-3-030-43024-5_16
Budde, C. E. , Biagi, M. , Monti, R. E., D’Argenio, P. R. , & Stoelinga, M. (2020). Rare Event Simulation for Non-Markovian Repairable Fault Trees. In A. Biere, & D. Parker (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings (Vol. I, pp. 463-482). (Lecture Notes in Computer Science; Vol. 12078). Springer. https://doi.org/10.1007/978-3-030-45190-5_26
Budde, C. E. (2020). FIG: The Finite Improbability Generator. In A. Biere, & D. Parker (Eds.), Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I (pp. 483-491). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12078 LNCS). Springer. https://doi.org/10.1007/978-3-030-45190-5_27

Google Scholar Link

Education

I'm usually involved in course programmes where fundamental CS concepts are taught, including complexity theory (BSc), automata theory (BSc), and high order logic (MSc)

Affiliated Study Programmes

Bachelor

Master

Courses Academic Year  2020/2021

Contact Details

Visiting Address

University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands

Social Media