On the Role of Software Reliability in Software Engineering. - Carlo Ghezzi; Angelo Morzenti; Mauro Pezzè (Software Reliability Modelling and Identification, 1987)

On the Specification of Real-Time Systems Using Logic Programming. - Franca Garzotto; Carlo Ghezzi; Dino Mandrioli; Angelo Morzenti (ESEC, 1987)

TRIO: A logic language for executable specifications of real-time systems. - Carlo Ghezzi; Dino Mandrioli; Angelo Morzenti (J. Syst. Softw., 1990)

An Object-Oriented Logic Language for Modular System Specification. - Angelo Morzenti; Pierluigi San Pietro (ECOOP, 1991)

Real-time system validation by model checking in TRIO. - Miguel Felder; Angelo Morzenti (RTS, 1991)

Embedding time granularity in logical specifications of real-time systems. - Angelo Montanari; Elena Ratto; Edoardo Corsetti; Angelo Morzenti (RTS, 1991)

A multi-paradigm Petri net based approach to process description. - Sergio Bandinelli; Alfonso Fuggetta; Carlo Ghezzi; Angelo Morzenti (ISPW, 1991)

Dealing with different time scales in formal specifications. - Edoardo Corsetti; Ernani Crivelli; Dino Mandrioli; Angelo Montanari; Angelo Morzenti; Pierluigi San Pietro; Elena Ratto (IWSSD, 1991)

Validating Real-Time Systems by Executing Logic Specifications. - Angelo Morzenti (REX Workshop, 1991)

Software Processes Representation Languages: Survey and Assessment. - Pasquale Armenise; Sergio Bandinelli; Carlo Ghezzi; Angelo Morzenti (SEKE, 1992)

A Model Parametric Real-Time Logic. - Angelo Morzenti; Dino Mandrioli; Carlo Ghezzi (ACM Trans. Program. Lang. Syst., 1992)

A Survey and Assessment of Software Process Representation Formalisms. - Pasquale Armenise; Sergio Bandinelli; Carlo Ghezzi; Angelo Morzenti (Int. J. Softw. Eng. Knowl. Eng., 1993)

Executable Specifications with Data-flow Diagrams. - Alfonso Fuggetta; Carlo Ghezzi; Dino Mandrioli; Angelo Morzenti (Softw. Pract. Exp., 1993)

Relating specified time tolerances to implementation performances. - Lorenzo Mezzalira; Angelo Morzenti (RTS, 1994)

A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets. - Miguel Felder; Angelo Morzenti (ICTL, 1994)

A Short Note on the Approximability of the Maximum Leaves Spanning Tree Problem. - Giulia Galbiati; Francesco Maffioli; Angelo Morzenti (Inf. Process. Lett., 1994)

Validating Real-Time Systems by History-Checking TRIO Specifications. - Miguel Felder; Angelo Morzenti (ACM Trans. Softw. Eng. Methodol., 1994)

Object-Oriented Logical Specification of Time-Critical Systems. - Angelo Morzenti; Pierluigi San Pietro (ACM Trans. Softw. Eng. Methodol., 1994)

Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. - Miguel Felder; Dino Mandrioli; Angelo Morzenti (IEEE Trans. Software Eng., 1994)

TRIO Specification of a Steam Boiler Controller. - Angelo Gargantini; Angelo Morzenti (Formal Methods for Industrial Applications, 1995)

Generating Test Cases for Real-Time Systems from Logic Specifications. - Dino Mandrioli; Sandro Morasca; Angelo Morzenti (ACM Trans. Comput. Syst., 1995)

On the Logical Definability of Some Maximum Leaves Problems. - Giulia Galbiati; Angelo Morzenti; Francesco Maffioli (DMTCS, 1996)

Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications. - Sandro Morasca; Angelo Morzenti; Pierluigi San Pietro (ISSTA, 1996)

Providing Automated Support to Deductive Analysis of Time Critical Systems. - Andrea Alborghetti; Angelo Gargantini; Angelo Morzenti (ESEC / SIGSOFT FSE, 1997)

Analysis of techniques in the assessment of ultra-reliable computerized systems. - Angelo Morzenti; Fabio Alberto Schreiber (ACM SIGSOFT Softw. Eng. Notes, 1997)

On the Approximability of Some Maximum Spanning Tree Problems. - Giulia Galbiati; Angelo Morzenti; Francesco Maffioli (Theor. Comput. Sci., 1997)

A Tool for Automated System Analysis based on Modular Specifications. - Angelo Morzenti; Pierluigi San Pietro; Sandro Morasca (ASE, 1998)

A Theory of Implementation and Refinement in Timed Petri Nets. - Miguel Felder; Angelo Gargantini; Angelo Morzenti (Theor. Comput. Sci., 1998)

A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. - Angelo Morzenti; Matteo Pradella; Matteo Rossi 001; Stefano Russo 001; Antonio Sergio (PDSE, 1999)

Dealing with Zero-Time Transitions in Axiom Systems. - Angelo Gargantini; Dino Mandrioli; Angelo Morzenti (Inf. Comput., 1999)

From Formal Models to Formally Based Methods: An Industrial Experience. - Emanuele Ciapessoni; Piergiorgio Mirandola; Alberto Coen-Porisini; Dino Mandrioli; Angelo Morzenti (ACM Trans. Softw. Eng. Methodol., 1999)

A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO. - Sandro Morasca; Angelo Morzenti; Pierluigi San Pietro (Autom. Softw. Eng., 2000)

A framework architecture for supervision and control systems. - Riccardo Capobianchi; Alberto Coen-Porisini; Dino Mandrioli; Angelo Morzenti (ACM Comput. Surv., 2000)

Generation of Execution Sequences for Modular Time Critical Systems. - Pierluigi San Pietro; Angelo Morzenti; Sandro Morasca (IEEE Trans. Software Eng., 2000)

Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. - Fernando Marotta; Angelo Morzenti; Dino Mandrioli (ICDCS, 2001)

Automated deductive requirements analysis of critical systems. - Angelo Gargantini; Angelo Morzenti (ACM Trans. Softw. Eng. Methodol., 2001)

Software procurement and methods for specification and validation in the railway transportation industry. - Umberto Foschi; Mauro Giuliani; Angelo Morzenti; Matteo Pradella; Pierluigi San Pietro (SMC, 2002)

Model-Checking TRIO Specifications in SPIN. - Angelo Morzenti; Matteo Pradella; Pierluigi San Pietro; Paola Spoletini (FME, 2003)

A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems. - Luigi Lavazza; Sandro Morasca; Angelo Morzenti (TACoS, 2003)

A Dual Language Approach to the Development of Time-Critical Systems. - Luigi Lavazza; Sandro Morasca; Angelo Morzenti (TACoS, 2004)

Automated Verification of Continuous Time Systems by Discrete Temporal Induction. - Angelo Gargantini; Angelo Morzenti (TIME, 2006)

Comments on "An Interval Logic for Real-Time System Specification'. - Carlo A. Furia; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001 (IEEE Trans. Software Eng., 2006)

Model Checking Temporal Metric Specifications with Trio2Promela. - Domenico Bianculli; Paola Spoletini; Angelo Morzenti; Matteo Pradella; Pierluigi San Pietro (FSEN, 2007)

Trio2Promela: A Model Checker for Temporal Metric Specifications. - Domenico Bianculli; Angelo Morzenti; Matteo Pradella; Pierluigi San Pietro; Paola Spoletini (ICSE Companion, 2007)

The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. - Matteo Pradella; Angelo Morzenti; Pierluigi San Pietro (ESEC/SIGSOFT FSE, 2007)

Automated compositional proofs for real-time systems. - Carlo A. Furia; Matteo Rossi 001; Dino Mandrioli; Angelo Morzenti (Theor. Comput. Sci., 2007)

Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. - Matteo Pradella; Angelo Morzenti; Pierluigi San Pietro (ICTAC, 2008)

Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. - Matteo Pradella; Angelo Morzenti; Pierluigi San Pietro (ASE, 2008)

A Metric Encoding for Bounded Model Checking. - Matteo Pradella; Angelo Morzenti; Pierluigi San Pietro (FM, 2009)

A Metric Encoding for Bounded Model Checking (extended version) - Matteo Pradella; Angelo Morzenti; Pierluigi San Pietro (CoRR, 2009)

Towards the UML-Based Formal Verification of Timed Systems. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Matteo Rossi 001 (FMCO, 2010)

From Interaction Overview Diagrams to Temporal Logic. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Matteo Rossi 001 (MoDELS (Workshops), 2010)

Bounded Reachability for Temporal Logic over Constraint Systems. - Marcello M. Bersani; Achille Frigeri; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001; Pierluigi San Pietro (TIME, 2010)

Modeling time in computing: A taxonomy and a comparative survey. - Carlo A. Furia; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (ACM Comput. Surv., 2010)

Modeling Time in Computing. - Carlo A. Furia; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (Springer, 2012)

Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. - Luca Ferrucci; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (FMICS, 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 001; S. Rotondi; Sergio M. Savaresi; Fabio Alberto Schreiber; et al. (SustainIT, 2012)

A Metric Temporal Logic for Dealing with Zero-Time Transitions. - Luca Ferrucci; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (TIME, 2012)

Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach - Luca Ferrucci; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (CoRR, 2012)

A logic-based semantics for the verification of multi-diagram UML models. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Matteo Rossi 001 (ACM SIGSOFT Softw. Eng. Notes, 2012)

Parsing methods streamlined. - Luca Breveglieri; Stefano Crespi-Reghizzi; Angelo Morzenti (CoRR, 2013)

Bounded satisfiability checking of metric temporal logic specifications. - Matteo Pradella; Angelo Morzenti; Pierluigi San Pietro (ACM Trans. Softw. Eng. Methodol., 2013)

Formal Languages and Compilation, Second Edition. - Stefano Crespi-Reghizzi; Luca Breveglieri; Angelo Morzenti (Springer, 2013)

Complexity of Extended vs. Classic LR Parsers. - Angelo Borsotti; Luca Breveglieri; Stefano Crespi-Reghizzi; Angelo Morzenti (DCFS, 2014)

Shift-Reduce Parsers for Transition Networks. - Luca Breveglieri; Stefano Crespi-Reghizzi; Angelo Morzenti (LATA, 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 001; Sergio M. Savaresi; Fabio Alberto Schreiber; Letizia Tanca; Edoardo G. Vannutelli Depoli (IEEE Intell. Transp. Syst. Mag., 2014)

Constraint LTL satisfiability checking without automata. - Marcello M. Bersani; Achille Frigeri; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001; Pierluigi San Pietro (J. Appl. Log., 2014)

Automated formal verification for flexible manufacturing systems. - Emanuele Carpanzano; Luca Ferrucci; Dino Mandrioli; Mauro Mazzolini; Angelo Morzenti; Matteo Rossi 001 (J. Intell. Manuf., 2014)

From Ambiguous Regular Expressions to Deterministic Parsing Automata. - Angelo Borsotti; Luca Breveglieri; Stefano Crespi-Reghizzi; Angelo Morzenti (CIAA, 2015)

BSP: A Parsing Tool for Ambiguous Regular Expressions. - Angelo Borsotti; Luca Breveglieri; Stefano Crespi-Reghizzi; Angelo Morzenti (CIAA, 2015)

A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications. - Matteo Rossi 001; Dino Mandrioli; Angelo Morzenti; Luca Ferrucci (Theor. Comput. Sci., 2016)

A Logic-Based Approach for the Verification of UML Timed Models. - Luciano Baresi; Angelo Morzenti; Alfredo Motta; Mohammad Mehdi Pourhashem Kallehbasti; Matteo Rossi 001 (ACM Trans. Softw. Eng. Methodol., 2017)

Fast deterministic parsers for transition networks. - Angelo Borsotti; Luca Breveglieri; Stefano Crespi-Reghizzi; Angelo Morzenti (Acta Informatica, 2018)

A Benchmark Production Tool for Regular Expressions. - Angelo Borsotti; Luca Breveglieri; Stefano Crespi-Reghizzi; Angelo Morzenti (CIAA, 2019)

Formal Languages and Compilation, Third Edition - Stefano Crespi-Reghizzi; Luca Breveglieri; Angelo Morzenti (Springer, 2019)

A Generalized LR(1) Parser or Extended Context-Free Grammars. - Angelo Borsotti; Luca Breveglieri; Stefano Crespi-Reghizzi; Angelo Morzenti (ICTCS, 2020)

A deterministic parsing algorithm for ambiguous regular expressions. - Angelo Borsotti; Luca Breveglieri; Stefano Crespi-Reghizzi; Angelo Morzenti (Acta Informatica, 2021)

Fast GLR parsers for extended BNF grammars and transition networks. - Angelo Borsotti; Luca Breveglieri; Stefano Crespi-Reghizzi; Angelo Morzenti (J. Comput. Lang., 2021)

Lecture Notes on Monadic First- and Second-Order Logic on Strings. - Dino Mandrioli; Davide Martinenghi; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001 (CoRR, 2023)

General parsing with regular expression matching. - Angelo Borsotti; Luca Breveglieri; Stefano Crespi-Reghizzi; Angelo Morzenti (J. Comput. Lang., 2023)

Minimizing speculation overhead in a parallel recognizer for regular texts. - Angelo Borsotti; Luca Breveglieri; Angelo Morzenti; Stefano Crespi-Reghizzi (PPoPP, 2025)

Multi-entry DFA with Reduced Initial States to Speedup Parallel Recognition. - Angelo Borsotti; Luca Breveglieri; Stefano Crespi-Reghizzi; Angelo Morzenti (CIAA, 2025)

A parallel parser for regular expressions. - Angelo Borsotti; Luca Breveglieri; Stefano Crespi-Reghizzi; Angelo Morzenti (CoRR, 2025)