by Budde, Carlos E., Karinsalo, Anni, Vidor, Silvia, Salonen, Jarno, Massacci, Fabio
Published in Data in brief (01.06.2023)

by Lopuhaa-Zwakenberg, Milan, Budde, Carlos E., Stoelinga, Marielle
Published in IEEE transactions on dependable and secure computing (01.09.2023)

by Budde, Carlos E., D’Argenio, Pedro R., Hartmanns, Arnd, Sedwards, Sean
Published in International journal on software tools for technology transfer (01.12.2020)

by Budde, Carlos E., Bucur, Doina, Verkuil, Bart
Published in International journal of prognostics and health management (31.07.2022)

by Budde, Carlos E., D’Argenio, Pedro R., Monti, Raúl E., Stoelinga, Mariëlle
Published in International journal on software tools for technology transfer (01.10.2022)

by Abate, Alessandro, Budde, Carlos E., Cauchi, Nathalie, van Harmelen, Arnaud, Hoque, Khaza Anuarul, Stoelinga, Mariëlle
Published in Computer Performance Engineering (01.01.2018)

by Rojo, Félix, Budde, Jr, Carlos E, Wio, Horacio S, Budde, Carlos E
Published in Physical review. E, Statistical, nonlinear, and soft matter physics (01.01.2013)

by Revelli, Jorge A, Budde, Carlos E, Wio, Horacio S
Published in Journal of physics. Condensed matter (14.02.2007)

by Rojo, Félix, Budde, Carlos E
Published in Physical review. E, Statistical, nonlinear, and soft matter physics (01.08.2011)

by Rojo, Félix, Wio, Horacio S, Budde, Carlos E
Published in Physical review. E, Statistical, nonlinear, and soft matter physics (01.09.2012)

by Cáceres, MO, Budde, CE
Published in Physical review letters (16.09.1996)

by Revelli, Jorge A, Budde, Carlos E, Wio, Horacio S
Published in Journal of physics. Condensed matter (14.12.2005)

by Budde, Carlos E., Karinsalo, Anni, Vidor, Silvia, Salonen, Jarno, Massacci, Fabio
Published in Computers & security (01.04.2023)

by Budde, Carlos E., D'Argenio, Pedro R., Hartmanns, Arnd
Published in Science of computer programming (01.04.2019)

by Rojo, Félix, Pury, Pedro A, Budde, Carlos E
Published in Physical review. E, Statistical, nonlinear, and soft matter physics (01.01.2011)

by Budde, Carlos E., Stoelinga, Marielle
Published in 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (01.06.2021)

by Budde, Carlos E., Stoelinga, Mariëlle
Published in Measurement, Modelling and Evaluation of Computing Systems (2020)

by Budde, Carlos E., Dehnert, Christian, Hahn, Ernst Moritz, Hartmanns, Arnd, Junges, Sebastian, Turrini, Andrea
Published in Tools and Algorithms for the Construction and Analysis of Systems

by Budde, Carlos E., Kolb, Christina, Stoelinga, Mariëlle
Published in Quantitative Evaluation of Systems

by Budde, Carlos E., Hartmanns, Arnd, Klauck, Michaela, Křetínský, Jan, Parker, David, Quatmann, Tim, Turrini, Andrea, Zhang, Zhen
Published in Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends