Raúl E. Monti

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