BERSANI, MARCELLO MARIA

BERSANI, MARCELLO MARIA  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 49 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autori File
A Deployment Framework for Formally Verified Human-Robot Interactions 1-gen-2021 Lestingi, LiviaAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo Giovanni
A Logical Characterization of Timed (non-)Regular Languages 1-gen-2014 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
A logical characterization of timed regular languages 1-gen-2017 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 1-gen-2020 L. LestingiM. AskarpourM. M. BersaniM. G. Rossi
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 1-gen-2017 Marconi, FBersani, MMRossi, M
A timed semantics of workflows 1-gen-2015 Bersani M. M.Distefano S.Ferrucci L.Mazzara M.
A tool for deciding the satisfiability of continuous-time metric temporal logic 1-gen-2016 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 1-gen-2013 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
A tool for verification of big-data applications 1-gen-2016 BERSANI, MARCELLO MARIAMARCONI, FRANCESCOROSSI, MATTEO GIOVANNI +
An LTL Semantics of BusinessWorkflows with Recovery 1-gen-2014 MAZZARA, MANUELBERSANI, MARCELLO MARIAFERRUCCI, LUCA
An SMT-based approach to satisfiability checking of MITL 1-gen-2015 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Bounded Reachability for Temporal Logic over Constraint Systems 1-gen-2010 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Completeness of the Bounded Satisfiability Problem for Constraint LTL. 1-gen-2011 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Constraint LTL Satisfiability Checking without Automata 1-gen-2014 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Continuous architecting of stream-based systems 1-gen-2016 Bersani, Marcello M.Marconi, FrancescoTamburri, Damian A. +
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities 1-gen-2013 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Deciding the Satisfiability of MITL Specifications 1-gen-2013 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
DevOps Service Observability By-Design: Experimenting with Model-View-Controller 1-gen-2018 Tamburri, Damian A.Bersani, Marcello M.Mirandola, RaffaelaPea, Giorgio
Edge-based Runtime Verification for the Internet of Things 1-gen-2021 Christos TsigkanosMarcello M. Bersani +
Efficient large-scale trace checking using mapreduce 1-gen-2016 Bersani, Marcello M.Bianculli, DomenicoGhezzi, CarloKrstic, SrdanPietro, Pierluigi San