BERSANI, MARCELLO MARIA

BERSANI, MARCELLO MARIA  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Risultati 1 - 20 di 44 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) File
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 1-gen-2013 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
The Complexity of Reversal-Bounded Model-Checking. 1-gen-2011 BERSANI, MARCELLO MARIA +
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. +
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node 1-gen-2016 Bersani M. M. +
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
A Deployment Framework for Formally Verified Human-Robot Interactions 1-gen-2021 Lestingi, LiviaAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo Giovanni
DevOps Service Observability By-Design: Experimenting with Model-View-Controller 1-gen-2018 Tamburri, Damian A.Bersani, Marcello M.Mirandola, RaffaelaPea, Giorgio
Efficient large-scale trace checking using mapreduce 1-gen-2016 Bersani, Marcello M.Bianculli, DomenicoGhezzi, CarloKrstic, SrdanPietro, Pierluigi San
Expressiveness and complexity of regular pure two-dimensional context-free languages 1-gen-2013 BERSANI, MARCELLO MARIAFRIGERI, ACHILLECHERUBINI, ALESSANDRA
Formal verification of data-intensive applications through model checking modulo theories 1-gen-2017 Bersani, Marcello M.Marconi, FrancescoRossi, Matteo +
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 1-gen-2020 Lestingi, LiviaAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo
Formal verification of storm topologies through D-VerT 1-gen-2017 MARCONI, FRANCESCOBERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNI
Improved Bounded Model Checking of Timed Automata 1-gen-2021 Smith, Robert L.Bersani, Marcello M.Rossi, MatteoPietro, Pierluigi San
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms 1-gen-2009 BERSANI, MARCELLO MARIAFURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, 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