MORZENTI, ANGELO CARLO
MORZENTI, ANGELO CARLO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
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 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 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 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 tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)
1998-01-01 Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi; Morasca, Sandro
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application
2003-01-01 Mandrioli, Dino; Morzenti, ANGELO CARLO; Spoletini, Paola
An object-oriented logic language for modular system specification
1991-01-01 Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Automated Compositional Proofs for Real-Time Systems
2005-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI; Mandrioli, Dino; Morzenti, ANGELO CARLO
Automated Formal Verification for Flexible Manufacturing Systems
2012-01-01 Emanuele, Carpanzano; Ferrucci, Luca; Mandrioli, Dino; Mauro, Mazzolini; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Automated Verification of Continuous Time Systems by Discrete Temporal Induction
2006-01-01 A., Gargantini; Morzenti, ANGELO CARLO
Benchmarking Model- and Satisfiability-Checking on bi-infinite time
2008-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Bounded Reachability for Temporal Logic over Constraint Systems
2010-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
BSP: A Parsing Tool for Ambiguous Regular Expressions
2015-01-01 Borsotti, Angelo; Breveglieri, LUCA ODDONE; CRESPI REGHIZZI, Stefano; Morzenti, ANGELO CARLO
Complexity of extended vs classic LR parsers
2014-01-01 A., Borsotti; Breveglieri, LUCA ODDONE; CRESPI REGHIZZI, Stefano; Morzenti, ANGELO CARLO
From Ambiguous Regular Expressions to Deterministic Parsing Automata
2015-01-01 Borsotti, Angelo; Breveglieri, LUCA ODDONE; CRESPI REGHIZZI, Stefano; Morzenti, ANGELO CARLO