ROSSI, MATTEO GIOVANNI

ROSSI, MATTEO GIOVANNI  

DIPARTIMENTO DI MECCANICA  

Mostra records
Risultati 1 - 20 di 33 (tempo di esecuzione: 0.036 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 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 theory of sampling for continuous-time metric temporal logic 1-gen-2010 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
Automated Compositional Proofs for Real-Time Systems 1-gen-2007 FURIA, CARLO ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
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
A Deployment Framework for Formally Verified Human-Robot Interactions 1-gen-2021 Lestingi, LiviaAskarpour, MehrnooshBersani, Marcello M.Rossi, Matteo Giovanni
Formal model of human erroneous behavior for safety analysis in collaborative robotics 1-gen-2019 Askarpour M.Mandrioli D.Rossi M.Vicentini F.
Formal verification and validation of embedded systems: the UML-based MADES approach 1-gen-2015 BARESI, LUCIANOMOTTA, ALFREDOROSSI, MATTEO GIOVANNI +
Formally-based Model-Driven Development of Collaborative Robotic Applications 1-gen-2021 Askarpour, MehrnooshLestingi, LiviaIannacci, NiccolòRossi, MatteoVicentini, Federico +
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing 1-gen-2014 BIANCHESSI, ANDREA GIOVANNICUGOLA, GIANPAOLOFORMENTIN, SIMONEMORZENTI, ANGELO CARLOONGINI, CARLOPANIGATI, EMANUELEROSSI, MATTEO GIOVANNISAVARESI, SERGIO MATTEOSCHREIBER, FABIO ALBERTOTANCA, LETIZIA +
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
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 1-gen-2020 Menghi C.Bersani M. M.Rossi M.San Pietro P.
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 1-gen-2017 Marconi, FBersani, MMRossi, M
Modeling Time in Computing: a taxonomy and a comparative survey 1-gen-2010 FURIA, CARLO ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI