ROSSI, MATTEO GIOVANNI
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 Formal Approach for Designing CORBA based Applications
2000-01-01 COEN PORISINI, Alberto; 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 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
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 Formal Verification for Flexible Manufacturing Systems
2012-01-01 Emanuele, Carpanzano; Ferrucci, Luca; Mandrioli, Dino; Mauro, Mazzolini; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Automated Mapping for Semantic-based Conversion of Transportation Data Formats
2019-01-01 Hosseini, Marjan; Kalwar, Safia; Rossi, MATTEO GIOVANNI; Sadeghi, Mersedeh
Automated Verification of Dense-Time MTL Specifications via Discrete-Time Approximation
2008-01-01 Furia, CARLO ALBERTO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Bounded Reachability for Temporal Logic over Constraint Systems
2010-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Co-simulation of human-robot collaboration: From temporal logic to 3d simulation
2020-01-01 Askarpour, M.; Rossi, M.; Tiryakiler, O.
Completeness of the Bounded Satisfiability Problem for Constraint LTL.
2011-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Context Awareness in the Travel Companion of the Shift2Rail Initiative
2020-01-01 Javadian Sabet, A.; Rossi, M.; Schreiber, F. A.; Tanca, L.