MORZENTI, ANGELO CARLO
MORZENTI, ANGELO CARLO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
2022 Best Paper Award Runner Up - Journal of Computer Languages
2023-01-01 Borsotti, Angelo; Breveglieri, Luca; CRESPI REGHIZZI, Stefano; Morzenti, Angelo
A Benchmark Production Tool for Regular Expressions
2019-01-01 Borsotti, A.; Breveglieri, L.; Crespireghizzi, S.; Morzenti, A.
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications
1999-01-01 Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; S., Russo; A., Sergio
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO
2000-01-01 Morasca, Sandro; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
A deterministic parsing algorithm for ambiguous regular expressions
2021-01-01 Borsotti, Angelo; Breveglieri, Luca; CRESPI REGHIZZI, Stefano; Morzenti, Angelo
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems
2003-01-01 Luigi, Lavazza; Sandro, Morasca; Morzenti, ANGELO CARLO
A Dual Language Approach to the Development of Time Critical Systems with UML
2003-01-01 Luigi, Lavazza; Sandro, Morasca; Morzenti, ANGELO CARLO
A Dual Language Approach to the Development of Time-Critical Systems with UML
2004-01-01 Lavazza, Luigi; S., Morasca; Morzenti, ANGELO CARLO
A framework architecture for supervision and control systems
2000-01-01 R., Capobianchi; COEN PORISINI, Alberto; Mandrioli, Dino; Morzenti, ANGELO CARLO
A generalized LR(1) parser for extended context-free grammars
2020-01-01 Borsotti, Angelo; Breveglieri, LUCA ODDONE; CRESPI REGHIZZI, Stefano; Morzenti, ANGELO CARLO
A logic-based approach for the verification of UML timed models
2017-01-01 Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; Pourhashem, Mohammad Mehdi; Rossi, Matteo
A logic-based semantics for the verification of multi-diagram UML models
2012-01-01 Baresi, Luciano; Morzenti, ANGELO CARLO; Motta, Alfredo; Rossi, MATTEO GIOVANNI
A Metric Encoding for Bounded Model Checking
2009-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
A Metric Temporal Logic for Dealing with Zero-Time Transitions
2012-01-01 Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
A Model Parametric Real-Time Logic
1992-01-01 Morzenti, ANGELO CARLO; Mandrioli, Dino; Ghezzi, Carlo
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems
1996-01-01 Mandrioli, Dino; Morzenti, ANGELO CARLO; Pezze', M.; SAN PIETRO, P. SILVA S.
A short note on the approximability of the maximum leaves spanning tree problem
1994-01-01 G., Galbiati; F., Maffioli; Morzenti, ANGELO CARLO
A Survey and Assessment of Software Process Representation Formalisms
1993-01-01 P., Armenise; S., Bandinelli; Ghezzi, Carlo; Morzenti, ANGELO CARLO
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications
2016-01-01 Rossi, MATTEO GIOVANNI; Mandrioli, Dino; Morzenti, ANGELO CARLO; Ferrucci, Luca
A Theory of Implementation and Refinement in Timed Petri Nets
1998-01-01 Morzenti, ANGELO CARLO; Felder, Miguel