Input/Output Stochastic Automata - Compositionality and Determinism. - Pedro R. D'Argenio; Matias David Lee; Raúl E. Monti (FORMATS, 2016)

Compositional Construction of Importance Functions in Fully Automated Importance Splitting. - Carlos E. Budde; Pedro R. D'Argenio; Raúl E. Monti (VALUETOOLS, 2016)

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 (ModelEd, TestEd, TrustEd, 2017)

Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism. - Pedro R. D'Argenio; Raúl E. Monti (ICTAC, 2018)

On the Industrial Application of Critical Software Verification with VerCors. - Marieke Huisman; Raúl E. Monti (ISoLA (3), 2020)

A compositional semantics for Repairable Fault Trees with general distributions. - Raúl E. Monti; Carlos E. Budde; Pedro R. D'Argenio (LPAR, 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 (TACAS (1), 2020)

The VerifyThis Collaborative Long Term Challenge. - Marieke Huisman; Raúl E. Monti; Mattias Ulbrich; Alexander Weigl (20 Years of KeY, 2020)

Teaching Design by Contract using Snap! - Marieke Huisman; Raúl E. Monti (SEENG@ICSE, 2021)

On Deductive Verification of an Industrial Concurrent Software Component with VerCors. - Raúl E. Monti; Robert Rubbens; Marieke Huisman (ISoLA (1), 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)

The VerifyThis Collaborative Long-Term Challenge Series. - Wolfgang Ahrendt; Gidon Ernst; Paula Herber; Marieke Huisman; Raúl E. Monti; Mattias Ulbrich; Alexander Weigl (TOOLympics@ETAPS, 2023)

Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. - Philip Tasche; Raúl E. Monti; Stefanie Eva Drerup; Pauline Blohm; Paula Herber; Marieke Huisman (VMCAI (2), 2024)