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 Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System
2006-01-01 M., Rolando; Rossi, MATTEO GIOVANNI; N., Sanarico; 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 Logical Characterization of Timed (non-)Regular Languages
2014-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
A Metric Temporal Logic for Dealing with Zero-Time Transitions
2012-01-01 Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios
2020-01-01 Lestingi, L.; Askarpour, M.; Bersani, M. M.; Rossi, M. G.
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 semantic-based access control mechanism for distributed systems
2021-01-01 Sadeghi, M.; Sartor, L.; Rossi, M.
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 tool for verification of big-data applications
2016-01-01 Bersani, MARCELLO MARIA; Marconi, Francesco; Rossi, MATTEO GIOVANNI; Erascu, Madalina
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