MANDRIOLI, DINO
MANDRIOLI, DINO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A class of Grammars Generating Non Counting Languages
1979-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
A decidability theorem for a class of vector-addition systems
1975-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES
2022-01-01 Chiari, M.; Mandrioli, D.; Pradella, M.
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 designing CORBA-based applications
2003-01-01 A., Coen Porisini; 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 Formal Framework for ASTRAL Intra-level Proof Obligations
1994-01-01 Coen, Porisini; Kemmerer, R.; Mandrioli, Dino
A framework architecture for supervision and control systems
2000-01-01 R., Capobianchi; COEN PORISINI, Alberto; Mandrioli, Dino; Morzenti, ANGELO CARLO
A Metric Temporal Logic for Dealing with Zero-Time Transitions
2012-01-01 Ferrucci, Luca; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
A Model Checker for Operator Precedence Languages
2023-01-01 Chiari, M.; Mandrioli, D.; Pontiggia, F.; Pradella, M.
A Model Parametric Real-Time Logic
1992-01-01 Morzenti, ANGELO CARLO; Mandrioli, Dino; Ghezzi, Carlo
A Note on Petri Net Languages
1977-01-01 Mandrioli, Dino
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems
1996-01-01 Mandrioli, Dino; Morzenti, ANGELO CARLO; Pezze', M.; SAN PIETRO, P. SILVA S.
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 UML-compatible formal language for system architecture description
2005-01-01 Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A Unified High-level Petri Net Model for Time Critical Systems
1991-01-01 Ghezzi, Carlo; Mandrioli, Dino; Morasca, S.; Pezze', M.
Advances in Object Oriented Software Engineering
1992-01-01 Mandrioli, Dino; B., Meyer
Advertising Formal Methods and Organizing their Teaching: /Yes, but/ …
2004-01-01 Mandrioli, Dino
Algebraic Properties of Operator Precedence Languages
1978-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino; Martin, D.