ROSSI, MATTEO GIOVANNI

ROSSI, MATTEO GIOVANNI  

DIPARTIMENTO DI MECCANICA  

Mostra records
Risultati 1 - 20 di 38 (tempo di esecuzione: 0.04 secondi).
Titolo Data di pubblicazione Autori File
3cixty: Building comprehensive knowledge bases for city exploration 1-gen-2017 Rossi, Matteo +
A Compositional Framework for Formally Verifying Modular Systems 1-gen-2005 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
A Deployment Framework for Formally Verified Human-Robot Interactions 1-gen-2021 Lestingi, LiviaAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo Giovanni
A Flexible Architecture for Managing Vehicle Sharing Systems 1-gen-2013 BIANCHESSI, ANDREA GIOVANNIONGINI, CARLOTANELLI, MARAROSSI, MATTEO GIOVANNICUGOLA, GIANPAOLOSAVARESI, SERGIO MATTEO +
A formal approach for designing CORBA-based applications 1-gen-2003 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO +
A logic-based approach for the verification of UML timed models 1-gen-2017 Baresi, LucianoMorzenti, AngeloMotta, AlfredoPourhashem, Mohammad MehdiRossi, Matteo
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 semantic-based access control approach for systems of systems 1-gen-2021 Sadeghi, MersedehSartor, LucaRossi, Matteo
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 1-gen-2016 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINOMORZENTI, ANGELO CARLOFERRUCCI, LUCA
A theory of sampling for continuous-time metric temporal logic 1-gen-2010 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
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
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 1-gen-2023 Lestingi, LiviaManglaviti, AndreaMarinaro, DavideAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo +
Automated Compositional Proofs for Real-Time Systems 1-gen-2007 FURIA, CARLO ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
Automated Creation of Mappings between Data Specifications through Linguistic and Structural Techniques 1-gen-2023 Kalwar, SafiaRossi, MatteoSadeghi, Mersedeh
Automated formal verification for flexible manufacturing systems 1-gen-2014 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI +
Comments on temporal logics for real-time system specification 1-gen-2009 FURIA, CARLO ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Comments on “An Interval Logic for Real-Time System Specification” 1-gen-2006 FURIA, CARLO ALBERTOMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Constraint LTL Satisfiability Checking without Automata 1-gen-2014 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI