| 2025 | PPoPP | Minimizing speculation overhead in a parallel recognizer for regular texts. | Angelo Borsotti, Luca Breveglieri, Angelo Morzenti, Stefano Crespi-Reghizzi |
| 2014 | LATA | Shift-Reduce Parsers for Transition Networks. | Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti |
| 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 | TIME | A Metric Temporal Logic for Dealing with Zero-Time Transitions. | Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi |
| 2010 | MODELS | From Interaction Overview Diagrams to Temporal Logic. | Luciano Baresi, Angelo Morzenti, Alfredo Motta, 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 | FM | A Metric Encoding for Bounded Model Checking. | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
| 2008 | ICTAC | Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
| 2007 | ICSE | Trio2Promela: A Model Checker for Temporal Metric Specifications. | Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini |
| 2006 | TIME | Automated Verification of Continuous Time Systems by Discrete Temporal Induction. | Angelo Gargantini, Angelo Morzenti |
| 2005 | FASE | Automated Compositional Proofs for Real-Time Systems. | Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti |
| 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 |
| 2001 | ICDCS | Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. | Fernando Marotta, Angelo Morzenti, Dino Mandrioli |
| 1996 | ISSTA | Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications. | Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro |
| 1995 | LATIN | On the Approximability of some Maximum Spanning Tree Problems. | Giulia Galbiati, Angelo Morzenti, Francesco Maffioli |
| 1994 | ECRTS | Relating specified time tolerances to implementation performances. | Lorenzo Mezzalira, Angelo Morzenti |
| 1992 | ICSE | Validating Real-Time Systems by History-Checking TRIO Specifications. | Miguel Felder, Angelo Morzenti |
| 1992 | SEKE | Software Processes Representation Languages: Survey and Assessment. | Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti |
| 1991 | ECOOP | An Object-Oriented Logic Language for Modular System Specification. | Angelo Morzenti, Pierluigi San Pietro |
| 1991 | ECRTS | Real-time system validation by model checking in TRIO. | Miguel Felder, Angelo Morzenti |
| 1991 | ECRTS | Embedding time granularity in logical specifications of real-time systems. | Angelo Montanari, Elena Ratto, Edoardo Corsetti, Angelo Morzenti |