Marcello M. Bersani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
15
Active years
2009–2023
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ECSA | Architecting Explainable Service Robots. | Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra |
| 2023 | ICSA | Towards Better Trust in Human-Machine Teaming through Explainable Dependability. | Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra |
| 2023 | RE | A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. | Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra |
| 2022 | ECSA | Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. | Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra |
| 2022 | ICSA | Towards Trust-preserving Continuous Co-evolution of Digital Twins. | Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra |
| 2021 | ICSE | Improved Bounded Model Checking of Timed Automata. | Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro |
| 2021 | SEAMS | RoboMAX: Robotic Mission Adaptation eXemplars. | Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio Garca, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues |
| 2021 | SERVICES | Edge-Based Runtime Verification for the Internet of Things. | Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, Schahram Dustdar |
| 2020 | ICSE | Mind the gap: Robotic Mission Planning Meets Software Engineering. | Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani, Patrizio Pelliccione |
| 2020 | SMC | A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. | Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi |
| 2020 | SEFM | Formal Verification of Human-Robot Interaction in Healthcare Scenarios. | Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi |
| 2017 | SAC | Formal verification of storm topologies through D-VerT. | Francesco Marconi, Marcello M. Bersani, Matteo Rossi |
| 2016 | ICFEM | Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. | Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi |
| 2016 | ICSE | Efficient large-scale trace checking using mapreduce. | Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro |
| 2016 | ISSTA | A tool for verification of big-data applications. | Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu |
| 2014 | ICSE | Towards the formalization of properties of cloud-based elastic systems. | Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic |
| 2014 | ICSoft | A Timed Semantics of Workflows. | Marcello M. Bersani, Salvatore Distefano, Luca Ferrucci, Manuel Mazzara |
| 2014 | ICSoft | An LTL Semantics of BusinessWorkflows with Recovery. | Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara |
| 2014 | MFCS | A Logical Characterization of Timed (non-)Regular Languages. | Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro |
| 2013 | TIME | A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic. | Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro |
| 2011 | IWCIA | On Some Classes of 2D Languages and Their Relations. | Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini |
| 2010 | SEFM | SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability. | Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi |
| 2010 | TIME | Bounded Reachability for Temporal Logic over Constraint Systems. | Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro |
| 2009 | SEFM | Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. | Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi |