Carlos E. Budde

text hidden; JavaScript is required / home page

Carlos Esteban Budde finished his MSc in Computer Science ("Licenciatura en Ciencias de la Computación") in 2012 at FAMAF, Universidad Nacional de Córdoba, Argentina. He has recently finished his PhD studies at FAMAF in the area of rare events simulation via importance splitting, with the aid of a grant provided by CONICET. He is now employed as Researcher in the FMT group at the Faculty of Electrical Engineering, Mathematics and Computer Science, at the University of Twente in the Netehrlands.

Carlos' current research interests include rare events simulation, process semantics, labelled Markov processes and Markov chains, GPGPU for scientific calculations, high performance computing and a longing for quantum computing.

Internal seminars and talks

  • Automatizando la división por importancia para simular eventos raros
  • Rare event simulation using importance splitting: now automatic!
  • Rare event simulation with fully automated importance splitting
  • Simulación de eventos raros - Importance splitting
  • Once in a blue moon
  • Simulación de eventos raros - Automatizando RESTART
  • A theory for the semantics of continuous systems with stochastic and structural non-determinism
  • Non-deterministic Labelled Markov Processes: Bisimulations and Logic


    C. E. Budde, D'Argenio, P. R., Hartmanns, A., and Sedwards, S., A Statistical Model Checker for Nondeterminism and Rare Events, in Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, {TACAS} 2018, Held as Part of {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}, vol. 10806, D. Beyer and Huisman, M. Springer, 2018, pp. 340–358.PDF icon paper-784.pdf (795.55 KB)
    C. E. Budde, D'Argenio, P. R., and Hartmanns, A., Better Automated Importance Splitting for Transient Rare Events, in Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, {SETTA} 2017, Changsha, China, October 23-25, 2017, Proceedings, vol. 10606, K. G. Larsen, Sokolsky, O., and Wang, J. Springer, 2017, pp. 42–58.PDF icon paper-753.pdf (1.03 MB)
    P. R. D'Argenio, Budde, C. E., Lee, M. D., Monti, R. E., Rodríguez, L., and Wolovick, N., The Road from Stochastic Automata to the Simulation of Rare Events, in ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500, J. - P. Katoen, Langerak, R., and Rensink, A. Springer, 2017, pp. 276-294.PDF icon paper-752.pdf (1.51 MB)
    C. E. Budde, Dehnert, C., Hahn, E. Moritz, Hartmanns, A., Junges, S., and Turrini, A., JANI: Quantitative Model and Tool Interaction, in Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Berlin, Heidelberg: Springer Berlin Heidelberg, 2017, pp. 151–168.PDF icon paper-726.pdf (223.9 KB)
    C. E. Budde, D'Argenio, P. R., and Monti, R. E., Compositional Construction of Importance Functions in Fully Automated Importance Splitting, in 10th EAI International Conference on Performance Evaluation Methodologies and Tools {VALUETOOLS 2016}, A. Puliafito, Trivedi, K. S., Tuffin, B., Scarpa, M., Machida, F., and Alonso, J. ACM, 2017.PDF icon paper-716.pdf (227.67 KB)
    C. E. Budde, D'Argenio, P. R., and Hermanns, H., Rare Event Simulation with Fully Automated Importance Splitting, in Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, vol. 9272, M. Beltrán, Knottenbelt, W. J., and Bradley, J. T. Springer, 2015, pp. 275–290.PDF icon paper-552.pdf (309.05 KB)


    Powered by Drupal