Dino Mandrioli

According to our database, Dino Mandrioli authored at least 111 papers between 1975 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A Model Checker for Operator Precedence Languages.

Michele Chiari, Dino Mandrioli, Francesco Pontiggia, Matteo Pradella

ACM Trans. Program. Lang. Syst., September, 2023

Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages.

Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi

Log. Methods Comput. Sci., 2023

Cyclic Operator Precedence Grammars for Parallel Parsing.

Michele Chiari, Dino Mandrioli, Matteo Pradella

CoRR, 2023

Lecture Notes on Monadic First- and Second-Order Logic on Strings.

Dino Mandrioli, Davide Martinenghi, Angelo Morzenti, Matteo Pradella, Matteo Rossi

CoRR, 2023

2022

A First-Order Complete Temporal Logic for Structured Context-Free Languages.

Michele Chiari, Dino Mandrioli, Matteo Pradella

Log. Methods Comput. Sci., 2022

Weighted operator precedence languages.

Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella

Inf. Comput., 2022

2021

Model-Checking Structured Context-Free Languages.

Michele Chiari, Dino Mandrioli, Matteo Pradella

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Safety Assessment of Collaborative Robotics Through Automated Formal Verification.

Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi, Dino Mandrioli

IEEE Trans. Robotics, 2020

Operator precedence temporal logic and model checking.

Michele Chiari, Dino Mandrioli, Matteo Pradella

Theor. Comput. Sci., 2020

Aperiodicity, Star-freeness, and First-order Definability of Structured Context-Free Languages.

Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi

CoRR, 2020

Linear Temporal Logics for Structured Context-Free Languages.

Michele Chiari, Davide Bergamaschi, Dino Mandrioli, Matteo Pradella

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages.

Dino Mandrioli, Matteo Pradella, Stefano Crespi-Reghizzi

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

2019

POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages.

Michele Chiari, Dino Mandrioli, Matteo Pradella

CoRR, 2019

Word- and Tree-based Temporal Logics for Operator Precedence Languages.

Michele Chiari, Dino Mandrioli, Matteo Pradella

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Formal Methods in Designing Critical Cyber-Physical Systems.

Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Generalizing input-driven languages: Theoretical and practical benefits.

Dino Mandrioli, Matteo Pradella

Comput. Sci. Rev., 2018

Temporal Logic and Model Checking for Operator Precedence Languages.

Michele Chiari, Dino Mandrioli, Matteo Pradella

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

2017

Toward a theory of input-driven locally parsable languages.

Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella

Theor. Comput. Sci., 2017

Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications.

Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini

Proceedings of the Computer Safety, Reliability, and Security, 2017

A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications.

Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini

Proceedings of the Perspectives of System Informatics, 2017

2016

A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications.

Matteo Rossi, Dino Mandrioli, Angelo Morzenti, Luca Ferrucci

Theor. Comput. Sci., 2016

SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration.

Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini

Proceedings of the Computer Safety, Reliability, and Security, 2016

2015

Programming Languages shouldn't be "too Natural".

Dino Mandrioli, Matteo Pradella

ACM SIGSOFT Softw. Eng. Notes, 2015

Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization.

Violetta Lonati, Dino Mandrioli, Federica Panella, Matteo Pradella

SIAM J. Comput., 2015

Syntactic-semantic incrementality for agile verification.

Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli

Sci. Comput. Program., 2015

Parallel parsing made practical.

Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella

Sci. Comput. Program., 2015

Locally Chain-Parsable Languages.

Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

On the Heroism of Really Pursuing Formal Methods.

Dino Mandrioli

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

Syntax-Driven Program Verification of Matching Logic Properties.

Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, Alessandro Maria Rizzi

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

First-Order Logic Definability of Free Languages.

Violetta Lonati, Dino Mandrioli, Federica Panella, Matteo Pradella

Proceedings of the Computer Science - Theory and Applications, 2015

2014

Automated formal verification for flexible manufacturing systems.

Emanuele Carpanzano, Luca Ferrucci, Dino Mandrioli, Mauro Mazzolini, Angelo Morzenti, Matteo Rossi

J. Intell. Manuf., 2014

Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows.

Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

The PAPAGENO Parallel-Parser Generator.

Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Federica Panella, Matteo Pradella

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013

Parallel parsing of operator precedence grammars.

Alessandro Barenghi, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella

Inf. Process. Lett., 2013

A Syntactic-Semantic Approach to Incremental Verification

Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli

CoRR, 2013

Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages.

Violetta Lonati, Dino Mandrioli, Matteo Pradella

Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

Operator Precedence ω-Languages.

Federica Panella, Matteo Pradella, Violetta Lonati, Dino Mandrioli

Proceedings of the Developments in Language Theory - 17th International Conference, 2013

2012

Operator precedence and the visibly pushdown property.

Stefano Crespi-Reghizzi, Dino Mandrioli

J. Comput. Syst. Sci., 2012

Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

CoRR, 2012

Logic Characterization of Floyd Languages

Violetta Lonati, Dino Mandrioli, Matteo Pradella

CoRR, 2012

A Metric Temporal Logic for Dealing with Zero-Time Transitions.

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars.

Alessandro Barenghi, Ermes Viviani, Stefano Crespi-Reghizzi, Dino Mandrioli, Matteo Pradella

Proceedings of the Software Language Engineering, 5th International Conference, 2012

Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

Modeling Time in Computing.

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-32331-7, 2012

2011

Precedence Automata and Languages.

Violetta Lonati, Dino Mandrioli, Matteo Pradella

Proceedings of the Computer Science - Theory and Applications, 2011

2010

SCORE: the first student contest on software engineering.

Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young

ACM SIGSOFT Softw. Eng. Notes, 2010

Modeling time in computing: A taxonomy and a comparative survey.

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

ACM Comput. Surv., 2010

Refinement and Verification of Real-Time Systems

Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, Dino Mandrioli

CoRR, 2010

Computers Foster Education and Education Fosters Computer Science - The Politecnico's Approach.

Dino Mandrioli, Aldo Torrebruno, Luisa Marini

Proceedings of the CSEDU 2010 - Proceedings of the Second International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010, 2010

2009

Algebraic properties of structured context-free languages: old approaches and novel developments

Stefano Crespi-Reghizzi, Dino Mandrioli

CoRR, 2009

SCORE: The first student Contest in Software Engineering.

Mehdi Jazayeri, Dino Mandrioli

Proceedings of the 31st International Conference on Software Engineering, 2009

2007

Automated compositional proofs for real-time systems.

Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti

Theor. Comput. Sci., 2007

FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.

Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio

Proceedings of the Theoretical Aspects of Computing, 2007

Modeling the Environment in Software-Intensive Systems.

Carlo A. Furia, Matteo Rossi, Dino Mandrioli

Proceedings of the International Workshop on Modeling in Software Engineering, 2007

2006

The industrialization of formal methods.

John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli

Int. J. Softw. Tools Technol. Transf., 2006

A formal approach to sensor placement and configuration in a network intrusion detection system.

Marco Rolando, Matteo Rossi, Niccolò Sanarico, Dino Mandrioli

Proceedings of the 2006 international workshop on Software engineering for secure systems, 2006

2005

A UML-Compatible Formal Language for System Architecture Description.

Matteo Pradella, Matteo Rossi, Dino Mandrioli

Proceedings of the SDL 2005: Model Driven, 2005

The Challenges of Software Engineering Education.

Carlo Ghezzi, Dino Mandrioli

Proceedings of the Software Engineering Education in the Modern Age, 2005

ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.

Matteo Pradella, Matteo Rossi, Dino Mandrioli

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

Advertising Formal Methods and Organizing Their Teaching: Yes, but ....

Dino Mandrioli

Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

A formal approach for modeling and verification of RTCORBA-based applications.

Matteo Rossi, Dino Mandrioli

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

A formal approach for designing CORBA-based applications.

Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli

ACM Trans. Softw. Eng. Methodol., 2003

Fundamentals of software engineering (2. ed.).

Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli

Prentice Hall, ISBN: 978-0-13-305699-0, 2003

2002

Real-Time Synchronised Petri Nets.

Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications.

Fernando Marotta, Angelo Morzenti, Dino Mandrioli

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000

A framework architecture for supervision and control systems.

Riccardo Capobianchi, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti

ACM Comput. Surv., 2000

Using TRIO for designing a CORBA-based application.

Alberto Coen-Porisini, Dino Mandrioli

Concurr. Pract. Exp., 2000

Parallel Refinement Mechanisms for Real-Time Systems.

Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999

From Formal Models to Formally Based Methods: An Industrial Experience.

Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti

ACM Trans. Softw. Eng. Methodol., 1999

Dealing with Zero-Time Transitions in Axiom Systems.

Angelo Gargantini, Dino Mandrioli, Angelo Morzenti

Inf. Comput., 1999

1997

Software Qualities and Principles.

Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli

Proceedings of the Computer Science and Engineering Handbook, 1997

1996

Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language.

Dino Mandrioli

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Generating Test Cases for Real-Time Systems from Logic Specifications.

Dino Mandrioli, Sandro Morasca, Angelo Morzenti

ACM Trans. Comput. Syst., 1995

A Formal Framework for ASTRAL Inter-level Proof Obligations.

Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli

Proceedings of the 5th European Software Engineering Conference, 1995

1994

Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.

Miguel Felder, Dino Mandrioli, Angelo Morzenti

IEEE Trans. Software Eng., 1994

A Formal Framework for ASTRAL Intralevel Proof Obligations.

Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli

IEEE Trans. Software Eng., 1994

1993

Executable Specifications with Data-flow Diagrams.

Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti

Softw. Pract. Exp., 1993

A Formal Framework for ASTRAL Intra-Level Proof Obligations.

Alberto Coen-Porisini, Dino Mandrioli

Proceedings of the Software Engineering, 1993

1992

A Model Parametric Real-Time Logic.

Angelo Morzenti, Dino Mandrioli, Carlo Ghezzi

ACM Trans. Program. Lang. Syst., 1992

Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach.

Dino Mandrioli

Proceedings of the TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, 1992

The Object-Oriented Specification of Real-Time Systems.

Dino Mandrioli

Proceedings of the TOOLS 1992: 8th International Conference on Technology of Object-Oriented Languages and Systems, 1992

1991

A Unified High-Level Petri Net Formalism for Time-Critical Systems.

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè

IEEE Trans. Software Eng., 1991

Software Specialization Via Symbolic Execution.

Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli

IEEE Trans. Software Eng., 1991

QRT FIFO Automata, Breath-First Grammars and Their Relations.

Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli

Theor. Comput. Sci., 1991

Dealing with different time scales in formal specifications.

Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

Fundamentals of software engineering.

Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli

Prentice Hall, ISBN: 978-0-13-818204-5, 1991

1990

TRIO: A logic language for executable specifications of real-time systems.

Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti

J. Syst. Softw., 1990

Breath and Depth Grammars and Deque Automata.

Alessandra Cherubini, Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli

Int. J. Found. Comput. Sci., 1990

1989

Some Consideration on Real-Time Bahavior of Concurrent Programs.

Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli

IEEE Trans. Software Eng., 1989

Symbolic Execution of Concurrent Systems Using Petri Nets.

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè

Comput. Lang., 1989

A general way to put time in Petri nets.

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

1987

On the Specification of Real-Time Systems Using Logic Programming.

Franca Garzotto, Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti

Proceedings of the ESEC '87, 1987

1986

On Deterministic Multi-Pass Analysis.

Claudio Citrini, Stefano Crespi-Reghizzi, Dino Mandrioli

SIAM J. Comput., 1986

1985

Modeling the Ada Task System by Petri Nets.

Dino Mandrioli, Roberto V. Zicari, Carlo Ghezzi, Francesco Tisato

Comput. Lang., 1985

The Ada Task System and Real-Time Applications: An Implementation Schema.

Nicoletta Cocco, Dino Mandrioli, Vitaliano Milanese

Comput. Lang., 1985

Program Simplification via Symbolic Interpretation.

Carlo Ghezzi, Dino Mandrioli, Antonio Tecchio

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

1982

On teaching theoretical foundations of computer science.

Dino Mandrioli

SIGACT News, 1982

Language Constructs for Real-Time Distributed Systems.

Daniel M. Berry, Carlo Ghezzi, Dino Mandrioli, Francesco Tisato

Comput. Lang., 1982

1981

Operator Precedence Grammars and the Noncounting Property.

Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli

SIAM J. Comput., 1981

1980

Separate Compilation and Partial Specification in Pascal.

Augusto Celentano, Pierluigi Della Vigna, Carlo Ghezzi, Dino Mandrioli

IEEE Trans. Software Eng., 1980

Augmenting Parsers to Support Incrementality.

Carlo Ghezzi, Dino Mandrioli

J. ACM, 1980

1979

Incremental Parsing.

Carlo Ghezzi, Dino Mandrioli

ACM Trans. Program. Lang. Syst., 1979

1978

Algebraic Properties of Operator Precedence Languages

Stefano Crespi-Reghizzi, Dino Mandrioli, David F. Martin

Inf. Control., May, 1978

Noncounting Context-Free Languages.

Stefano Crespi-Reghizzi, Giovanni Guida, Dino Mandrioli

J. ACM, 1978

A Class of Grammar Generating Non-Counting Languages.

Stefano Crespi-Reghizzi, Dino Mandrioli

Inf. Process. Lett., 1978

1977

A Note on Petri Net Languages

Dino Mandrioli

Inf. Control., June, 1977

An integrated model of problem solver.

Giovanni Guida, Dino Mandrioli, Marco Somalvico

Inf. Sci., 1977

1976

n-Reconstructability of Context-Free Grammars.

Dino Mandrioli

Inf. Process. Lett., 1976

1975

Erratum: A Decidability Theorem for a Class of Vector-Addition Systems.

Stefano Crespi-Reghizzi, Dino Mandrioli

Inf. Process. Lett., 1975

A Decidability Theorem for a Class of Vector-Addition Systems.

Stefano Crespi-Reghizzi, Dino Mandrioli

Inf. Process. Lett., 1975

An Integrated Theory of Problems as an Algebraic Base for Complexity Understanding and Automatic Problem Solving.

Giovanni Guida, Dino Mandrioli, Amedeo Paci, Marco Somalvico

Proceedings of the Optimization Techniques: Modeling and Optimization in the Service of Man, Part 2, 1975