Dino Mandrioli

ORCID

Publication Activity (10 Years)

Years Active: 1975-2024
Publications (10 Years): 27

Top Venues

Publications

Michele Chiari, Dino Mandrioli, Matteo Pradella
Cyclic Operator Precedence Grammars for Improved Parallel Parsing. DLT (2024)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Cyclic Operator Precedence Grammars for Parallel Parsing. CoRR (2023)
Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella
A Model Checker for Operator Precedence Languages. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Dino Mandrioli, Davide Martinenghi, Angelo Morzenti, Matteo Pradella, Matteo Rossi
Lecture Notes on Monadic First- and Second-Order Logic on Strings. CoRR (2023)
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages. Log. Methods Comput. Sci. 19 (4) (2023)
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
Weighted operator precedence languages. Inf. Comput. 282 (2022)
Michele Chiari, Dino Mandrioli, Matteo Pradella
A First-Order Complete Temporal Logic for Structured Context-Free Languages. Log. Methods Comput. Sci. 18 (3) (2022)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Model-Checking Structured Context-Free Languages. CAV (2) (2021)
Michele Chiari, Dino Mandrioli, Matteo Pradella
A First-Order Complete Temporal Logic for Structured Context-Free Languages. CoRR (2021)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Operator precedence temporal logic and model checking. Theor. Comput. Sci. 848 (2020)
Michele Chiari, Davide Bergamaschi, Dino Mandrioli, Matteo Pradella
Linear Temporal Logics for Structured Context-Free Languages. ICTCS (2020)
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages. ICTAC (2020)
Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi, Dino Mandrioli
Safety Assessment of Collaborative Robotics Through Automated Formal Verification. IEEE Trans. Robotics 36 (1) (2020)
Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi
Aperiodicity, Star-freeness, and First-order Definability of Structured Context-Free Languages. CoRR (2020)
Michele Chiari, Dino Mandrioli, Matteo Pradella
POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages. CoRR (2019)
Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos
Formal Methods in Designing Critical Cyber-Physical Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Word- and Tree-based Temporal Logics for Operator Precedence Languages. ICTCS (2019)
Michele Chiari, Dino Mandrioli, Matteo Pradella
Temporal Logic and Model Checking for Operator Precedence Languages. GandALF (2018)
Dino Mandrioli, Matteo Pradella
Generalizing input-driven languages: Theoretical and practical benefits. Comput. Sci. Rev. 27 (2018)
Dino Mandrioli, Matteo Pradella
Generalizing input-driven languages: theoretical and practical benefits. CoRR (2017)
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications. Ershov Informatics Conference (2017)
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
Weighted Operator Precedence Languages. MFCS (2017)
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
Weighted Operator Precedence Languages. CoRR (2017)
Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella
Toward a theory of input-driven locally parsable languages. Theor. Comput. Sci. 658 (2017)
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. SAFECOMP (2017)
Matteo Rossi, Dino Mandrioli, Angelo Morzenti, Luca Ferrucci
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications. Theor. Comput. Sci. 643 (2016)
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. SAFECOMP (2016)
Dino Mandrioli
On the Heroism of Really Pursuing Formal Methods. FormaliSE@ICSE (2015)
Violetta Lonati, Dino Mandrioli, Federica Panella, Matteo Pradella
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization. SIAM J. Comput. 44 (4) (2015)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
Syntactic-semantic incrementality for agile verification. Sci. Comput. Program. 97 (2015)
Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella
Locally Chain-Parsable Languages. MFCS (1) (2015)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi
Syntax-Driven Program Verification of Matching Logic Properties. FormaliSE@ICSE (2015)
Violetta Lonati, Dino Mandrioli, Federica Panella, Matteo Pradella
First-Order Logic Definability of Free Languages. CSR (2015)
Dino Mandrioli, Matteo Pradella
Programming Languages shouldn't be "too Natural". ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
Parallel parsing made practical. Sci. Comput. Program. 112 (2015)
Emanuele Carpanzano, Luca Ferrucci, Dino Mandrioli, Mauro Mazzolini, Angelo Morzenti, Matteo Rossi
Automated formal verification for flexible manufacturing systems. J. Intell. Manuf. 25 (5) (2014)
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella
The PAPAGENO Parallel-Parser Generator. CC (2014)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. ISoLA (1) (2014)
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli
A Syntactic-Semantic Approach to Incremental Verification CoRR (2013)
Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella
Parallel parsing of operator precedence grammars. Inf. Process. Lett. 113 (7) (2013)
Violetta Lonati, Dino Mandrioli, Matteo Pradella
Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages. SOFSEM (2013)
Federica Panella, Matteo Pradella, Violetta Lonati, Dino Mandrioli
Operator Precedence ω-Languages. Developments in Language Theory (2013)
Federica Panella, Matteo Pradella, Dino Mandrioli, Violetta Lonati
Operator Precedence ω-languages CoRR (2013)
Stefano Crespi-Reghizzi, Dino Mandrioli
Operator precedence and the visibly pushdown property. J. Comput. Syst. Sci. 78 (6) (2012)
Alessandro Barenghi, Ermes Viviani, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella
PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars. SLE (2012)
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. FMICS (2012)
Violetta Lonati, Dino Mandrioli, Matteo Pradella
Logic Characterization of Floyd Languages CoRR (2012)
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach CoRR (2012)
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
A Metric Temporal Logic for Dealing with Zero-Time Transitions. TIME (2012)
Violetta Lonati, Dino Mandrioli, Matteo Pradella
Precedence Automata and Languages. CSR (2011)
Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young
SCORE: the first student contest on software engineering. ACM SIGSOFT Softw. Eng. Notes 35 (4) (2010)
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
Modeling time in computing: A taxonomy and a comparative survey. ACM Comput. Surv. 42 (2) (2010)
Dino Mandrioli, Aldo Torrebruno, Luisa Marini
Computers Foster Education and Education Fosters Computer Science - The Politecnico's Approach. CSEDU (2) (2010)
Stefano Crespi-Reghizzi, Dino Mandrioli
Operator Precedence and the Visibly Pushdown Property. LATA (2010)
Violetta Lonati, Dino Mandrioli, Matteo Pradella
Precedence Automata and Languages CoRR (2010)
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, Dino Mandrioli
Refinement and Verification of Real-Time Systems CoRR (2010)
Mehdi Jazayeri, Dino Mandrioli
SCORE: The first student Contest in Software Engineering. ICSE Companion (2009)
Stefano Crespi-Reghizzi, Dino Mandrioli
Algebraic properties of structured context-free languages: old approaches and novel developments CoRR (2009)
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
Modeling Time in Computing: A Taxonomy and a Comparative Survey CoRR (2008)
Carlo A. Furia, Matteo Rossi, Dino Mandrioli
Modeling the Environment in Software-Intensive Systems. MiSE@ICSE (2007)
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
Automated compositional proofs for real-time systems. Theor. Comput. Sci. 376 (3) (2007)
Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. ICTAC (2007)
John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli
The industrialization of formal methods. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Marco Rolando, Matteo Rossi, Niccolò Sanarico, Dino Mandrioli
A formal approach to sensor placement and configuration in a network intrusion detection system. SESS@ICSE (2006)
Matteo Pradella, Matteo Rossi, Dino Mandrioli
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. FORTE (2005)
Carlo Ghezzi, Dino Mandrioli
The Challenges of Software Engineering Education. Software Education and Training Sessions @ ICSE (2005)
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
Automated Compositional Proofs for Real-Time Systems. FASE (2005)
Matteo Pradella, Matteo Rossi, Dino Mandrioli
A UML-Compatible Formal Language for System Architecture Description. SDL Forum (2005)
Carlo Ghezzi, Dino Mandrioli
The challenges of software engineering education. ICSE (2005)
Matteo Rossi, Dino Mandrioli
A formal approach for modeling and verification of RTCORBA-based applications. ISSTA (2004)
Dino Mandrioli
Advertising Formal Methods and Organizing Their Teaching: Yes, but .... TFM (2004)
Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli
A formal approach for designing CORBA-based applications. ACM Trans. Softw. Eng. Methodol. 12 (2) (2003)
Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi
Real-Time Synchronised Petri Nets. ICATPN (2002)
Fernando Marotta, Angelo Morzenti, Dino Mandrioli
Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. ICDCS (2001)
Alberto Coen-Porisini, Dino Mandrioli
Using TRIO for designing a CORBA-based application. Concurr. Pract. Exp. 12 (10) (2000)
Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini
A formal approach for designing CORBA based applications. ICSE (2000)
Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli
Parallel Refinement Mechanisms for Real-Time Systems. FASE (2000)
Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti
A framework architecture for supervision and control systems. ACM Comput. Surv. 32 (1es) (2000)
Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti
From Formal Models to Formally Based Methods: An Industrial Experience. ACM Trans. Softw. Eng. Methodol. 8 (1) (1999)
Angelo Gargantini, Dino Mandrioli, Angelo Morzenti
Dealing with Zero-Time Transitions in Axiom Systems. Inf. Comput. 150 (2) (1999)
Dino Mandrioli
Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language. AMAST (1996)
Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli
A Formal Framework for ASTRAL Inter-level Proof Obligations. ESEC (1995)
Dino Mandrioli, Sandro Morasca, Angelo Morzenti
Generating Test Cases for Real-Time Systems from Logic Specifications. ACM Trans. Comput. Syst. 13 (4) (1995)
Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli
A Formal Framework for ASTRAL Intralevel Proof Obligations. IEEE Trans. Software Eng. 20 (8) (1994)
Miguel Felder, Dino Mandrioli, Angelo Morzenti
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models. IEEE Trans. Software Eng. 20 (2) (1994)
Dino Mandrioli
The Object-Oriented Specification of Real-Time Systems. TOOLS (10) (1993)
Alberto Coen-Porisini, Dino Mandrioli
A Formal Framework for ASTRAL Intra-Level Proof Obligations. ESEC (1993)
Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
Executable Specifications with Data-flow Diagrams. Softw. Pract. Exp. 23 (6) (1993)
Dino Mandrioli
The Object-Oriented Specification of Real-Time Systems. TOOLS (8) (1992)
Dino Mandrioli
Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach. TOOLS (8) (1992)
Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi
A Model Parametric Real-Time Logic. ACM Trans. Program. Lang. Syst. 14 (4) (1992)
Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli
Software Specialization Via Symbolic Execution. IEEE Trans. Software Eng. 17 (9) (1991)
Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto
Dealing with different time scales in formal specifications. IWSSD (1991)
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
A Unified High-Level Petri Net Formalism for Time-Critical Systems. IEEE Trans. Software Eng. 17 (2) (1991)
Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli
QRT FIFO Automata, Breath-First Grammars and Their Relations. Theor. Comput. Sci. 85 (1) (1991)
Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti
TRIO: A logic language for executable specifications of real-time systems. J. Syst. Softw. 12 (2) (1990)
Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli
Breath and Depth Grammars and Deque Automata. Int. J. Found. Comput. Sci. 1 (3) (1990)
Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli
Some Consideration on Real-Time Bahavior of Concurrent Programs. IEEE Trans. Software Eng. 15 (3) (1989)
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
Symbolic Execution of Concurrent Systems Using Petri Nets. Comput. Lang. 14 (4) (1989)
Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
A general way to put time in Petri nets. IWSSD (1989)

Dino Mandrioli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dino Mandrioli