Carlos E. Budde


PhD Student CONICET
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

    Publications:

    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)
    C. E. Budde, D'Argenio, P. R., Sánchez Terraf, P., and Wolovick, N., A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems, in Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, vol. 8453, A. Remke and Stoelinga, M. Springer Berlin Heidelberg, 2014, pp. 67-86.PDF icon paper-513.pdf (976.31 KB)

    Pages

    Powered by Drupal