MORZENTI, ANGELO CARLO
MORZENTI, ANGELO CARLO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
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 framework architecture for supervision and control systems
2000-01-01 R., Capobianchi; COEN PORISINI, Alberto; Mandrioli, Dino; 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 Model Parametric Real-Time Logic
1992-01-01 Morzenti, ANGELO CARLO; Mandrioli, Dino; Ghezzi, Carlo
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
An application of a tool for automated system analysis based on modular specifications
2000-01-01 Morasca, Sandro; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Analysis of Techniques in the Assessment of Ultra-Reliable Computerized Systems
1997-01-01 Schreiber, FABIO ALBERTO; Morzenti, ANGELO CARLO
Automated Compositional Proofs for Real-Time Systems
2007-01-01 Furia, CARLO ALBERTO; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Automated Deductive Requirements Analysis of Critical Systems
2001-01-01 A., Gargantini; Morzenti, ANGELO CARLO
Automated formal verification for flexible manufacturing systems
2014-01-01 E., Carpanzano; Ferrucci, Luca; Mandrioli, Dino; Mazzolini, •. M.; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Bounded Satisfiability Checking of Metric Temporal Logic Specifications
2013-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Comments on “An Interval Logic for Real-Time System Specification”
2006-01-01 Furia, CARLO ALBERTO; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Constraint LTL Satisfiability Checking without Automata
2014-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Dealing with Zero-time Transitions in Axiom Systems
1999-01-01 Gargantini, A.; Mandrioli, Dino; Morzenti, ANGELO CARLO
Executable Specifications with Dataflow Diagrams
1993-01-01 Fuggetta, Alfonso; Ghezzi, Carlo; Mandrioli, Dino; Morzenti, ANGELO CARLO
Fast deterministic parsers for transition networks
2018-01-01 Borsotti, Angelo; Breveglieri, Luca; Crespi Reghizzi, Stefano; Morzenti, Angelo