Matteo G. Rossi

According to our database, Matteo G. Rossi authored at least 96 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture.

Mersedeh Sadeghi, Alessio Carenini, Óscar Corcho, Matteo Rossi, Riccardo Santoro, Andreas Vogelsang

J. Supercomput., May, 2024

2023

Specification, stochastic modeling and analysis of interactive service robotic applications.

Livia Lestingi, Davide Zerla, Marcello M. Bersani, Matteo Rossi

Robotics Auton. Syst., May, 2023

Lecture Notes on Monadic First- and Second-Order Logic on Strings.

Dino Mandrioli, Davide Martinenghi, Angelo Morzenti, Matteo Pradella, Matteo Rossi

CoRR, 2023

Automated Creation of Mappings Between Data Specifications Through Linguistic and Structural Techniques.

Safia Kalwar, Matteo Rossi, Mersedeh Sadeghi

IEEE Access, 2023

Interoperability of Heterogeneous Systems of Systems: Review of Challenges, Emerging Requirements and Options.

Mersedeh Sadeghi, Alessio Carenini, Óscar Corcho, Matteo Rossi, Riccardo Santoro, Andreas Vogelsang

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

A Conceptual Framework for Explainability Requirements in Software-Intensive Systems.

Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids.

Ahmed Nagy Abdelkhalek Mansour, Samuele Grillo, Enrico Ragaini, Matteo Rossi

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.

Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Towards Better Trust in Human-Machine Teaming through Explainable Dependability.

Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra

Proceedings of the 20th International Conference on Software Architecture, 2023

Architecting Explainable Service Robots.

Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra

Proceedings of the Software Architecture - 17th European Conference, 2023

2022

On How Bit-Vector Logic Can Help Verify LTL-Based Specifications.

Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi, Luciano Baresi

IEEE Trans. Software Eng., 2022

Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior.

Livia Lestingi, Marcello M. Bersani, Matteo Rossi

IEEE Intell. Syst., 2022

SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport.

Mersedeh Sadeghi, Petr Buchnicek, Alessio Carenini, Óscar Corcho, Stefanos Gogos, Matteo Rossi, Riccardo Santoro

CoRR, 2022

THOR: A Hybrid Recommender System for the Personalized Travel Experience.

Alireza Javadian Sabet, Mahsa Shekari, Chaofeng Guan, Matteo Rossi, Fabio Alberto Schreiber, Letizia Tanca

Big Data Cogn. Comput., 2022

Personalized Context-Aware Recommender System for Travelers.

Mahsa Shekari, Alireza Javadian Sabet, Chaofeng Guan, Matteo Rossi, Fabio Alberto Schreiber, Letizia Tanca

Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

Delay Estimation for Shared Rides From GPS Data.

Sepehr Samavati, Alexander Nemirovskiy, Matteo Rossi

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings.

Livia Lestingi, Cristian Sbrolli, Pasquale Scarmozzino, Giorgio Romeo, Marcello M. Bersani, Matteo Rossi

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021

Formally-based Model-Driven Development of Collaborative Robotic Applications.

Mehrnoosh Askarpour, Livia Lestingi, Samuele Longoni, Niccolò Iannacci, Matteo Rossi, Federico Vicentini

J. Intell. Robotic Syst., 2021

A Deployment Framework for Formally Verified Human-Robot Interactions.

Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi

IEEE Access, 2021

SMART: Towards Automated Mapping between Data Specifications.

Safia Kalwar, Mersedeh Sadeghi, Alireza Javadian Sabet, Alexander Nemirovskiy, Matteo G. Rossi

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

RoboMAX: Robotic Mission Adaptation eXemplars.

Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio García, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

A semantic-based access control mechanism for distributed systems.

Mersedeh Sadeghi, Luca Sartor, Matteo G. Rossi

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Improved Bounded Model Checking of Timed Automata.

Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

On the Visualization of Semantic-based Mappings.

Nicolò Oreste Pinciroli Vago, Mario Sacaj, Mersedeh Sadeghi, Safia Kalwar, Andreas Vogelsang, Matteo G. Rossi

Proceedings of the 3rd International Workshop Semantics And The Web For Transport co-located with Semantics Conference (SEMANTiCS 2021), 2021

Temporal Pattern Recognition in Graph Data Structures.

Pietro Daverio, Hassan Nazeer Chaudhry, Alessandro Margara, Matteo Rossi

Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

2020

Safety Assessment of Collaborative Robotics Through Automated Formal Verification.

Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi, Dino Mandrioli

IEEE Trans. Robotics, 2020

Model Checking MITL Formulae on Timed Automata: A Logic-based Approach.

Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

ACM Trans. Comput. Log., 2020

On the initialization of clocks in timed formalisms.

Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

Theor. Comput. Sci., 2020

PuRSUE -from specification of robotic environments to synthesis of controllers.

Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi

Formal Aspects Comput., 2020

Using formal verification to evaluate the execution time of Spark applications.

Luciano Baresi, Marcello M. Bersani, Francesco Marconi, Giovanni Quattrocchi, Matteo Rossi

Formal Aspects Comput., 2020

Statistical Model Checking of Human-Robot Interaction Scenarios.

Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi

Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020

Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation.

Mehrnoosh Askarpour, Matteo Rossi, Omer Tiryakiler

Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020

A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios.

Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

Formal Verification of Human-Robot Interaction in Healthcare Scenarios.

Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Context Awareness in the Travel Companion of the Shift2Rail Initiative.

Alireza Javadian Sabet, Matteo Rossi, Fabio Alberto Schreiber, Letizia Tanca

Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020

Towards Learning Travelers' Preferences in a Context-Aware Fashion.

Alireza Javadian Sabet, Matteo Rossi, Fabio Alberto Schreiber, Letizia Tanca

Proceedings of the Ambient Intelligence - Software and Applications, 2020

Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications.

Mehrnoosh Askarpour, Livia Lestingi, Federico Buran, Matteo Rossi, Federico Vicentini

Proceedings of the IEEE International Conference on Human-Machine Systems, 2020

2019

Automated Mapping for Semantic-based Conversion of Transportation Data Formats.

Marjan Hosseini, Safia Kalwar, Matteo G. Rossi, Mersedeh Sadeghi

Proceedings of the Joint Proceedings of the 1st International Workshop On Semantics For Transport and the 1st International Workshop on Approaches for Making Data Interoperable co-located with 15th Semantics Conference (SEMANTiCS 2019), 2019

Temporal Pattern Recognition in Large Scale Graphs.

Hassan Nazeer Chaudhry, Alessandro Margara, Matteo Rossi

Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems, 2019

Formal Methods in Designing Critical Cyber-Physical Systems.

Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

A Flexible Approach for Checking Timed Automata on Continuous Time Semantics.

Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

CoRR, 2018

Trace Checking of Streaming Applications through DICE-TraCT.

Marcello M. Bersani, Francesco Marconi, Matteo Rossi

Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

On the Timed Analysis of Big-Data Applications.

Francesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani, Matteo Rossi

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

3cixty: Building comprehensive knowledge bases for city exploration.

Raphaël Troncy, Giuseppe Rizzo, Anthony Jameson, Óscar Corcho, Julien Plu, Enrico Palumbo, Juan Carlos Ballesteros Hermida, Adrian Spirescu, Kai-Dominik Kuhn, Catalin-Mihai Barbu, Matteo Rossi, Irene Celino, Rachit Agarwal, Christian Scanu, Massimo Valla, Timber Haaker

J. Web Semant., 2017

A Logic-Based Approach for the Verification of UML Timed Models.

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi

ACM Trans. Softw. Eng. Methodol., 2017

A logical characterization of timed regular languages.

Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

Theor. Comput. Sci., 2017

Formal verification of data-intensive applications through model checking modulo theories.

Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications.

Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini

Proceedings of the Computer Safety, Reliability, and Security, 2017

Formal verification of storm topologies through D-VerT.

Francesco Marconi, Marcello M. Bersani, Matteo Rossi

Proceedings of the Symposium on Applied Computing, 2017

A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications.

Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini

Proceedings of the Perspectives of System Informatics, 2017

2016

A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications.

Matteo Rossi, Dino Mandrioli, Angelo Morzenti, Luca Ferrucci

Theor. Comput. Sci., 2016

A tool for deciding the satisfiability of continuous-time metric temporal logic.

Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

Acta Informatica, 2016

Analysis of Energy-Efficient Buildings through Simulation and Formal Methods.

Maryam Ehsanpour, Luciano Baresi, Matteo Rossi, Ernesto Damiani

Proceedings of the 6th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2016), 2016

SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration.

Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini

Proceedings of the Computer Safety, Reliability, and Security, 2016

How bit-vector logic can help improve the verification of LTL specifications over infinite domains.

Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A tool for verification of big-data applications.

Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu

Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 2016

Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic.

Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi

Proceedings of the Formal Methods and Software Engineering, 2016

2015

Formal verification and validation of embedded systems: the UML-based MADES approach.

Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi

Softw. Syst. Model., 2015

An SMT-based approach to satisfiability checking of MITL.

Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

Inf. Comput., 2015

Efficient Scalable Verification of LTL Specifications.

Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Automated formal verification for flexible manufacturing systems.

Emanuele Carpanzano, Luca Ferrucci, Dino Mandrioli, Mauro Mazzolini, Angelo Morzenti, Matteo Rossi

J. Intell. Manuf., 2014

Constraint LTL satisfiability checking without automata.

Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro

J. Appl. Log., 2014

Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing.

Andrea G. Bianchessi, Gianpaolo Cugola, Simone Formentin, Angelo Morzenti, Carlo Ongini, Emanuele Panigati, Matteo Rossi, Sergio M. Savaresi, Fabio Alberto Schreiber, Letizia Tanca, Edoardo G. Vannutelli Depoli

IEEE Intell. Transp. Syst. Mag., 2014

A Logical Characterization of Timed (non-)Regular Languages.

Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Flexible modular formalization of UML sequence diagrams.

Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

2013

Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata.

Yu Zhou, Luciano Baresi, Matteo Rossi

J. Comput. Sci. Technol., 2013

On the Satisfiability of Metric Temporal Logics over the Reals.

Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Deciding the Satisfiability of MITL Specifications.

Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Deciding Continuous-Time Metric Temporal Logic with Counting Modalities.

Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro

Proceedings of the Reachability Problems - 7th International Workshop, 2013

2012

A logic-based semantics for the verification of multi-diagram UML models.

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi

ACM SIGSOFT Softw. Eng. Notes, 2012

Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

CoRR, 2012

A Metric Temporal Logic for Dealing with Zero-Time Transitions.

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

Flexible logic-based Co-simulation of Modelica models.

Luciano Baresi, Gianni Ferretti, Alberto Leva, Matteo Rossi

Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Green Move: Towards next generation sustainable smartphone-based vehicle sharing.

Giovanni Alli, Luciano Baresi, Andrea G. Bianchessi, Gianpaolo Cugola, Alessandro Margara, Angelo Morzenti, Carlo Ongini, Emanuele Panigati, Matteo Rossi, S. Rotondi, Sergio M. Savaresi, Fabio Alberto Schreiber, Alessandro Sivieri, Letizia Tanca, Edoardo G. Vannutelli Depoli

Proceedings of the Sustainable Internet and ICT for Sustainability, 2012

Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems.

Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Modeling Time in Computing.

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-32331-7, 2012

2011

Completeness of the Bounded Satisfiability Problem for Constraint LTL.

Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro

Proceedings of the Reachability Problems - 5th International Workshop, 2011

2010

SCORE: the first student contest on software engineering.

Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young

ACM SIGSOFT Softw. Eng. Notes, 2010

Modeling time in computing: A taxonomy and a comparative survey.

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

ACM Comput. Surv., 2010

SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability

Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi

CoRR, 2010

Bounded Reachability for Temporal Logic over Constraint Systems.

Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro

Proceedings of the TIME 2010, 2010

SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability.

Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

From Interaction Overview Diagrams to Temporal Logic.

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi

Proceedings of the Models in Software Engineering, 2010

Towards the UML-Based Formal Verification of Timed Systems.

Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009

Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms.

Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2007

Automated compositional proofs for real-time systems.

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti

Theor. Comput. Sci., 2007

FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.

Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio

Proceedings of the Theoretical Aspects of Computing, 2007

Modeling the Environment in Software-Intensive Systems.

Carlo A. Furia, Matteo Rossi, Dino Mandrioli

Proceedings of the International Workshop on Modeling in Software Engineering, 2007

2006

Comments on "An Interval Logic for Real-Time System Specification'.

Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi

IEEE Trans. Software Eng., 2006

A formal approach to sensor placement and configuration in a network intrusion detection system.

Marco Rolando, Matteo Rossi, Niccolò Sanarico, Dino Mandrioli

Proceedings of the 2006 international workshop on Software engineering for secure systems, 2006

2005

A UML-Compatible Formal Language for System Architecture Description.

Matteo Pradella, Matteo Rossi, Dino Mandrioli

Proceedings of the SDL 2005: Model Driven, 2005

ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.

Matteo Pradella, Matteo Rossi, Dino Mandrioli

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

A formal approach for modeling and verification of RTCORBA-based applications.

Matteo Rossi, Dino Mandrioli

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

A formal approach for designing CORBA-based applications.

Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli

ACM Trans. Softw. Eng. Methodol., 2003

1999

A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications.

Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999