Raúl E. Monti

According to our database, Raúl E. Monti authored at least 12 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Deductive Verification of Parameterized Embedded Systems Modeled in SystemC.

Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2022

Analysis of non-Markovian repairable fault trees through rare event simulation.

Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti, Mariëlle Stoelinga

Int. J. Softw. Tools Technol. Transf., 2022

On Deductive Verification of an Industrial Concurrent Software Component with VerCors.

Raúl E. Monti, Robert Rubbens, Marieke Huisman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

2021

Teaching Design by Contract using Snap!

Marieke Huisman, Raúl E. Monti

Proceedings of the 3rd International Workshop on Software Engineering Education for the Next Generation, 2021

2020

The VerifyThis Collaborative Long Term Challenge.

Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Rare Event Simulation for Non-Markovian Repairable Fault Trees.

Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

A compositional semantics for Repairable Fault Trees with general distributions.

Raúl E. Monti, Carlos E. Budde, Pedro R. D'Argenio

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

On the Industrial Application of Critical Software Verification with VerCors.

Marieke Huisman, Raúl E. Monti

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2018

Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism.

Pedro R. D'Argenio, Raúl E. Monti

Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

2017

The Road from Stochastic Automata to the Simulation of Rare Events.

Pedro R. D'Argenio, Carlos E. Budde, Matias David Lee, Raúl E. Monti, Leonardo Rodríguez, Nicolás Wolovick

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

Compositional Construction of Importance Functions in Fully Automated Importance Splitting.

Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti

Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Input/Output Stochastic Automata - Compositionality and Determinism.

Pedro R. D'Argenio, Matias David Lee, Raúl E. Monti

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016