Raúl E. Monti

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 16

Top Topics

Noise Cancellation

State Transition

Compositional Semantics

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. VMCAI (2) (2024)
Marieke Huisman, Raúl E. Monti
Teaching Design by Contract Using Snap! The Logic of Software. A Tasting Menu of Formal Methods (2022)
Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti, Mariëlle Stoelinga
Analysis of non-Markovian repairable fault trees through rare event simulation. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Raúl E. Monti, Robert Rubbens, Marieke Huisman
On Deductive Verification of an Industrial Concurrent Software Component with VerCors. ISoLA (1) (2022)
Marieke Huisman, Raúl E. Monti
Teaching Design by Contract using Snap! CoRR (2021)
Marieke Huisman, Raúl E. Monti
Teaching Design by Contract using Snap! SEENG@ICSE (2021)
Raúl E. Monti, Carlos E. Budde, Pedro R. D'Argenio
A compositional semantics for Repairable Fault Trees with general distributions. LPAR (2020)
Marieke Huisman, Raúl E. Monti
On the Industrial Application of Critical Software Verification with VerCors. ISoLA (3) (2020)
Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga
Rare Event Simulation for Non-Markovian Repairable Fault Trees. TACAS (1) (2020)
Carlos E. Budde, Marco Biagi, Raúl E. Monti, Pedro R. D'Argenio, Mariëlle Stoelinga
Rare Event Simulation for non-Markovian repairable Fault Trees. CoRR (2019)
Raúl E. Monti, Pedro R. D'Argenio, Carlos E. Budde
A compositional semantics for Repairable Fault Trees with general distributions. CoRR (2019)
Pedro R. D'Argenio, Raúl E. Monti
Input/Output Stochastic Automata with Urgency: Confluence and weak determinism. CoRR (2018)
Pedro R. D'Argenio, Raúl E. Monti
Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism. ICTAC (2018)
Pedro R. D'Argenio, Carlos E. Budde, Matias David Lee, Raúl E. Monti, Leonardo Rodríguez, Nicolás Wolovick
The Road from Stochastic Automata to the Simulation of Rare Events. ModelEd, TestEd, TrustEd (2017)
Pedro R. D'Argenio, Matias David Lee, Raúl E. Monti
Input/Output Stochastic Automata - Compositionality and Determinism. FORMATS (2016)
Carlos E. Budde, Pedro R. D'Argenio, Raúl E. Monti
Compositional Construction of Importance Functions in Fully Automated Importance Splitting. VALUETOOLS (2016)