1. Carlos E. Budde
Personal
& contact
Birth date: January 15th
, 1988.
PhD student in the Dependable Systems Group, FAMAF, UNC.
E-mail: cbudde @ famaf.unc.edu.ar Work: +54 351 4334051 (324)
Homepage: dsg.famaf.unc.edu.ar/budde/ Mobile: +549 351 3098206
Postal address: Office 324, FAMAF, Ciudad Universitaria (X5000HUA), Córdoba, Argentina.
Interests Rare event simulation, automation of simulation techniques, Monte Carlo simulation with
multilevel splitting, modelling of stochastic systems, process semantics, Stochastic Automata,
Non-deterministic Labelled Markov Processes, GPGPUs for scientific computations, HPC.
Publications Budde C. E., Dehnert C., Hahn E. M., Hartmanns A., Junges S., and Turrini A.; JANI: Quanti-
tative Model and Tool Interaction ; Tools and Algorithms for the Construction and Analysis
of Systems - 23rd
International Conference, TACAS 2017, Uppsala, Sweden ; to appear.
Budde C. E., D’Argenio P. R., and Monti R. E. ; Compositional Construction of Importance
Functions in Fully Automated Importance Splitting ; 10th
International Conference on Per-
formance Evaluation Methodologies and Tools, ValueTools 2016, Taormina, Italy ; to
appear.
Budde C. E., D’Argenio P. R., and Hermanns H. ; Rare event simulation with fully auto-
mated importance splitting ; Computer Performance Engineering, 9272 (pp. 275-290) ; 2015 ;
DOI: 10.1007/978-3-319-23267-6_18.
Budde C. E., D’Argenio P. R., Sánchez Terraf P., and Wolovick N. ; A theory for the semantics
of stochastic and non-deterministic continuous systems ; Stochastic Model Checking. Rigor-
ous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 8453
(pp. 67-86) ; 2014 ; DOI: 10.1007/978-3-662-45489-3_3.
Budde C. E. ; A theory for the semantics of continuous systems with stochastic and structural
non-determinism ; Young Researchers Workshop on Concurrency Theory (YR-CONCUR) ;
2013.
Rojo F., Budde C. E., Wio H. S., and Budde C. E. Sr. ; Enhanced transport through desorption-
mediated diffusion ; Phys. Rev. E, 87, 012115 (5 pp.) ; 2013 ;
DOI: 10.1103/PhysRevE.87.012115.
Software
tools
Finite Improbability Generator (FIG): software analysis tool developed during my PhD
studies, which uses importance splitting techniques to perform rare event simulation. The
importance function can be automatically and compositionally derived from the model and
properties analyzed, which can be specified either in Input/Output Stochastic Automata
syntax or in the JANI Specification format.
Bluemoon: prototype developed during my PhD studies which uses RESTART to efficiently
simulate rare events. The importance function can be automatically derived from the model
and properties analyzed, which must be a continuous or discrete time Markov chain described
in the syntax of PRISM.
1

2. Studies FAMAF, Universidad Nacional de Córdoba, Córdoba, Argentina.
Ph.D.
PhD in Computer Science. Apr 2012 – Present
Advisor: Pedro R. D’Argenio.
Area: Rare event simulation with multilevel splitting.
Post-graduate courses attended: 10.
M.Sc.
MSc in Computer Science. Mar 2007 – Mar 2012
Final project: Fully measurable non-determinism in continuous probabilistic processes.
Final project advisors: Pedro R. D’Argenio and Pedro Sánchez Terraf.
Area: Stochastic and concurrent processes semantics.
Grade point average: 9.74 / 10 .
B.Sc.
Computer Analyst. Mar 2007 – Dec 2009
Grade point average: 9.67 / 10 .
Dissertations
& seminars
• Talk during my visit to the Formal Methods and Tools research group (FMT) 2016
in the University of Twente.
Title: Compositional Construction of Importance Functions in Fully Automated
Importance Splitting.
University of Twente, Enschede, the Netherlands.
• Presentation of the work published in the 10th
International Conference on 2016
Performance Evaluation Methodologies and Tools (VALUETOOLS 2016)
Title: Compositional Construction of Importance Functions in Fully Automated
Importance Splitting.
Taormina, Italy.
• Seminar in internal meetings of the Dependable Systems Group. 2016
Title: Rare event simulation using importance splitting: now automatic!
FAMAF, Córdoba, Argentina.
• Presentation of the work published in the 12th
European Workshop on Performance 2015
Engineering (EPEW 2015)
Title: Rare event simulation with fully automated importance splitting.
Universidad Complutense de Madrid, Madrid, España.
• Dissertation in the PhD students’ day at FAMAF. 2014
Title: Simulación de eventos raros – Importance splitting.
FAMAF, Córdoba, Argentina.
• Dissertation in internal meetings of the Dependable Systems & Software group. 2014
Title: Once in a blue moon.
Computer Science Department, Saarbrücken, Germany.
• Dissertation in the PhD students’ day at FAMAF. 2013
Title: Simulación de eventos raros – Automatizando RESTART.
FAMAF, Córdoba, Argentina.
• Seminar in internal meetings of the Dependable Systems Group. 2013
Title: Estimating the probability of rare events using RESTART on BDDs.
FAMAF, Córdoba, Argentina.
• Presentation of my MSc final work in YR-CONCUR 2013 (satellite of CONCUR 2013) 2013
Title: A theory for the semantics of continuous systems with stochastic
2

3. and structural non-determinism.
Ciudad Autónoma de Buenos Aires, Argentina.
• Dissertation in the 0.5th
workshop of the project Mobility between Europe 2013
and Argentina applying Logics to Systems (MEALS).
Title: Non-deterministic Labelled Markov Processes: Bisimulations and Logic.
Ciudad Autónoma de Buenos Aires, Argentina.
• Dissertation in the PhD students’ day at FAMAF. 2012
Title: NLMPs y sus peripecias: una breve experiencia doctoral.
FAMAF, Córdoba, Argentina.
• Dissertation in internal meetings of the Dependable Systems Group. 2012
Title: NLMPs y robustez: tratando de eliminar las probabilidades.
FAMAF, Córdoba, Argentina.
Scientific
events
• 10th
International Conference on Performance Evaluation Methodologies 2016
and Tools (VALUETOOLS 2016).
Taormina, Italy.
• 4th
Argentinian Workshop on Foundations for the Automatic Analysis 2016
and Construction of Software (FACAS’16).
Alto delta del Paraná, Argentina.
• 26th
International Conference on Concurrency Theory (CONCUR 2015). 2015
Madrid, España.
• 12th
European Workshop on Performance Engineering (EPEW 2015). 2015
Madrid, España.
• 3rd
Argentinian Workshop on Foundations for the Automatic Analysis 2015
and Construction of Software (FACAS’15).
Alto delta del Paraná, Argentina.
• 11th
Summer School on Modelling and Verification of Parallel Processes 2014
(MOVEP’14). Nantes, Francia.
• 2nd
Argentinian Workshop on Foundations for the Automatic Analysis 2014
and Construction of Software (FACAS’14).
Alto delta del Paraná, Argentina.
• 24th
International Conference on Concurrency Theory (CONCUR 2013). 2013
Ciudad Autónoma de Buenos Aires, Argentina.
• 10th
International Conference on Quantitative Evaluation of SysTems 2013
(QEST 2013). Ciudad Autónoma de Buenos Aires, Argentina.
• 1st
Argentinian Workshop on Foundations for the Automatic Analysis 2013
and Construction of Software (FACAS’13).
Valle Hermoso, Argentina.
Working
abroad
Research visit to the Formal Methods and Tools research group Nov 2016
in the University of Twente.
Project: Fundamentos, algoritmos y herramientas para el desarrollo de sistemas
distribuidos confiables (PICT 2012-1823)
Research visit to José Villén-Altamirano from the Departamento de Matemática Nov 2016
Aplicada a las Tecnologías de la Información in the Universidad Politécnica de Madrid.
Project: Fundamentos, algoritmos y herramientas para el desarrollo de sistemas
distribuidos confiables (PICT 2012-1823)
3

4. Collaboration with the Dependable Systems & Software group Jun 2015 – Aug 2015
from the University of Saarland, led by Prof. Dr-Ing. H. Hermanns.
C. S. Department, Universität des Saarlandes, Saarbrücken, Germany.
Project: Mobility between Europe and Argentina applying Logics to Systems (MEALS)
Collaboration with the Dependable Systems & Software group Jun 2014 – Sep 2014
from the University of Saarland, led by Prof. Dr-Ing. H. Hermanns.
C. S. Department, Universität des Saarlandes, Saarbrücken, Germany.
Project: Mobility between Europe and Argentina applying Logics to Systems (MEALS)
Collaboration with the Dependable Systems & Software group Apr 2013 – Jul 2013
from the University of Saarland, led by Prof. Dr-Ing. H. Hermanns.
C. S. Department, Universität des Saarlandes, Saarbrücken, Germany.
Project: Mobility between Europe and Argentina applying Logics to Systems (MEALS)
Post-graduate
courses
Modelling and Analysis of Probabilistic Timed Systems. 2015
Lecturer: Joost-Pieter Katoen from the RWTH Aachen University, Germany.
22nd
Computer Science Summer School, Universidad Nacional de Río Cuarto.
Length: 12.5 h.
Introduction to Probabilistic Model Checking. 2015
Lecturer: Christel Baier from the Technische Universität Dresden, Germany.
22nd
Computer Science Summer School, Universidad Nacional de Río Cuarto.
Length: 12.5 h.
Aceleración con GPUs: arquitectura y programación CUDA. 2014
Lecturer: Manuel Ujaldón from the University of Málaga, España.
21st
Computer Science Summer School, Universidad Nacional de Río Cuarto.
Length: 12.5 h.
Artificial Intelligence 2013
Lecturer: Dr. J. Hoffmann from the Saarland University, Germany.
C. S. Dept., Saarland University.
Length: 64 h.
Optimization 2013
Lecturers: Dr. A. Karrenbauer and Dr. M. Mnich from the Max-Planck-Institut
für Informatik, Germany.
MPI-Inf, Saarland University.
Length: 68 h.
Introducción a la Computación Heterogénea. 2013
Lecturers: Dr. Nicolás Wolovick and Lic. Carlos Bederián from FAMAF, Argentina.
20th
Computer Science Summer School, Universidad Nacional de Río Cuarto.
Length: 12.5 h.
Quantitative Security Analysis. 2013
Lecturer: Dr. Boris Köpf from the IMDEA Software Institute, España.
20th
Computer Science Summer School, Universidad Nacional de Río Cuarto.
Length: 12.5 h.
Series de Tiempo 2012
Lecturer: Dr. O. H. Bustos from FAMAF, Argentina.
FAMAF, Universidad Nacional de Córdoba.
Length: 60 h.
4

5. Criptografía 2011
Lecturer: Dr. D. Penazzi from FAMAF, Argentina.
FAMAF, Universidad Nacional de Córdoba.
Length: 60 h.
Primera Escuela Argentina de GPGPU Computing para Aplicaciones Científicas. 2011
FAMAF, Universidad Nacional de Córdoba.
Length: 35 h.
Scholarships
& grants
Internal PhD scholarship Apr 2012 – Apr 2017
Consejo Nacional de Investigaciones Científicas y Ténicas (CONICET)
Intel Grant to Academic Excellency Jan 2010 – Dec 2011
Intel R
Argentina Software Development Center (ASDC)
Grant 500x500 Mar 2007 – Mar 2011
Córdoba Province Gov. – Ministerio de Industria, Comercio y Trabajo.
Honors
& awards
Universidad Nacional de Córdoba
Best grade point average of the UNC, year 2011. 2012
Universidad Nacional de Córdoba
First flagman escort substitute of the UNC. 2011
Universidad Nacional de Córdoba
Premio Universidad - Honorific Mention. 2011
FAMAF, Universidad Nacional de Córdoba
Flag bearer of FAMAF. 2011
FAMAF, Universidad Nacional de Córdoba
Second flagman escort of FAMAF. 2010
Teaching FAMAF, Universidad Nacional de Córdoba, Argentina.
Teaching Assistant in the subjects:
l Parallel computing Apr 2016 – Jul 2016
l Operating systems Aug 2011 – Dec 2011
l Networks and distributed systems Mar 2011 – Jul 2011
l Operating systems Aug 2010 – Dec 2010
l Introduction to algorithms Mar 2010 – Jul 2010
l Operating systems Aug 2009 – Dec 2009
l Algorithms and data structures II Mar 2009 – Jul 2009
Scientific
projects
• Fundamentos, algoritmos y herramientas para el desarrollo de sistemas 2013 – 2016
distribuidos confiables. Funded by FONCYT - ANPCyT (PICT 2012-1823).
Role: researcher.
• MEALS: Mobility between Europe and Argentina applying Logics 2011 – 2015
to Systems. Funded by 7FP, European Commission (295261).
Role: researcher.
• Fundamentos y Técnicas para el Análisis de Fiabilidad de Sistemas 2012 – 2013
Concurrentes y Estocásticos. Funded by SeCyT-UNC (05/B497).
Role: researcher.
• Fundamentos, Algoritmos y Herramientas para la Construcción 2012 – 2013
de Programas Confiables. Funded by SeCyT-UNC (05/BP02).
Role: researcher.
5

6. Other
activities
Refereed an article for the 34th IFIP International Conference on 2014
Formal Techniques for Distributed Objects, Components and Systems. (FORTE’14)
Language
skills
Language: English.
Level: Advanced.
Certification: Certificate of Proficiency in English (Cambridge English Language Assessment)
Institution: University of Cambridge.
Language: German.
Level: Intermediate.
Certification: B1 (CEFR)
Institution: Goethe-Institut Córdoba.
6