Marcello M. Bersani

69 papers A* 1B 6C 4Misc 1Journal 30Unranked 26
YearRankTypeTitle / Venue / Authors
2026 J jnl
Automated Detection and Mitigation of Dependability Failures in Healthcare Scenarios through Digital Twins.
CoRR
Bruno Guindani, Matteo Camilli, Livia Lestingi, Marcello M. Bersani
2026 J jnl
Proactive self-adaptation and assurance of explainable Human-Machine Teaming.
J. Syst. Softw.
Livia Lestingi, Marcello M. Bersani, Matteo Camilli, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2025 J jnl
Data-Driven Energy Modeling of Machining Centers Through Automata Learning.
IEEE Trans Autom. Sci. Eng.
Livia Lestingi, Nicla Frigerio, Marcello M. Bersani, Andrea Matta, Matteo G. Rossi
2025 J jnl
On Decidability Timed Automata with 2 Parametric Clocks.
CoRR
Marcello M. Bersani, Matteo G. Rossi, Pierluigi San Pietro
2025 J jnl
Reality Check on Formal Methods in Industry: A Study of Verum Dezyne.
J. Softw. Evol. Process.
Michele Chiari, Matteo Camilli, Marcello M. Bersani, Rutger van Beusekom, Damian A. Tamburri
2024 J jnl
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification.
Softw. Syst. Model.
Livia Lestingi, Andrea Manglaviti, Davide Marinaro, Luca Marinello, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2023 — conf
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems.
REW
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023 B conf
Architecting Explainable Service Robots.
ECSA
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023 — conf
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.
FormaliSE
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi
2023 J jnl
Specification, stochastic modeling and analysis of interactive service robotic applications.
Robotics Auton. Syst.
Livia Lestingi, Davide Zerla, Marcello M. Bersani, Matteo Rossi
2023 — conf
Towards Better Trust in Human-Machine Teaming through Explainable Dependability.
ICSA-C
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2022 J jnl
Edge-Based Runtime Verification for the Internet of Things.
IEEE Trans. Serv. Comput.
Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, Schahram Dustdar
2022 — conf
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device.
ECSA (Tracks and Workshops)
Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2022 J jnl
Event-sourced, observable software architectures: An experience report.
Softw. Pract. Exp.
Francesco Alongi, Marcello M. Bersani, Nicolò Ghielmetti, Raffaela Mirandola, Damian A. Tamburri
2022 — conf
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings.
FormaliSE@ICSE
Livia Lestingi, Cristian Sbrolli, Pasquale Scarmozzino, Giorgio Romeo, Marcello M. Bersani, Matteo Rossi
2022 J jnl
Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior.
IEEE Intell. Syst.
Livia Lestingi, Marcello M. Bersani, Matteo Rossi
2022 — conf
Towards Trust-preserving Continuous Co-evolution of Digital Twins.
ICSA Companion
Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra
2021 J jnl
A Deployment Framework for Formally Verified Human-Robot Interactions.
IEEE Access
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2021 B conf
Edge-Based Runtime Verification for the Internet of Things.
SERVICES
Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, Schahram Dustdar
2021 — conf
Improved Bounded Model Checking of Timed Automata.
FormaliSE@ICSE
Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2021 J jnl
Improved Bounded Model Checking of Timed Automata.
CoRR
Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2021 — conf
RoboMAX: Robotic Mission Adaptation eXemplars.
SEAMS@ICSE
Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio García, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues
2020 B conf
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios.
SMC
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2020 B conf
Formal Verification of Human-Robot Interaction in Healthcare Scenarios.
SEFM
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2020 — conf
Mind the gap: Robotic Mission Planning Meets Software Engineering.
FormaliSE@ICSE
Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani, Patrizio Pelliccione
2020 J jnl
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach.
ACM Trans. Comput. Log.
Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2020 J jnl
On the initialization of clocks in timed formalisms.
Theor. Comput. Sci.
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2020 J jnl
PuRSUE -from specification of robotic environments to synthesis of controllers.
Formal Aspects Comput.
Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi
2020 — conf
Statistical Model Checking of Human-Robot Interaction Scenarios.
AREA@ECAI
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2020 J jnl
Using formal verification to evaluate the execution time of Spark applications.
Formal Aspects Comput.
Luciano Baresi, Marcello M. Bersani, Francesco Marconi, Giovanni Quattrocchi, Matteo Rossi
2019 — conf
Teaching Formal Methods: An Experience Report.
FISEE
Mehrnoosh Askarpour, Marcello M. Bersani
2019 J jnl
Verifying big data topologies by-design : a semi-automated approach.
J. Big Data
Marcello M. Bersani, Francesco Marconi, Damian A. Tamburri, Andrea Nodari, Pooyan Jamshidi
2018 J jnl
A Flexible Approach for Checking Timed Automata on Continuous Time Semantics.
CoRR
Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2018 — conf
DevOps Service Observability By-Design: Experimenting with Model-View-Controller.
ESOCC
Damian A. Tamburri, Marcello M. Bersani, Raffaela Mirandola, Giorgio Pea
2018 — conf
On the Timed Analysis of Big-Data Applications.
NFM
Francesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani, Matteo Rossi
2018 J jnl
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs.
J. Softw. Evol. Process.
Marcello M. Bersani, Marisol García-Valls
2018 — conf
Trace Checking of Streaming Applications through DICE-TraCT.
ICPE Companion
Marcello M. Bersani, Francesco Marconi, Matteo Rossi
2017 J jnl
A logical characterization of timed regular languages.
Theor. Comput. Sci.
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2017 — conf
Formal verification of data-intensive applications through model checking modulo theories.
SPIN
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi
2017 Misc conf
Formal verification of storm topologies through D-VerT.
SAC
Francesco Marconi, Marcello M. Bersani, Matteo Rossi
2017 — conf
Towards DevOps for Privacy-by-Design in Data-Intensive Applications: A Research Roadmap.
ICPE Companion
Michele Guerriero, Damian A. Tamburri, Youssef Ridene, Francesco Marconi, Marcello M. Bersani, Matej Artac
2016 J jnl
A tool for deciding the satisfiability of continuous-time metric temporal logic.
Acta Informatica
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2016 — conf
A tool for verification of big-data applications.
QUDOS@ISSTA
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu
2016 — conf
Continuous Architecting of Stream-Based Systems.
WICSA
Marcello M. Bersani, Francesco Marconi, Damian A. Tamburri, Pooyan Jamshidi, Andrea Nodari
2016 A* conf
Efficient large-scale trace checking using mapreduce.
ICSE
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2016 — conf
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node.
HASE
Marcello M. Bersani, Marisol García-Valls
2016 C conf
Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic.
ICFEM
Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi
2015 J jnl
An SMT-based approach to satisfiability checking of MITL.
Inf. Comput.
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2015 J jnl
Efficient Large-scale Trace Checking Using MapReduce.
CoRR
Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro
2014 — conf
A Logical Characterization of Timed (non-)Regular Languages.
MFCS (1)
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2014 — conf
A Timed Semantics of Workflows.
ICSOFT (Selected Papers)
Marcello M. Bersani, Salvatore Distefano, Luca Ferrucci, Manuel Mazzara
2014 J jnl
An LTL Semantics of Business Workflows with Recovery.
CoRR
Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara
2014 — conf
An LTL Semantics of BusinessWorkflows with Recovery.
ICSOFT PT
Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara
2014 J jnl
Constraint LTL satisfiability checking without automata.
J. Appl. Log.
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2014 — conf
Towards the formalization of properties of cloud-based elastic systems.
PESOS
Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic
2013 C conf
A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic.
TIME
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2013 — conf
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities.
RP
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2013 J jnl
Expressiveness and complexity of regular pure two-dimensional context-free languages.
Int. J. Comput. Math.
Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini
2012 — —
Bounded approaches for verification of infinite-state systems.
Marcello M. Bersani
2012 J jnl
Constraint LTL Satisfiability Checking without Automata
CoRR
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2011 — conf
Completeness of the Bounded Satisfiability Problem for Constraint LTL.
RP
Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro
2011 C conf
On Some Classes of 2D Languages and Their Relations.
IWCIA
Marcello M. Bersani, Achille Frigeri, Alessandra Cherubini
2011 — conf
The Complexity of Reversal-Bounded Model-Checking.
FroCoS
Marcello M. Bersani, Stéphane Demri
2010 J jnl
Bounded Reachability for Temporal Logic over Constraint Systems
CoRR
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2010 C conf
Bounded Reachability for Temporal Logic over Constraint Systems.
TIME
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2010 B conf
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability.
SEFM
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi
2010 J jnl
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
CoRR
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi
2009 J jnl
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
CoRR
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi
2009 B conf
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms.
SEFM
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi