| 2025 | SLE | Boosting Parallel Parsing through Cyclic Operator Precedence Grammars. | Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella |
| 2024 | DLT | Cyclic Operator Precedence Grammars for Improved Parallel Parsing. | Michele Chiari, Dino Mandrioli, Matteo Pradella |
| 2021 | CAV | Model-Checking Structured Context-Free Languages. | Michele Chiari, Dino Mandrioli, Matteo Pradella |
| 2020 | ICTAC | Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages. | Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi |
| 2017 | MFCS | Weighted Operator Precedence Languages. | Manfred Droste, Stefan Dck, Dino Mandrioli, Matteo Pradella |
| 2017 | SAFECOMP | Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. | Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini |
| 2016 | SAFECOMP | SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. | Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini |
| 2015 | CSR | First-Order Logic Definability of Free Languages. | Violetta Lonati, Dino Mandrioli, Federica Panella, Matteo Pradella |
| 2015 | ICSE | Syntax-Driven Program Verification of Matching Logic Properties. | Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi |
| 2015 | ICSE | On the Heroism of Really Pursuing Formal Methods. | Dino Mandrioli |
| 2015 | MFCS | Locally Chain-Parsable Languages. | Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella |
| 2014 | CC | The PAPAGENO Parallel-Parser Generator. | Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella |
| 2014 | ISoLA | Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. | Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli |
| 2013 | DLT | Operator Precedence ω-Languages. | Federica Panella, Matteo Pradella, Violetta Lonati, Dino Mandrioli |
| 2013 | SOFSEM | Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages. | Violetta Lonati, Dino Mandrioli, Matteo Pradella |
| 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 | SLE | PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars. | Alessandro Barenghi, Ermes Viviani, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella |
| 2012 | TIME | A Metric Temporal Logic for Dealing with Zero-Time Transitions. | Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi |
| 2011 | CSR | Precedence Automata and Languages. | Violetta Lonati, Dino Mandrioli, Matteo Pradella |
| 2010 | CSEDU | Computers Foster Education and Education Fosters Computer Science - The Politecnico's Approach. | Dino Mandrioli, Aldo Torrebruno, Luisa Marini |
| 2010 | LATA | Operator Precedence and the Visibly Pushdown Property. | Stefano Crespi-Reghizzi, Dino Mandrioli |
| 2009 | ICSE | SCORE: The first student Contest in Software Engineering. | Mehdi Jazayeri, Dino Mandrioli |
| 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 |
| 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 |
| 2005 | ICSE | The challenges of software engineering education. | Carlo Ghezzi, Dino Mandrioli |
| 2005 | ICSE | The Challenges of Software Engineering Education. | Carlo Ghezzi, Dino Mandrioli |
| 2004 | ISSTA | A formal approach for modeling and verification of RTCORBA-based applications. | Matteo Rossi, Dino Mandrioli |
| 2001 | ICDCS | Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. | Fernando Marotta, Angelo Morzenti, Dino Mandrioli |
| 2000 | FASE | Parallel Refinement Mechanisms for Real-Time Systems. | Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli |
| 2000 | ICSE | A formal approach for designing CORBA based applications. | Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini |