Roberto Casaluce
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2024
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISoLA | White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining. | Roberto Casaluce, Max Tschaikowski, Andrea Vandin |
| 2022 | BPM | Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement. | Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Andrea Vandin |
| 2022 | ICPM | Process Mining meets Statistical Model Checking to Explain Threat Models: Novel Approach to Model Validation and Enhancement (Extended Abstract). | Roberto Casaluce |