MORZENTI, ANGELO CARLO

MORZENTI, ANGELO CARLO  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 40 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autori File
A Benchmark Production Tool for Regular Expressions 1-gen-2019 Breveglieri L.Morzenti A. +
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 1-gen-1999 MORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems 1-gen-2003 MORZENTI, ANGELO CARLO +
A Dual Language Approach to the Development of Time Critical Systems with UML 1-gen-2003 MORZENTI, ANGELO CARLO +
A Dual Language Approach to the Development of Time-Critical Systems with UML 1-gen-2004 LAVAZZA, LUIGIMORZENTI, ANGELO CARLO +
A generalized LR(1) parser for extended context-free grammars 1-gen-2020 Luca BreveglieriStefano Crespi ReghizziAngelo Morzenti +
A logic-based semantics for the verification of multi-diagram UML models 1-gen-2012 BARESI, LUCIANOMORZENTI, ANGELO CARLOMOTTA, ALFREDOROSSI, MATTEO GIOVANNI
A Metric Encoding for Bounded Model Checking 1-gen-2009 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
A Metric Temporal Logic for Dealing with Zero-Time Transitions 1-gen-2012 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
A tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) 1-gen-1998 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGIMORASCA, SANDRO
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 1-gen-2003 MANDRIOLI, DINOMORZENTI, ANGELO CARLOSPOLETINI, PAOLA
An object-oriented logic language for modular system specification 1-gen-1991 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Automated Compositional Proofs for Real-Time Systems 1-gen-2005 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNIMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Automated Formal Verification for Flexible Manufacturing Systems 1-gen-2012 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI +
Automated Verification of Continuous Time Systems by Discrete Temporal Induction 1-gen-2006 MORZENTI, ANGELO CARLO +
Benchmarking Model- and Satisfiability-Checking on bi-infinite time 1-gen-2008 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Bounded Reachability for Temporal Logic over Constraint Systems 1-gen-2010 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
BSP: A Parsing Tool for Ambiguous Regular Expressions 1-gen-2015 BREVEGLIERI, LUCA ODDONECRESPI REGHIZZI, STEFANOMORZENTI, ANGELO CARLO +
Complexity of extended vs classic LR parsers 1-gen-2014 BREVEGLIERI, LUCA ODDONECRESPI REGHIZZI, STEFANOMORZENTI, ANGELO CARLO +
From Ambiguous Regular Expressions to Deterministic Parsing Automata 1-gen-2015 BREVEGLIERI, LUCA ODDONECRESPI REGHIZZI, STEFANOMORZENTI, ANGELO CARLO +