Carlos E. Budde
According to our database^{1},
Carlos E. Budde
authored at least 19 papers
between 2012 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2021
CoRR, 2021
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021
2020
Int. J. Softw. Tools Technol. Transf., 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the Quantitative Evaluation of Systems  17th International Conference, 2020
Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
Proceedings of the Formal Methods and Software Engineering, 2020
2019
Sci. Comput. Program., 2019
CoRR, 2019
2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the Computer Performance Engineering  15th European Workshop, 2018
2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017
Proceedings of the ModelEd, TestEd, TrustEd, 2017
2016
Compositional Construction of Importance Functions in Fully Automated Importance Splitting.
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016
2015
Proceedings of the Computer Performance Engineering  12th European Workshop, 2015
2012
A Theory for the Semantics of Stochastic and Nondeterministic Continuous Systems.
Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012