Angelo Morzenti

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