Angelo Morzenti

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 9

Top Topics

Metric Temporal Logic

Flexible Manufacturing Systems

Regular Expressions

Top Venues

J. Comput. Lang.

ACM Trans. Softw. Eng. Methodol.

Publications

Dino Mandrioli, Davide Martinenghi, Angelo Morzenti, Matteo Pradella, Matteo Rossi
Lecture Notes on Monadic First- and Second-Order Logic on Strings. CoRR (2023)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
General parsing with regular expression matching. J. Comput. Lang. 74 (2023)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
A deterministic parsing algorithm for ambiguous regular expressions. Acta Informatica 58 (3) (2021)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
Fast GLR parsers for extended BNF grammars and transition networks. J. Comput. Lang. 64 (2021)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
A Generalized LR(1) Parser or Extended Context-Free Grammars. ICTCS (2020)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
A Benchmark Production Tool for Regular Expressions. CIAA (2019)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
Fast deterministic parsers for transition networks. Acta Informatica 55 (7) (2018)
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
A Logic-Based Approach for the Verification of UML Timed Models. ACM Trans. Softw. Eng. Methodol. 26 (2) (2017)
Matteo Rossi, Dino Mandrioli, Angelo Morzenti, Luca Ferrucci
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications. Theor. Comput. Sci. 643 (2016)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
BSP: A Parsing Tool for Ambiguous Regular Expressions. CIAA (2015)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
From Ambiguous Regular Expressions to Deterministic Parsing Automata. CIAA (2015)
Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
Shift-Reduce Parsers for Transition Networks. LATA (2014)
Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
Complexity of Extended vs. Classic LR Parsers. DCFS (2014)
Emanuele Carpanzano, Luca Ferrucci, Dino Mandrioli, Mauro Mazzolini, Angelo Morzenti, Matteo Rossi
Automated formal verification for flexible manufacturing systems. J. Intell. Manuf. 25 (5) (2014)
Andrea G. Bianchessi, Gianpaolo Cugola, Simone Formentin, Angelo Morzenti, Carlo Ongini, Emanuele Panigati, Matteo Rossi, Sergio M. Savaresi, Fabio Alberto Schreiber, Letizia Tanca, Edoardo G. Vannutelli Depoli
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing. IEEE Intell. Transp. Syst. Mag. 6 (3) (2014)
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
Constraint LTL satisfiability checking without automata. J. Appl. Log. 12 (4) (2014)
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
Bounded satisfiability checking of metric temporal logic specifications. ACM Trans. Softw. Eng. Methodol. 22 (3) (2013)
Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti
Parsing methods streamlined. CoRR (2013)
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
Constraint LTL Satisfiability Checking without Automata CoRR (2012)
Giovanni Alli, Luciano Baresi, Andrea G. Bianchessi, Gianpaolo Cugola, Alessandro Margara, Angelo Morzenti, Carlo Ongini, Emanuele Panigati, Matteo Rossi, S. Rotondi, Sergio M. Savaresi, Fabio Alberto Schreiber, Alessandro Sivieri, Letizia Tanca, Edoardo G. Vannutelli Depoli
Green Move: Towards next generation sustainable smartphone-based vehicle sharing. SustainIT (2012)
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. FMICS (2012)
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi
A logic-based semantics for the verification of multi-diagram UML models. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach CoRR (2012)
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
A Metric Temporal Logic for Dealing with Zero-Time Transitions. TIME (2012)
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
Bounded Reachability for Temporal Logic over Constraint Systems. TIME (2010)
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
Bounded Reachability for Temporal Logic over Constraint Systems CoRR (2010)
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
Modeling time in computing: A taxonomy and a comparative survey. ACM Comput. Surv. 42 (2) (2010)
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi
Towards the UML-Based Formal Verification of Timed Systems. FMCO (2010)
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi
From Interaction Overview Diagrams to Temporal Logic. MoDELS (Workshops) (2010)
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
A Metric Encoding for Bounded Model Checking. FM (2009)
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
A Metric Encoding for Bounded Model Checking (extended version) CoRR (2009)
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. ICTAC (2008)
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. ASE (2008)
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
Modeling Time in Computing: A Taxonomy and a Comparative Survey CoRR (2008)
Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. ESEC/SIGSOFT FSE (2007)
Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
Model Checking Temporal Metric Specifications with Trio2Promela. FSEN (2007)
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
Automated compositional proofs for real-time systems. Theor. Comput. Sci. 376 (3) (2007)
Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion (2007)
Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi
Comments on "An Interval Logic for Real-Time System Specification'. IEEE Trans. Software Eng. 32 (6) (2006)
Angelo Gargantini, Angelo Morzenti
Automated Verification of Continuous Time Systems by Discrete Temporal Induction. TIME (2006)
Luigi Lavazza, Sandro Morasca, Angelo Morzenti
A Dual Language Approach to the Development of Time-Critical Systems. Electron. Notes Theor. Comput. Sci. 116 (2005)
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
Automated Compositional Proofs for Real-Time Systems. FASE (2005)
Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
Model-Checking TRIO Specifications in SPIN. FME (2003)
Luigi Lavazza, Sandro Morasca, Angelo Morzenti
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems. Electron. Notes Theor. Comput. Sci. 82 (6) (2003)
Umberto Foschi, Mauro Giuliani, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
Software procurement and methods for specification and validation in the railway transportation industry. SMC (2002)
Fernando Marotta, Angelo Morzenti, Dino Mandrioli
Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. ICDCS (2001)
Angelo Gargantini, Angelo Morzenti
Automated deductive requirements analysis of critical systems. ACM Trans. Softw. Eng. Methodol. 10 (3) (2001)
Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO. Autom. Softw. Eng. 7 (2) (2000)
Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca
Generation of Execution Sequences for Modular Time Critical Systems. IEEE Trans. Software Eng. 26 (2) (2000)
Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti
A framework architecture for supervision and control systems. ACM Comput. Surv. 32 (1es) (2000)
Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti
From Formal Models to Formally Based Methods: An Industrial Experience. ACM Trans. Softw. Eng. Methodol. 8 (1) (1999)
Angelo Gargantini, Dino Mandrioli, Angelo Morzenti
Dealing with Zero-Time Transitions in Axiom Systems. Inf. Comput. 150 (2) (1999)
Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio
A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications. PDSE (1999)
Angelo Morzenti, Pierluigi San Pietro, Sandro Morasca
A Tool for Automated System Analysis based on Modular Specifications. ASE (1998)
Miguel Felder, Angelo Gargantini, Angelo Morzenti
A Theory of Implementation and Refinement in Timed Petri Nets. Theor. Comput. Sci. 202 (1-2) (1998)
Giulia Galbiati, Angelo Morzenti, Francesco Maffioli
On the Approximability of Some Maximum Spanning Tree Problems. Theor. Comput. Sci. 181 (1) (1997)
Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti
Providing Automated Support to Deductive Analysis of Time Critical Systems. ESEC / SIGSOFT FSE (1997)
Angelo Morzenti, Fabio Alberto Schreiber
Analysis of techniques in the assessment of ultra-reliable computerized systems. ACM SIGSOFT Softw. Eng. Notes 22 (2) (1997)
Giulia Galbiati, Angelo Morzenti, Francesco Maffioli
On the Logical Definability of Some Maximum Leaves Problems. DMTCS (1996)
Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro
Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications. ISSTA (1996)
Giulia Galbiati, Angelo Morzenti, Francesco Maffioli
On the Approximability of some Maximum Spanning Tree Problems. LATIN (1995)
Dino Mandrioli, Sandro Morasca, Angelo Morzenti
Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Trans. Comput. Syst. 13 (4) (1995)
Angelo Gargantini, Angelo Morzenti
TRIO Specification of a Steam Boiler Controller. Formal Methods for Industrial Applications (1995)
Miguel Felder, Angelo Morzenti
Validating Real-Time Systems by History-Checking TRIO Specifications. ACM Trans. Softw. Eng. Methodol. 3 (4) (1994)
Miguel Felder, Angelo Morzenti
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets. ICTL (1994)
Lorenzo Mezzalira, Angelo Morzenti
Relating specified time tolerances to implementation performances. RTS (1994)
Giulia Galbiati, Francesco Maffioli, Angelo Morzenti
A Short Note on the Approximability of the Maximum Leaves Spanning Tree Problem. Inf. Process. Lett. 52 (1) (1994)
Miguel Felder, Dino Mandrioli, Angelo Morzenti
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. IEEE Trans. Software Eng. 20 (2) (1994)
Angelo Morzenti, Pierluigi San Pietro
Object-Oriented Logical Specification of Time-Critical Systems. ACM Trans. Softw. Eng. Methodol. 3 (1) (1994)
Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti
A Survey and Assessment of Software Process Representation Formalisms. Int. J. Softw. Eng. Knowl. Eng. 3 (3) (1993)
Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
Executable Specifications with Data-flow Diagrams. Softw. Pract. Exp. 23 (6) (1993)
Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti
Software Processes Representation Languages: Survey and Assessment. SEKE (1992)
Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi
A Model Parametric Real-Time Logic. ACM Trans. Program. Lang. Syst. 14 (4) (1992)
Miguel Felder, Angelo Morzenti
Validating Real-Time Systems by History-Checking TRIO Specifications. ICSE (1992)
Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto
Dealing with different time scales in formal specifications. IWSSD (1991)
Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Angelo Morzenti
A multi-paradigm Petri net based approach to process description. ISPW (1991)
Angelo Morzenti, Pierluigi San Pietro
An Object-Oriented Logic Language for Modular System Specification. ECOOP (1991)
Angelo Montanari, Elena Ratto, Edoardo Corsetti, Angelo Morzenti
Embedding time granularity in logical specifications of real-time systems. RTS (1991)
Angelo Morzenti
Validating Real-Time Systems by Executing Logic Specifications. REX Workshop (1991)
Miguel Felder, Angelo Morzenti
Real-time system validation by model checking in TRIO. RTS (1991)
Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
TRIO: A logic language for executable specifications of real-time systems. J. Syst. Softw. 12 (2) (1990)
Carlo Ghezzi, Angelo Morzenti, Mauro Pezzè
On the Role of Software Reliability in Software Engineering. Software Reliability Modelling and Identification (1987)
Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
On the Specification of Real-Time Systems Using Logic Programming. ESEC (1987)