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 Compositional Framework for Formally Verifying Modular Systems
2005-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
A Deployment Framework for Formally Verified Human-Robot Interactions
2021-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; 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
2003-01-01 A., Coen Porisini; Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A logic-based approach for the verification of UML timed models
2017-01-01 Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; Pourhashem, Mohammad Mehdi; Rossi, Matteo
A logical characterization of timed regular languages
2017-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications
2017-01-01 Marconi, F; Bersani, Mm; Rossi, M
A semantic-based access control approach for systems of systems
2021-01-01 Sadeghi, Mersedeh; Sartor, Luca; Rossi, Matteo
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications
2016-01-01 Rossi, MATTEO GIOVANNI; Mandrioli, Dino; Morzenti, ANGELO CARLO; Ferrucci, Luca
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
2016-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
An SMT-based approach to satisfiability checking of MITL
2015-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Automated Compositional Proofs for Real-Time Systems
2007-01-01 Furia, CARLO ALBERTO; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Automated Creation of Mappings between Data Specifications through Linguistic and Structural Techniques
2023-01-01 Kalwar, Safia; Rossi, Matteo; Sadeghi, Mersedeh
Automated formal verification for flexible manufacturing systems
2014-01-01 E., Carpanzano; Ferrucci, Luca; Mandrioli, Dino; Mazzolini, •. M.; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Comments on temporal logics for real-time system specification
2009-01-01 Furia, CARLO ALBERTO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Comments on “An Interval Logic for Real-Time System Specification”
2006-01-01 Furia, CARLO ALBERTO; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Constraint LTL Satisfiability Checking without Automata
2014-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Formal model of human erroneous behavior for safety analysis in collaborative robotics
2019-01-01 Askarpour, M.; Mandrioli, D.; Rossi, M.; Vicentini, F.