ROSSI, MATTEO GIOVANNI
3cixty: Building comprehensive knowledge bases for city exploration
2017-01-01 Troncy, Raphaël; Rizzo, Giuseppe; Jameson, Anthony; Corcho, Oscar; Plu, Julien; Palumbo, Enrico; Ballesteros Hermida, Juan Carlos; Spirescu, Adrian; Kuhn, Kai-Dominik; Barbu, Catalin; Rossi, Matteo; Celino, Irene; Agarwal, Rachit; Scanu, Christian; Valla, Massimo; Haaker, Timber
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications
1999-01-01 Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; S., Russo; A., Sergio
A Compositional Framework for Formally Verifying Modular Systems
2005-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
A Flexible Architecture for Managing Vehicle Sharing Systems
2013-01-01 Bianchessi, ANDREA GIOVANNI; Ongini, Carlo; S., Rotondi; Tanelli, Mara; Rossi, MATTEO GIOVANNI; Cugola, Gianpaolo; Savaresi, SERGIO MATTEO
A Formal Approach for Designing CORBA based Applications
2000-01-01 COEN PORISINI, Alberto; Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A formal approach for designing CORBA-based applications
2003-01-01 A., Coen Porisini; Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A Formal Approach for Modeling and Verification of RTCORBA-based Applications
2004-01-01 Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A logic-based semantics for the verification of multi-diagram UML models
2012-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
A Metric Temporal Logic for Dealing with Zero-Time Transitions
2012-01-01 Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
A Multirate Predictive Approach to Orbit Control of Small Spacecraft
2002-01-01 Rossi, MATTEO GIOVANNI; Lovera, Marco
A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits
2002-01-01 Rossi, MATTEO GIOVANNI; Lovera, Marco
A theory of sampling for continuous-time metric temporal logic
2010-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
A UML 2-compatible language and tool for formal modeling real-time system architectures
2006-01-01 P., Colombo; Pradella, Matteo; Rossi, MATTEO GIOVANNI; G., Sassaroli
A UML-compatible formal language for system architecture description
2005-01-01 Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
An Evolutionary Approach to the Design of Supervision and Control Systems
1999-01-01 A., Coen Porisini; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Architecture of the Green Move System
2017-01-01 Bianchessi, Andrea G.; Cugola, Gianpaolo; Formentin, Simone; Morzenti, Angelo; Ongini, Carlo; Panigati, Emanuele; Rossi, Matteo; Schreiber, Fabio A.; Savaresi, Sergio Matteo; Tanca, Letizia; Vannutelli Depoli, Edoardo G.
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics
2006-01-01 Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
Automated Compositional Proofs for Real-Time Systems
2005-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI; Mandrioli, Dino; Morzenti, ANGELO CARLO
Automated Compositional Proofs for Real-Time Systems
2007-01-01 Furia, CARLO ALBERTO; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI