Welkom...

dr. C.E. Budde (Carlos)

Expertises

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

Publicaties

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

Verbonden aan Opleidingen

Bachelor

Master

Vakken Collegejaar  2020/2021

Contactgegevens

Bezoekadres

Universiteit Twente
Drienerlolaan 5
7522 NB Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Postbus 217
7500 AE Enschede

Social Media