BERSANI, MARCELLO MARIA
BERSANI, MARCELLO MARIA
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A Deployment Framework for Formally Verified Human-Robot Interactions
2021-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo Giovanni
A Logical Characterization of Timed (non-)Regular Languages
2014-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
A logical characterization of timed regular languages
2017-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 Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications
2017-01-01 Marconi, F; Bersani, Mm; Rossi, M
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 deciding the satisfiability of continuous-time metric temporal logic
2016-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
An LTL Semantics of BusinessWorkflows with Recovery
2014-01-01 Mazzara, Manuel; Bersani, MARCELLO MARIA; Ferrucci, Luca
An SMT-based approach to satisfiability checking of MITL
2015-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
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
Constraint LTL Satisfiability Checking without Automata
2014-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; 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
Edge-based Runtime Verification for the Internet of Things
2021-01-01 Tsigkanos, Christos; Bersani, Marcello M.; Frangoudis, Pantelis A.; Dustdar, Schahram
Efficient large-scale trace checking using mapreduce
2016-01-01 Bersani, Marcello M.; Bianculli, Domenico; Ghezzi, Carlo; Krstic, Srdan; Pietro, Pierluigi San