ROSSI, MATTEO GIOVANNI

ROSSI, MATTEO GIOVANNI  

DIPARTIMENTO DI MECCANICA  

Mostra records
Risultati 1 - 20 di 135 (tempo di esecuzione: 0.002 secondi).
Titolo Data di pubblicazione Autori File
3cixty: Building comprehensive knowledge bases for city exploration 1-gen-2017 Rossi, Matteo +
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 1-gen-1999 MORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
A Compositional Framework for Formally Verifying Modular Systems 1-gen-2005 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo +
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-2000 COEN PORISINI, ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A formal approach for designing CORBA-based applications 1-gen-2003 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO +
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 1-gen-2004 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 1-gen-2006 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINO +
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids 1-gen-2023 Mansour, Ahmed Nagy AbdelkhalekGrillo, SamueleRagaini, EnricoRossi, Matteo
A logic-based approach for the verification of UML timed models 1-gen-2017 Baresi, LucianoMorzenti, AngeloMotta, AlfredoPourhashem, Mohammad MehdiRossi, Matteo
A logic-based semantics for the verification of multi-diagram UML models 1-gen-2012 BARESI, LUCIANOMORZENTI, ANGELO CARLOMOTTA, ALFREDOROSSI, 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 Metric Temporal Logic for Dealing with Zero-Time Transitions 1-gen-2012 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
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 Multirate Predictive Approach to Orbit Control of Small Spacecraft 1-gen-2002 ROSSI, MATTEO GIOVANNILOVERA, MARCO
A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits 1-gen-2002 ROSSI, MATTEO GIOVANNILOVERA, MARCO