MANDRIOLI, DINO
MANDRIOLI, DINO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A Formal Approach for Designing CORBA based Applications
2000-01-01 COEN PORISINI, Alberto; Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A Formal Approach for Modeling and Verification of RTCORBA-based Applications
2004-01-01 Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System
2006-01-01 M., Rolando; Rossi, MATTEO GIOVANNI; N., Sanarico; Mandrioli, Dino
A Metric Temporal Logic for Dealing with Zero-Time Transitions
2012-01-01 Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
A UML-compatible formal language for system architecture description
2005-01-01 Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
Advertising Formal Methods and Organizing their Teaching: /Yes, but/ …
2004-01-01 Mandrioli, Dino
Algebraic properties of structured context-free languages: old approaches and novel developments
2009-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application
2003-01-01 Mandrioli, Dino; Morzenti, ANGELO CARLO; Spoletini, Paola
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics
2006-01-01 Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
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
Computers foster education and education fosters computer science: the Politecnico’s approach
2010-01-01 Mandrioli, Dino; Torrebruno, Aldo; Marini, Luisa
First-Order Logic Definability of Free Languages
2015-01-01 Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems
2007-01-01 Matta, Andrea; Rossi, MATTEO GIOVANNI; Spoletini, Paola; Mandrioli, Dino; Semeraro, Quirico; Tolio, TULLIO ANTONIO MARIA
Free Grammars and Languages
2013-01-01 Violetta, Lonati; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows
2014-01-01 Domenico, Bianculli; Antonio, Filieri; Ghezzi, Carlo; Mandrioli, Dino
Languages defined by consensual computations
2009-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
Linear temporal logics for structured context-free languages
2020-01-01 Chiari, M.; Bergamaschi, D.; Mandrioli, D.; Pradella, M.
Locally Chain-Parsable Languages
2015-01-01 CRESPI REGHIZZI, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages
2013-01-01 Violetta, Lonati; Mandrioli, Dino; Pradella, Matteo