MORZENTI, ANGELO CARLO

MORZENTI, ANGELO CARLO  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 35 (tempo di esecuzione: 0.027 secondi).
Titolo Data di pubblicazione Autori File
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO 1-gen-2000 MORASCA, SANDROMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
A deterministic parsing algorithm for ambiguous regular expressions 1-gen-2021 Luca BreveglieriStefano Crespi ReghizziAngelo Morzenti +
A framework architecture for supervision and control systems 1-gen-2000 COEN PORISINI, ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLO +
A logic-based approach for the verification of UML timed models 1-gen-2017 Baresi, LucianoMorzenti, AngeloMotta, AlfredoPourhashem, Mohammad MehdiRossi, Matteo
A Model Parametric Real-Time Logic 1-gen-1992 MORZENTI, ANGELO CARLOMANDRIOLI, DINOGHEZZI, CARLO
A short note on the approximability of the maximum leaves spanning tree problem 1-gen-1994 MORZENTI, ANGELO CARLO +
A Survey and Assessment of Software Process Representation Formalisms 1-gen-1993 GHEZZI, CARLOMORZENTI, ANGELO CARLO +
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 1-gen-2016 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINOMORZENTI, ANGELO CARLOFERRUCCI, LUCA
A Theory of Implementation and Refinement in Timed Petri Nets 1-gen-1998 MORZENTI, ANGELO CARLO +
An application of a tool for automated system analysis based on modular specifications 1-gen-2000 MORASCA, SANDROMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Analysis of Techniques in the Assessment of Ultra-Reliable Computerized Systems 1-gen-1997 SCHREIBER, FABIO ALBERTOMORZENTI, ANGELO CARLO
Automated Compositional Proofs for Real-Time Systems 1-gen-2007 FURIA, CARLO ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
Automated Deductive Requirements Analysis of Critical Systems 1-gen-2001 MORZENTI, ANGELO CARLO +
Automated formal verification for flexible manufacturing systems 1-gen-2014 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI +
Bounded Satisfiability Checking of Metric Temporal Logic Specifications 1-gen-2013 PRADELLA, MATTEOMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Comments on “An Interval Logic for Real-Time System Specification” 1-gen-2006 FURIA, CARLO ALBERTOMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Constraint LTL Satisfiability Checking without Automata 1-gen-2014 BERSANI, MARCELLO MARIAFRIGERI, ACHILLEMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
Dealing with Zero-time Transitions in Axiom Systems 1-gen-1999 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
Executable Specifications with Dataflow Diagrams 1-gen-1993 FUGGETTA, ALFONSOGHEZZI, CARLOMANDRIOLI, DINOMORZENTI, ANGELO CARLO
Fast deterministic parsers for transition networks 1-gen-2018 Breveglieri, LucaCrespi Reghizzi, StefanoMorzenti, Angelo +