An Integrated Theory of Problems as an Algebraic Base for Complexity Understanding and Automatic Problem Solving. - Giovanni Guida; Dino Mandrioli; Amedeo Paci; Marco Somalvico (Optimization Techniques, 1975)

A Decidability Theorem for a Class of Vector-Addition Systems. - Stefano Crespi-Reghizzi; Dino Mandrioli (Inf. Process. Lett., 1975)

Erratum: A Decidability Theorem for a Class of Vector-Addition Systems. - Stefano Crespi-Reghizzi; Dino Mandrioli (Inf. Process. Lett., 1975)

n-Reconstructability of Context-Free Grammars. - Dino Mandrioli (Inf. Process. Lett., 1976)

An integrated model of problem solver. - Giovanni Guida; Dino Mandrioli; Marco Somalvico (Inf. Sci., 1977)

A Note on Petri Net Languages - Dino Mandrioli (Inf. Control., 1977)

A Class of Grammar Generating Non-Counting Languages. - Stefano Crespi-Reghizzi; Dino Mandrioli (Inf. Process. Lett., 1978)

Noncounting Context-Free Languages. - Stefano Crespi-Reghizzi; Giovanni Guida; Dino Mandrioli (J. ACM, 1978)

Algebraic Properties of Operator Precedence Languages - Stefano Crespi-Reghizzi; Dino Mandrioli; David F. Martin (Inf. Control., 1978)

Incremental Parsing. - Carlo Ghezzi; Dino Mandrioli (ACM Trans. Program. Lang. Syst., 1979)

Augmenting Parsers to Support Incrementality. - Carlo Ghezzi; Dino Mandrioli (J. ACM, 1980)

Separate Compilation and Partial Specification in Pascal. - Augusto Celentano; Pierluigi Della Vigna; Carlo Ghezzi; Dino Mandrioli (IEEE Trans. Software Eng., 1980)

Operator Precedence Grammars and the Noncounting Property. - Stefano Crespi-Reghizzi; Giovanni Guida; Dino Mandrioli (SIAM J. Comput., 1981)

Language Constructs for Real-Time Distributed Systems. - Daniel M. Berry; Carlo Ghezzi; Dino Mandrioli; Francesco Tisato (Comput. Lang., 1982)

On teaching theoretical foundations of computer science. - Dino Mandrioli (SIGACT News, 1982)

Program Simplification via Symbolic Interpretation. - Carlo Ghezzi; Dino Mandrioli; Antonio Tecchio (FSTTCS, 1985)

The Ada Task System and Real-Time Applications: An Implementation Schema. - Nicoletta Cocco; Dino Mandrioli; Vitaliano Milanese (Comput. Lang., 1985)

Modeling the Ada Task System by Petri Nets. - Dino Mandrioli; Roberto V. Zicari; Carlo Ghezzi; Francesco Tisato (Comput. Lang., 1985)

On Deterministic Multi-Pass Analysis. - Claudio Citrini; Stefano Crespi-Reghizzi; Dino Mandrioli (SIAM J. Comput., 1986)

On the Specification of Real-Time Systems Using Logic Programming. - Franca Garzotto; Carlo Ghezzi; Dino Mandrioli; Angelo Morzenti (ESEC, 1987)

A general way to put time in Petri nets. - Carlo Ghezzi; Dino Mandrioli; Sandro Morasca; Mauro Pezzè (IWSSD, 1989)

Symbolic Execution of Concurrent Systems Using Petri Nets. - Carlo Ghezzi; Dino Mandrioli; Sandro Morasca; Mauro Pezzè (Comput. Lang., 1989)

Some Consideration on Real-Time Bahavior of Concurrent Programs. - Alfonso Fuggetta; Carlo Ghezzi; Dino Mandrioli (IEEE Trans. Software Eng., 1989)

Breath and Depth Grammars and Deque Automata. - Alessandra Cherubini; Claudio Citrini; Stefano Crespi-Reghizzi; Dino Mandrioli (Int. J. Found. Comput. Sci., 1990)

TRIO: A logic language for executable specifications of real-time systems. - Carlo Ghezzi; Dino Mandrioli; Angelo Morzenti (J. Syst. Softw., 1990)

Fundamentals of software engineering. - Carlo Ghezzi; Mehdi Jazayeri; Dino Mandrioli (Prentice Hall, 1991)

Dealing with different time scales in formal specifications. - Edoardo Corsetti; Ernani Crivelli; Dino Mandrioli; Angelo Montanari; Angelo Morzenti; Pierluigi San Pietro; Elena Ratto (IWSSD, 1991)

QRT FIFO Automata, Breath-First Grammars and Their Relations. - Alessandra Cherubini; Claudio Citrini; Stefano Crespi-Reghizzi; Dino Mandrioli (Theor. Comput. Sci., 1991)

Software Specialization Via Symbolic Execution. - Alberto Coen-Porisini; Flavio De Paoli; Carlo Ghezzi; Dino Mandrioli (IEEE Trans. Software Eng., 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)

The Object-Oriented Specification of Real-Time Systems. - Dino Mandrioli (TOOLS (8), 1992)

Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach. - Dino Mandrioli (TOOLS (8), 1992)

A Model Parametric Real-Time Logic. - Angelo Morzenti; Dino Mandrioli; Carlo Ghezzi (ACM Trans. Program. Lang. Syst., 1992)

A Formal Framework for ASTRAL Intra-Level Proof Obligations. - Alberto Coen-Porisini; Dino Mandrioli (ESEC, 1993)

Executable Specifications with Data-flow Diagrams. - Alfonso Fuggetta; Carlo Ghezzi; Dino Mandrioli; Angelo Morzenti (Softw. Pract. Exp., 1993)

A Formal Framework for ASTRAL Intralevel Proof Obligations. - Alberto Coen-Porisini; Richard A. Kemmerer; Dino Mandrioli (IEEE Trans. Software Eng., 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 Inter-level Proof Obligations. - Alberto Coen-Porisini; Richard A. Kemmerer; Dino Mandrioli (ESEC, 1995)

Generating Test Cases for Real-Time Systems from Logic Specifications. - Dino Mandrioli; Sandro Morasca; Angelo Morzenti (ACM Trans. Comput. Syst., 1995)

Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language. - Dino Mandrioli (AMAST, 1996)

Software Qualities and Principles. - Carlo Ghezzi; Mehdi Jazayeri; Dino Mandrioli (The Computer Science and Engineering Handbook, 1997)

Dealing with Zero-Time Transitions in Axiom Systems. - Angelo Gargantini; Dino Mandrioli; Angelo Morzenti (Inf. Comput., 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)

Parallel Refinement Mechanisms for Real-Time Systems. - Paul Z. Kolano; Richard A. Kemmerer; Dino Mandrioli (FASE, 2000)

Using TRIO for designing a CORBA-based application. - Alberto Coen-Porisini; Dino Mandrioli (Concurr. Pract. Exp., 2000)

A framework architecture for supervision and control systems. - Riccardo Capobianchi; Alberto Coen-Porisini; Dino Mandrioli; Angelo Morzenti (ACM Comput. Surv., 2000)

Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications. - Fernando Marotta; Angelo Morzenti; Dino Mandrioli (ICDCS, 2001)

Real-Time Synchronised Petri Nets. - Giovanna Di Marzo Serugendo; Dino Mandrioli; Didier Buchs; Nicolas Guelfi (ICATPN, 2002)

Fundamentals of software engineering (2. ed.). - Carlo Ghezzi; Mehdi Jazayeri; Dino Mandrioli (Prentice Hall, 2003)

A formal approach for designing CORBA-based applications. - Alberto Coen-Porisini; Matteo Pradella; Matteo Rossi 001; Dino Mandrioli (ACM Trans. Softw. Eng. Methodol., 2003)

A formal approach for modeling and verification of RTCORBA-based applications. - Matteo Rossi 001; Dino Mandrioli (ISSTA, 2004)

Advertising Formal Methods and Organizing Their Teaching: Yes, but .... - Dino Mandrioli (TFM, 2004)

ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. - Matteo Pradella; Matteo Rossi 001; Dino Mandrioli (FORTE, 2005)

The challenges of software engineering education. - Carlo Ghezzi; Dino Mandrioli (ICSE, 2005)

A UML-Compatible Formal Language for System Architecture Description. - Matteo Pradella; Matteo Rossi 001; Dino Mandrioli (SDL Forum, 2005)

A formal approach to sensor placement and configuration in a network intrusion detection system. - Marco Rolando; Matteo Rossi 001; Niccolò Sanarico; Dino Mandrioli (SESS@ICSE, 2006)

The industrialization of formal methods. - John S. Fitzgerald; Stefania Gnesi; Dino Mandrioli (Int. J. Softw. Tools Technol. Transf., 2006)

Modeling the Environment in Software-Intensive Systems. - Carlo A. Furia; Matteo Rossi 001; Dino Mandrioli (MiSE@ICSE, 2007)

FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. - Andrea Matta; Matteo Rossi 001; Paola Spoletini; Dino Mandrioli; Quirico Semeraro; Tullio Tolio (ICTAC, 2007)

Automated compositional proofs for real-time systems. - Carlo A. Furia; Matteo Rossi 001; Dino Mandrioli; Angelo Morzenti (Theor. Comput. Sci., 2007)

SCORE: The first student Contest in Software Engineering. - Mehdi Jazayeri; Dino Mandrioli (ICSE Companion, 2009)

Algebraic properties of structured context-free languages: old approaches and novel developments - Stefano Crespi-Reghizzi; Dino Mandrioli (CoRR, 2009)

Computers Foster Education and Education Fosters Computer Science - The Politecnico's Approach. - Dino Mandrioli; Aldo Torrebruno; Luisa Marini (CSEDU (2), 2010)

Refinement and Verification of Real-Time Systems - Paul Z. Kolano; Carlo A. Furia; Richard A. Kemmerer; Dino Mandrioli (CoRR, 2010)

Modeling time in computing: A taxonomy and a comparative survey. - Carlo A. Furia; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (ACM Comput. Surv., 2010)

SCORE: the first student contest on software engineering. - Dino Mandrioli; Stephen Fickas; Carlo A. Furia; Mehdi Jazayeri; Matteo Rossi 001; Michal Young (ACM SIGSOFT Softw. Eng. Notes, 2010)

Precedence Automata and Languages. - Violetta Lonati; Dino Mandrioli; Matteo Pradella (CSR, 2011)

Modeling Time in Computing. - Carlo A. Furia; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (Springer, 2012)

Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. - Luca Ferrucci; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (FMICS, 2012)

PAPAGENO: A Parallel Parser Generator for Operator Precedence Grammars. - Alessandro Barenghi; Ermes Viviani; Stefano Crespi-Reghizzi; Dino Mandrioli; Matteo Pradella (SLE, 2012)

A Metric Temporal Logic for Dealing with Zero-Time Transitions. - Luca Ferrucci; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (TIME, 2012)

Logic Characterization of Floyd Languages - Violetta Lonati; Dino Mandrioli; Matteo Pradella (CoRR, 2012)

Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach - Luca Ferrucci; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (CoRR, 2012)

Operator precedence and the visibly pushdown property. - Stefano Crespi-Reghizzi; Dino Mandrioli (J. Comput. Syst. Sci., 2012)

Operator Precedence ω-Languages. - Federica Panella; Matteo Pradella; Violetta Lonati; Dino Mandrioli (Developments in Language Theory, 2013)

Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages. - Violetta Lonati; Dino Mandrioli; Matteo Pradella (SOFSEM, 2013)

A Syntactic-Semantic Approach to Incremental Verification - Domenico Bianculli; Antonio Filieri; Carlo Ghezzi; Dino Mandrioli (CoRR, 2013)

Parallel parsing of operator precedence grammars. - Alessandro Barenghi; Stefano Crespi-Reghizzi; Dino Mandrioli; Matteo Pradella (Inf. Process. Lett., 2013)

The PAPAGENO Parallel-Parser Generator. - Alessandro Barenghi; Stefano Crespi-Reghizzi; Dino Mandrioli; Federica Panella; Matteo Pradella (CC, 2014)

Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows. - Domenico Bianculli; Antonio Filieri; Carlo Ghezzi; Dino Mandrioli (ISoLA (1), 2014)

Automated formal verification for flexible manufacturing systems. - Emanuele Carpanzano; Luca Ferrucci; Dino Mandrioli; Mauro Mazzolini; Angelo Morzenti; Matteo Rossi 001 (J. Intell. Manuf., 2014)

First-Order Logic Definability of Free Languages. - Violetta Lonati; Dino Mandrioli; Federica Panella; Matteo Pradella (CSR, 2015)

Syntax-Driven Program Verification of Matching Logic Properties. - Domenico Bianculli; Antonio Filieri; Carlo Ghezzi; Dino Mandrioli; Alessandro Maria Rizzi (FormaliSE@ICSE, 2015)

On the Heroism of Really Pursuing Formal Methods. - Dino Mandrioli (FormaliSE@ICSE, 2015)

Locally Chain-Parsable Languages. - Stefano Crespi-Reghizzi; Violetta Lonati; Dino Mandrioli; Matteo Pradella (MFCS (1), 2015)

Parallel parsing made practical. - Alessandro Barenghi; Stefano Crespi-Reghizzi; Dino Mandrioli; Federica Panella; Matteo Pradella (Sci. Comput. Program., 2015)

Syntactic-semantic incrementality for agile verification. - Domenico Bianculli; Antonio Filieri; Carlo Ghezzi; Dino Mandrioli (Sci. Comput. Program., 2015)

Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization. - Violetta Lonati; Dino Mandrioli; Federica Panella; Matteo Pradella (SIAM J. Comput., 2015)

Programming Languages shouldn't be "too Natural". - Dino Mandrioli; Matteo Pradella (ACM SIGSOFT Softw. Eng. Notes, 2015)

SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. - Mehrnoosh Askarpour; Dino Mandrioli; Matteo Rossi 001; Federico Vicentini (SAFECOMP, 2016)

A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications. - Matteo Rossi 001; Dino Mandrioli; Angelo Morzenti; Luca Ferrucci (Theor. Comput. Sci., 2016)

A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications. - Mehrnoosh Askarpour; Dino Mandrioli; Matteo Rossi 001; Federico Vicentini (Ershov Informatics Conference, 2017)

Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. - Mehrnoosh Askarpour; Dino Mandrioli; Matteo Rossi 001; Federico Vicentini (SAFECOMP, 2017)

Toward a theory of input-driven locally parsable languages. - Stefano Crespi-Reghizzi; Violetta Lonati; Dino Mandrioli; Matteo Pradella (Theor. Comput. Sci., 2017)

Temporal Logic and Model Checking for Operator Precedence Languages. - Michele Chiari; Dino Mandrioli; Matteo Pradella (GandALF, 2018)

Generalizing input-driven languages: Theoretical and practical benefits. - Dino Mandrioli; Matteo Pradella (Comput. Sci. Rev., 2018)

Formal Methods in Designing Critical Cyber-Physical Systems. - Mehrnoosh Askarpour; Carlo Ghezzi; Dino Mandrioli; Matteo Rossi 001; Christos Tsigkanos (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Word- and Tree-based Temporal Logics for Operator Precedence Languages. - Michele Chiari; Dino Mandrioli; Matteo Pradella (ICTCS, 2019)

POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages. - Michele Chiari; Dino Mandrioli; Matteo Pradella (CoRR, 2019)

Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages. - Dino Mandrioli; Matteo Pradella; Stefano Crespi-Reghizzi (ICTAC, 2020)

Linear Temporal Logics for Structured Context-Free Languages. - Michele Chiari; Davide Bergamaschi; Dino Mandrioli; Matteo Pradella (ICTCS, 2020)

Aperiodicity, Star-freeness, and First-order Definability of Structured Context-Free Languages. - Dino Mandrioli; Matteo Pradella; Stefano Crespi-Reghizzi (CoRR, 2020)

Operator precedence temporal logic and model checking. - Michele Chiari; Dino Mandrioli; Matteo Pradella (Theor. Comput. Sci., 2020)

Safety Assessment of Collaborative Robotics Through Automated Formal Verification. - Federico Vicentini; Mehrnoosh Askarpour; Matteo Rossi 001; Dino Mandrioli (IEEE Trans. Robotics, 2020)

Model-Checking Structured Context-Free Languages. - Michele Chiari; Dino Mandrioli; Matteo Pradella (CAV (2), 2021)

Weighted operator precedence languages. - Manfred Droste; Stefan Dück; Dino Mandrioli; Matteo Pradella (Inf. Comput., 2022)

A First-Order Complete Temporal Logic for Structured Context-Free Languages. - Michele Chiari; Dino Mandrioli; Matteo Pradella (Log. Methods Comput. Sci., 2022)

Lecture Notes on Monadic First- and Second-Order Logic on Strings. - Dino Mandrioli; Davide Martinenghi; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001 (CoRR, 2023)

Cyclic Operator Precedence Grammars for Parallel Parsing. - Michele Chiari; Dino Mandrioli; Matteo Pradella (CoRR, 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)

A Model Checker for Operator Precedence Languages. - Michele Chiari; Dino Mandrioli; Francesco Pontiggia; Matteo Pradella (ACM Trans. Program. Lang. Syst., 2023)

Cyclic Operator Precedence Grammars for Improved Parallel Parsing. - Michele Chiari; Dino Mandrioli; Matteo Pradella (DLT, 2024)

Boosting Parallel Parsing through Cyclic Operator Precedence Grammars. - Michele Chiari; Michele Giornetta; Dino Mandrioli; Matteo Pradella (SLE, 2025)