| 2025 | SLE | Boosting Parallel Parsing through Cyclic Operator Precedence Grammars. | Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella |
| 2024 | CAV | SMT-Based Symbolic Model-Checking for Operator Precedence Languages. | Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella |
| 2024 | DLT | Cyclic Operator Precedence Grammars for Improved Parallel Parsing. | Michele Chiari, Dino Mandrioli, Matteo Pradella |
| 2022 | ICSA | Static Analysis of Infrastructure as Code: a Survey. | Michele Chiari, Michele De Pascalis, Matteo Pradella |
| 2021 | CAV | Model-Checking Structured Context-Free Languages. | Michele Chiari, Dino Mandrioli, Matteo Pradella |
| 2021 | SEFM | Verification of Programs with Exceptions Through Operator Precedence Automata. | Francesco Pontiggia, Michele Chiari, 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 |
| 2015 | CSR | First-Order Logic Definability of Free Languages. | Violetta Lonati, Dino Mandrioli, Federica Panella, Matteo Pradella |
| 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 |
| 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 | SLE | PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars. | Alessandro Barenghi, Ermes Viviani, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella |
| 2011 | CSR | Precedence Automata and Languages. | Violetta Lonati, Dino Mandrioli, Matteo Pradella |
| 2011 | ECOOP | JavaCtx: seamless toolchain integration for context-oriented programming. | Guido Salvaneschi, Carlo Ghezzi, Matteo Pradella |
| 2011 | ICSE | An evaluation of the adaptation capabilities in programming languages. | Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi |
| 2010 | ECOOP | Context oriented programming in highly concurrent systems. | Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi |
| 2010 | ICECCS | A Tile-Based Approach for Self-Assembling Service Compositions. | Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella |
| 2010 | ICSE | Synthesizing adapters for conversational web-services from their WSDL interface. | Luca Cavallaro, Elisabetta Di Nitto, Patrizio Pelliccione, Matteo Pradella, Massimo Tivoli |
| 2010 | ICSE | Programming language support to context-aware adaptation: a case-study with Erlang. | Carlo Ghezzi, Matteo Pradella, Guido Salvaneschi |
| 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 | SOFSEM | Picture Recognizability with Automata Based on Wang Tiles. | Violetta Lonati, Matteo Pradella |
| 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 | FM | A Metric Encoding for Bounded Model Checking. | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
| 2009 | ICSOC | An Automatic Approach to Enable Replacement of Conversational Services. | Luca Cavallaro, Elisabetta Di Nitto, Matteo Pradella |
| 2009 | MFCS | Snake-Deterministic Tiling Systems. | Violetta Lonati, Matteo Pradella |
| 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 |
| 2008 | ICTAC | Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
| 2008 | MFCS | Regional Languages and Tiling: A Unifying Approach to Picture Grammars. | Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella |
| 2007 | ICSE | Trio2Promela: A Model Checker for Temporal Metric Specifications. | Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini |
| 2006 | SAC | A UML 2-compatible language and tool for formal modeling real-time system architectures. | Pietro Colombo, Matteo Pradella, Matteo Rossi |
| 2005 | FORTE | ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. | Matteo Pradella, Matteo Rossi, Dino Mandrioli |
| 2003 | DLT | Tile Rewriting Grammars. | Stefano Crespi-Reghizzi, Matteo Pradella |
| 2003 | FM | Model-Checking TRIO Specifications in SPIN. | Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini |
| 2002 | SMC | Software procurement and methods for specification and validation in the railway transportation industry. | Umberto Foschi, Mauro Giuliani, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro |
| 2000 | ICSE | A formal approach for designing CORBA based applications. | Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini |