| 2023 | ICCSA | (Pseudo-)3D Inversion of Geophysical Electromagnetic Induction Data by Using an Arbitrary Prior and Constrained to Ancillary Information. | Nicola Zaru, Matteo Rossi, Giuseppina Vacca, Giulio Vignoli |
| 2023 | SAC | 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 |
| 2022 | INDOCRYPT | Monte Carlo Tree Search for Automatic Differential Characteristics Search: Application to SPECK. | Emanuele Bellini, David Grault, Matteo Protopapa, Matteo Rossi |
| 2021 | ICSE | Improved Bounded Model Checking of Timed Automata. | Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro |
| 2021 | SEAMS | RoboMAX: Robotic Mission Adaptation eXemplars. | Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio Garca, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues |
| 2020 | SMC | A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. | Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi |
| 2020 | SEFM | Formal Verification of Human-Robot Interaction in Healthcare Scenarios. | Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi |
| 2017 | SAC | Formal verification of storm topologies through D-VerT. | Francesco Marconi, Marcello M. Bersani, Matteo Rossi |
| 2017 | SAFECOMP | Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. | Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini |
| 2016 | ICFEM | Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. | Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi |
| 2016 | ICRA | Reflex control of the Pisa/IIT SoftHand during object slippage. | Arash Ajoudani, Elif Hocaoglu, Alessandro Altobelli, Matteo Rossi, Edoardo Battaglia, Nikos G. Tsagarakis, Antonio Bicchi |
| 2016 | ISSTA | A tool for verification of big-data applications. | Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu |
| 2016 | SAC | How bit-vector logic can help improve the verification of LTL specifications over infinite domains. | Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi |
| 2016 | SAFECOMP | SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. | Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini |
| 2015 | ICSE | Efficient Scalable Verification of LTL Specifications. | Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi |
| 2015 | ICSE | DICE: Quality-Driven Development of Data-Intensive Cloud Applications. | Giuliano Casale, Danilo Ardagna, Matej Artac, Franck Barbier, Elisabetta Di Nitto, Alexis Henry, Gabriel Iuhasz, Christophe Joubert, Jos Merseguer, Victor Ion Munteanu, Juan Fernando Prez, Dana Petcu, Matteo Rossi, Craig Sheridan, Ilias Spais, Daniel Vladuic |
| 2014 | ICSE | Flexible modular formalization of UML sequence diagrams. | Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi |
| 2014 | MFCS | A Logical Characterization of Timed (non-)Regular Languages. | Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro |
| 2013 | TIME | A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic. | Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro |
| 2012 | FMICS | Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. | Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi |
| 2012 | INDIN | Flexible logic-based Co-simulation of Modelica models. | Luciano Baresi, Gianni Ferretti, Alberto Leva, Matteo Rossi |
| 2012 | TIME | A Metric Temporal Logic for Dealing with Zero-Time Transitions. | Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi |
| 2011 | ICSE | SCORE 2011: the second student contest on software engineering. | Matteo Rossi, Michal Young |
| 2010 | ICECCS | Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. | Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi |
| 2010 | MODELS | From Interaction Overview Diagrams to Temporal Logic. | Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi |
| 2010 | SEFM | 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 |
| 2010 | TIME | Bounded Reachability for Temporal Logic over Constraint Systems. | Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro |
| 2009 | ICSE | Towards a formal model of autonomic services based on SelfLets. | Stefania Pacifici, Matteo Rossi |
| 2009 | SEFM | Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. | Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi |
| 2008 | FM | Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. | Carlo A. Furia, Matteo Pradella, Matteo Rossi |
| 2008 | ICFEM | Practical Automated Partial Verification of Multi-paradigm Real-Time Models. | Carlo A. Furia, Matteo Pradella, Matteo Rossi |
| 2007 | ICSE | Modeling the Environment in Software-Intensive Systems. | Carlo A. Furia, Matteo Rossi, Dino Mandrioli |
| 2007 | ICTAC | 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 |
| 2006 | ICSE | A formal approach to sensor placement and configuration in a network intrusion detection system. | Marco Rolando, Matteo Rossi, Niccol Sanarico, Dino Mandrioli |
| 2006 | SAC | A UML 2-compatible language and tool for formal modeling real-time system architectures. | Pietro Colombo, Matteo Pradella, Matteo Rossi |
| 2005 | FASE | Automated Compositional Proofs for Real-Time Systems. | Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti |
| 2005 | FORTE | ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. | Matteo Pradella, Matteo Rossi, Dino Mandrioli |
| 2004 | ISSTA | A formal approach for modeling and verification of RTCORBA-based applications. | Matteo Rossi, Dino Mandrioli |
| 2000 | ICSE | A formal approach for designing CORBA based applications. | Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini |