ROSSI, MATTEO GIOVANNI

ROSSI, MATTEO GIOVANNI  

DIPARTIMENTO DI MECCANICA  

Risultati 1 - 20 di 115 (tempo di esecuzione: 0.033 secondi).
Titolo Data di pubblicazione Autore(i) 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 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 logic-based semantics for the verification of multi-diagram UML models 1-gen-2012 BARESI, LUCIANOMORZENTI, ANGELO CARLOMOTTA, ALFREDOROSSI, MATTEO GIOVANNI
A Metric Temporal Logic for Dealing with Zero-Time Transitions 1-gen-2012 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
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
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-2013 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
A UML 2-compatible language and tool for formal modeling real-time system architectures 1-gen-2006 PRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
A UML-compatible formal language for system architecture description 1-gen-2005 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
An Evolutionary Approach to the Design of Supervision and Control Systems 1-gen-1999 PRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
Architecture of the Green Move System 1-gen-2017 Bianchessi, Andrea G.Cugola, GianpaoloFormentin, SimoneMorzenti, AngeloOngini, CarloPanigati, EmanueleRossi, MatteoSchreiber, Fabio A.Savaresi, Sergio MatteoTanca, LetiziaVannutelli Depoli, Edoardo G.
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 1-gen-2006 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
Automated Compositional Proofs for Real-Time Systems 1-gen-2005 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNIMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Automated Compositional Proofs for Real-Time Systems 1-gen-2007 FURIA, CARLO ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI