BERSANI, MARCELLO MARIA

BERSANI, MARCELLO MARIA  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.017 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 regular languages 1-gen-2017 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 1-gen-2017 Marconi, FBersani, MMRossi, M
A tool for deciding the satisfiability of continuous-time metric temporal logic 1-gen-2016 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
An SMT-based approach to satisfiability checking of MITL 1-gen-2015 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Constraint LTL Satisfiability Checking without Automata 1-gen-2014 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Edge-based Runtime Verification for the Internet of Things 1-gen-2021 Christos TsigkanosMarcello M. Bersani +
Event-sourced, observable software architectures: An experience report 1-gen-2022 Alongi F.Bersani M. M.Mirandola R.Tamburri D. A. +
Expressiveness and complexity of regular pure two-dimensional context-free languages 1-gen-2013 BERSANI, MARCELLO MARIAFRIGERI, ACHILLECHERUBINI, ALESSANDRA
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 1-gen-2020 Menghi C.Bersani M. M.Rossi M.San Pietro P.
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 1-gen-2022 Lestingi L.Bersani M. M.Rossi M.
On the Initialization of Clocks in Timed Formalisms 1-gen-2019 Bersani, Marcello M.Rossi, MatteoPietro, Pierluigi San
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs. 1-gen-2018 Marcello M. Bersani +
PuRSUE -from specification of robotic environments to synthesis of controllers 1-gen-2020 Bersani, Marcello M.Menghi, ClaudioRossi, Matteo +
Using formal verification to evaluate the execution time of Spark applications 1-gen-2020 Baresi L.Bersani M. M.Marconi F.Quattrocchi G.Rossi M.
Verifying big data topologies by-design: a semi-automated approach 1-gen-2019 Bersani M. M.Marconi F.Nodari A. +