BERSANI, MARCELLO MARIA
BERSANI, MARCELLO MARIA
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia
A Logical Characterization of Timed (non-)Regular Languages
2014-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios
2020-01-01 Lestingi, L.; Askarpour, M.; Bersani, M. M.; Rossi, M. G.
A timed semantics of workflows
2015-01-01 Bersani, M. M.; Distefano, S.; Ferrucci, L.; Mazzara, M.
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
A tool for verification of big-data applications
2016-01-01 Bersani, MARCELLO MARIA; Marconi, Francesco; Rossi, MATTEO GIOVANNI; Erascu, Madalina
Architecting Explainable Service Robots
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia
Bounded Reachability for Temporal Logic over Constraint Systems
2010-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Completeness of the Bounded Satisfiability Problem for Constraint LTL.
2011-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Continuous architecting of stream-based systems
2016-01-01 Bersani, Marcello M.; Marconi, Francesco; Tamburri, Damian A.; Jamshidi, Pooyan; Nodari, Andrea
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Deciding the Satisfiability of MITL Specifications
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
DevOps Service Observability By-Design: Experimenting with Model-View-Controller
2018-01-01 Tamburri, Damian A.; Bersani, Marcello M.; Mirandola, Raffaela; Pea, Giorgio
Efficient large-scale trace checking using mapreduce
2016-01-01 Bersani, Marcello M.; Bianculli, Domenico; Ghezzi, Carlo; Krstic, Srdan; Pietro, Pierluigi San
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings
2022-01-01 Lestingi, Livia; Sbrolli, Cristian; Scarmozzino, Pasquale; Romeo, Giorgio; Bersani, Marcello M.; Rossi, MATTEO GIOVANNI
Formal verification of data-intensive applications through model checking modulo theories
2017-01-01 Bersani, Marcello M.; Marconi, Francesco; Rossi, Matteo; Erascu, Madalina; Ghilardi, Silvio
Formal Verification of Human-Robot Interaction in Healthcare Scenarios
2020-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
Formal verification of storm topologies through D-VerT
2017-01-01 Marconi, Francesco; Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI
Improved Bounded Model Checking of Timed Automata
2021-01-01 Smith, Robert L.; Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San