Ral E. Monti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2018–2024
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | VMCAI | Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. | Philip Tasche, Ral E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman |
| 2022 | ISoLA | On Deductive Verification of an Industrial Concurrent Software Component with VerCors. | Ral E. Monti, Robert Rubbens, Marieke Huisman |
| 2020 | ISoLA | On the Industrial Application of Critical Software Verification with VerCors. | Marieke Huisman, Ral E. Monti |
| 2020 | LPAR | A compositional semantics for Repairable Fault Trees with general distributions. | Ral E. Monti, Carlos E. Budde, Pedro R. D'Argenio |
| 2020 | TACAS | Rare Event Simulation for Non-Markovian Repairable Fault Trees. | Carlos E. Budde, Marco Biagi, Ral E. Monti, Pedro R. D'Argenio, Marille Stoelinga |
| 2018 | ICTAC | Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism. | Pedro R. D'Argenio, Ral E. Monti |