default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAngelo Morzenti
Person information
- affiliation: Polytechnic University of Milan, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j32]Angelo Borsotti, Luca Breveglieri
, Stefano Crespi-Reghizzi, Angelo Morzenti:
General parsing with regular expression matching. J. Comput. Lang. 74: 101176 (2023)- [i7]Dino Mandrioli, Davide Martinenghi, Angelo Morzenti, Matteo Pradella, Matteo Rossi:
Lecture Notes on Monadic First- and Second-Order Logic on Strings. CoRR abs/2301.10519 (2023) - 2021
- [j31]Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
A deterministic parsing algorithm for ambiguous regular expressions. Acta Informatica 58(3): 195-229 (2021) - [j30]Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
Fast GLR parsers for extended BNF grammars and transition networks. J. Comput. Lang. 64: 101035 (2021) - 2020
- [c44]Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
A Generalized LR(1) Parser or Extended Context-Free Grammars. ICTCS 2020: 124-130
2010 – 2019
- 2019
- [b3]Stefano Crespi-Reghizzi, Luca Breveglieri, Angelo Morzenti:
Formal Languages and Compilation, Third Edition. Texts in Computer Science, Springer 2019, ISBN 978-3-030-04878-5, pp. 1-486 - [c43]Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
A Benchmark Production Tool for Regular Expressions. CIAA 2019: 95-107 - 2018
- [j29]Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
Fast deterministic parsers for transition networks. Acta Informatica 55(7): 547-574 (2018) - 2017
- [j28]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): 7:1-7:47 (2017) - 2016
- [j27]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: 38-64 (2016) - 2015
- [c42]Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
From Ambiguous Regular Expressions to Deterministic Parsing Automata. CIAA 2015: 35-48 - [c41]Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
BSP: A Parsing Tool for Ambiguous Regular Expressions. CIAA 2015: 313-316 - 2014
- [j26]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): 96-108 (2014) - [j25]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): 522-557 (2014) - [j24]Emanuele Carpanzano, Luca Ferrucci, Dino Mandrioli, Mauro Mazzolini, Angelo Morzenti, Matteo Rossi:
Automated formal verification for flexible manufacturing systems. J. Intell. Manuf. 25(5): 1181-1195 (2014) - [c40]Angelo Borsotti, Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
Complexity of Extended vs. Classic LR Parsers. DCFS 2014: 77-89 - [c39]Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
Shift-Reduce Parsers for Transition Networks. LATA 2014: 222-235 - 2013
- [b2]Stefano Crespi-Reghizzi, Luca Breveglieri, Angelo Morzenti:
Formal Languages and Compilation, Second Edition. Texts in Computer Science, Springer 2013, ISBN 978-1-4471-5513-3, pp. I-XII, 1-399 - [j23]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
Bounded satisfiability checking of metric temporal logic specifications. ACM Trans. Softw. Eng. Methodol. 22(3): 20:1-20:54 (2013) - [i6]Luca Breveglieri, Stefano Crespi-Reghizzi, Angelo Morzenti:
Parsing methods streamlined. CoRR abs/1309.7584 (2013) - 2012
- [b1]Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Modeling Time in Computing. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2012, ISBN 978-3-642-32331-7, pp. I-XVI, 1-423 - [j22]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): 1-8 (2012) - [c38]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: 162-176 - [c37]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: 1-5 - [c36]Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
A Metric Temporal Logic for Dealing with Zero-Time Transitions. TIME 2012: 81-88 - [i5]Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Constraint LTL Satisfiability Checking without Automata. CoRR abs/1205.0946 (2012) - [i4]Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach. CoRR abs/1206.0911 (2012) - 2010
- [j21]Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Modeling time in computing: A taxonomy and a comparative survey. ACM Comput. Surv. 42(2): 6:1-6:59 (2010) - [c35]Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi:
Towards the UML-Based Formal Verification of Timed Systems. FMCO 2010: 267-286 - [c34]Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi:
From Interaction Overview Diagrams to Temporal Logic. MoDELS (Workshops) 2010: 90-104 - [c33]Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Bounded Reachability for Temporal Logic over Constraint Systems. TIME 2010: 43-50 - [i3]Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Bounded Reachability for Temporal Logic over Constraint Systems. CoRR abs/1004.1077 (2010)
2000 – 2009
- 2009
- [c32]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
A Metric Encoding for Bounded Model Checking. FM 2009: 741-756 - [i2]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
A Metric Encoding for Bounded Model Checking (extended version). CoRR abs/0907.3085 (2009) - 2008
- [c31]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. ICTAC 2008: 290-304 - [c30]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. ASE 2008: 119-127 - [i1]Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Modeling Time in Computing: A Taxonomy and a Comparative Survey. CoRR abs/0807.4132 (2008) - 2007
- [j20]Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti:
Automated compositional proofs for real-time systems. Theor. Comput. Sci. 376(3): 164-184 (2007) - [c29]Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro:
Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395 - [c28]Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini:
Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion 2007: 61-62 - [c27]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: 312-320 - 2006
- [j19]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): 424-427 (2006) - [c26]Angelo Gargantini, Angelo Morzenti:
Automated Verification of Continuous Time Systems by Discrete Temporal Induction. TIME 2006: 19-26 - 2005
- [c25]Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti:
Automated Compositional Proofs for Real-Time Systems. FASE 2005: 326-340 - 2004
- [c24]Luigi Lavazza, Sandro Morasca, Angelo Morzenti:
A Dual Language Approach to the Development of Time-Critical Systems. TACoS 2004: 227-239 - 2003
- [c23]Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini:
Model-Checking TRIO Specifications in SPIN. FME 2003: 542-561 - [c22]Luigi Lavazza, Sandro Morasca, Angelo Morzenti:
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems. TACoS 2003: 121-132 - 2002
- [c21]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: 6 - 2001
- [j18]Angelo Gargantini, Angelo Morzenti:
Automated deductive requirements analysis of critical systems. ACM Trans. Softw. Eng. Methodol. 10(3): 255-307 (2001) - [c20]Fernando Marotta, Angelo Morzenti, Dino Mandrioli:
Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. ICDCS 2001: 567-574 - 2000
- [j17]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): 125-155 (2000) - [j16]Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti:
A framework architecture for supervision and control systems. ACM Comput. Surv. 32(1es): 26 (2000) - [j15]Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca:
Generation of Execution Sequences for Modular Time Critical Systems. IEEE Trans. Software Eng. 26(2): 128-149 (2000)
1990 – 1999
- 1999
- [j14]Angelo Gargantini, Dino Mandrioli, Angelo Morzenti:
Dealing with Zero-Time Transitions in Axiom Systems. Inf. Comput. 150(2): 119-131 (1999) - [j13]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): 79-113 (1999) - [c19]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: 217-223 - 1998
- [j12]Miguel Felder, Angelo Gargantini, Angelo Morzenti:
A Theory of Implementation and Refinement in Timed Petri Nets. Theor. Comput. Sci. 202(1-2): 127-161 (1998) - [c18]Angelo Morzenti, Pierluigi San Pietro, Sandro Morasca:
A Tool for Automated System Analysis based on Modular Specifications. ASE 1998: 2-11 - 1997
- [j11]Angelo Morzenti, Fabio Alberto Schreiber:
Analysis of techniques in the assessment of ultra-reliable computerized systems. ACM SIGSOFT Softw. Eng. Notes 22(2): 87-91 (1997) - [j10]Giulia Galbiati, Angelo Morzenti, Francesco Maffioli:
On the Approximability of Some Maximum Spanning Tree Problems. Theor. Comput. Sci. 181(1): 107-118 (1997) - [c17]Andrea Alborghetti, Angelo Gargantini, Angelo Morzenti:
Providing Automated Support to Deductive Analysis of Time Critical Systems. ESEC / SIGSOFT FSE 1997: 211-226 - 1996
- [c16]Giulia Galbiati, Angelo Morzenti, Francesco Maffioli:
On the Logical Definability of Some Maximum Leaves Problems. DMTCS 1996: 214-225 - [c15]Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro:
Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications. ISSTA 1996: 39-52 - 1995
- [j9]Dino Mandrioli, Sandro Morasca, Angelo Morzenti:
Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Trans. Comput. Syst. 13(4): 365-398 (1995) - [c14]Angelo Gargantini, Angelo Morzenti:
TRIO Specification of a Steam Boiler Controller. Formal Methods for Industrial Applications 1995: 218-232 - [c13]Giulia Galbiati, Angelo Morzenti, Francesco Maffioli:
On the Approximability of some Maximum Spanning Tree Problems. LATIN 1995: 300-310 - 1994
- [j8]Giulia Galbiati, Francesco Maffioli, Angelo Morzenti:
A Short Note on the Approximability of the Maximum Leaves Spanning Tree Problem. Inf. Process. Lett. 52(1): 45-49 (1994) - [j7]Angelo Morzenti, Pierluigi San Pietro:
Object-Oriented Logical Specification of Time-Critical Systems. ACM Trans. Softw. Eng. Methodol. 3(1): 56-98 (1994) - [j6]Miguel Felder, Angelo Morzenti:
Validating Real-Time Systems by History-Checking TRIO Specifications. ACM Trans. Softw. Eng. Methodol. 3(4): 308-339 (1994) - [j5]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): 127-141 (1994) - [c12]Lorenzo Mezzalira, Angelo Morzenti:
Relating specified time tolerances to implementation performances. RTS 1994: 226-233 - [c11]Miguel Felder, Angelo Morzenti:
A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets. ICTL 1994: 365-381 - 1993
- [j4]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): 401-426 (1993) - [j3]Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti:
Executable Specifications with Data-flow Diagrams. Softw. Pract. Exp. 23(6): 629-653 (1993) - 1992
- [j2]Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi:
A Model Parametric Real-Time Logic. ACM Trans. Program. Lang. Syst. 14(4): 521-573 (1992) - [c10]Miguel Felder, Angelo Morzenti:
Validating Real-Time Systems by History-Checking TRIO Specifications. ICSE 1992: 199-211 - [c9]Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti:
Software Processes Representation Languages: Survey and Assessment. SEKE 1992: 455-462 - 1991
- [c8]Angelo Morzenti, Pierluigi San Pietro:
An Object-Oriented Logic Language for Modular System Specification. ECOOP 1991: 39-58 - [c7]Miguel Felder, Angelo Morzenti:
Real-time system validation by model checking in TRIO. RTS 1991: 20-28 - [c6]Angelo Montanari, Elena Ratto, Edoardo Corsetti, Angelo Morzenti:
Embedding time granularity in logical specifications of real-time systems. RTS 1991: 88-97 - [c5]Sergio Bandinelli, Alfonso Fuggetta, Carlo Ghezzi, Angelo Morzenti:
A multi-paradigm Petri net based approach to process description. ISPW 1991: 41-43 - [c4]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: 92-101 - [c3]Angelo Morzenti:
Validating Real-Time Systems by Executing Logic Specifications. REX Workshop 1991: 502-525 - 1990
- [j1]Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti:
TRIO: A logic language for executable specifications of real-time systems. J. Syst. Softw. 12(2): 107-123 (1990)
1980 – 1989
- 1987
- [c2]Carlo Ghezzi, Angelo Morzenti, Mauro Pezzè:
On the Role of Software Reliability in Software Engineering. Software Reliability Modelling and Identification 1987: 1-40 - [c1]Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti:
On the Specification of Real-Time Systems Using Logic Programming. ESEC 1987: 180-190
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
