MANDRIOLI, DINO

MANDRIOLI, DINO  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 45 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autori File
A Formal Approach for Designing CORBA based Applications 1-gen-2000 COEN PORISINI, ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 1-gen-2004 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 1-gen-2006 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINO +
A Metric Temporal Logic for Dealing with Zero-Time Transitions 1-gen-2012 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
A UML-compatible formal language for system architecture description 1-gen-2005 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
Advertising Formal Methods and Organizing their Teaching: /Yes, but/ … 1-gen-2004 MANDRIOLI, DINO
Algebraic properties of structured context-free languages: old approaches and novel developments 1-gen-2009 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 1-gen-2003 MANDRIOLI, DINOMORZENTI, ANGELO CARLOSPOLETINI, PAOLA
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 1-gen-2006 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
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 +
Computers foster education and education fosters computer science: the Politecnico’s approach 1-gen-2010 MANDRIOLI, DINOTORREBRUNO, ALDOMARINI, LUISA
Cyclic Operator Precedence Grammars for Improved Parallel Parsing 1-gen-2024 Chiari M.Mandrioli D.Pradella M.
First-Order Logic Definability of Free Languages 1-gen-2015 MANDRIOLI, DINOPANELLA, FEDERICAPRADELLA, MATTEO +
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 1-gen-2007 MATTA, ANDREAROSSI, MATTEO GIOVANNISPOLETINI, PAOLAMANDRIOLI, DINOSEMERARO, QUIRICOTOLIO, TULLIO ANTONIO MARIA
Free Grammars and Languages 1-gen-2013 MANDRIOLI, DINOPANELLA, FEDERICAPRADELLA, MATTEO +
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows 1-gen-2014 GHEZZI, CARLOMANDRIOLI, DINO +
Languages defined by consensual computations 1-gen-2009 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
Linear temporal logics for structured context-free languages 1-gen-2020 Chiari M.Bergamaschi D.Mandrioli D.Pradella M.
Locally Chain-Parsable Languages 1-gen-2015 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINOPRADELLA, MATTEO +