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 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 theory of sampling for continuous-time metric temporal logic
2010-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
Automated Compositional Proofs for Real-Time Systems
2007-01-01 Furia, CARLO ALBERTO; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
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
A Deployment Framework for Formally Verified Human-Robot Interactions
2021-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo Giovanni
Formal model of human erroneous behavior for safety analysis in collaborative robotics
2019-01-01 Askarpour, M.; Mandrioli, D.; Rossi, M.; Vicentini, F.
Formal verification and validation of embedded systems: the UML-based MADES approach
2015-01-01 Baresi, Luciano; Gundula, Blohm; Dimitrios S., Kolovos; Nicholas, Matragkas; Motta, Alfredo; Richard F., Paige; Alek, Radjenovic; Rossi, MATTEO GIOVANNI
Formally-based Model-Driven Development of Collaborative Robotic Applications
2021-01-01 Askarpour, Mehrnoosh; Lestingi, Livia; Longoni, Samuele; Iannacci, Niccolò; Rossi, Matteo; Vicentini, Federico
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing
2014-01-01 Bianchessi, ANDREA GIOVANNI; Cugola, Gianpaolo; Formentin, Simone; Morzenti, ANGELO CARLO; Ongini, Carlo; Panigati, Emanuele; Rossi, MATTEO GIOVANNI; Savaresi, SERGIO MATTEO; Schreiber, FABIO ALBERTO; Tanca, Letizia; Edoardo G., Vannutelli Depoli
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
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach
2020-01-01 Menghi, C.; Bersani, M. M.; Rossi, M.; San Pietro, P.
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications
2017-01-01 Marconi, F; Bersani, Mm; Rossi, M
Modeling Time in Computing: a taxonomy and a comparative survey
2010-01-01 Furia, CARLO ALBERTO; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI