Personal information

No personal information available

Activities

Employment (1)

Politecnico di Milano: Milano, Lombardia, IT

1980-11-02 to present | Professor (Dipartimento di elettronica informazione e bioingegneria)
Employment
Source: Self-asserted source
Dino Mandrioli

Works (8)

Cyclic Operator Precedence Grammars for Improved Parallel Parsing

2024 | Book chapter
Contributors: Michele Chiari; Dino Mandrioli; Matteo Pradella
Source: check_circle
Crossref

A Model Checker for Operator Precedence Languages

ACM Transactions on Programming Languages and Systems
2023-09-30 | Journal article
Contributors: Michele Chiari; Dino Mandrioli; Francesco Pontiggia; Matteo Pradella
Source: check_circle
Crossref

Model-Checking Structured Context-Free Languages

2021 | Book chapter
Contributors: Michele Chiari; Dino Mandrioli; Matteo Pradella
Source: check_circle
Crossref

Operator precedence temporal logic and model checking

Theoretical Computer Science
2020-12 | Journal article
Contributors: Michele Chiari; Dino Mandrioli; Matteo Pradella
Source: check_circle
Crossref

Safety Assessment of Collaborative Robotics Through Automated Formal Verification

IEEE Transactions on Robotics
2020-02 | Journal article
Contributors: Federico Vicentini; Mehrnoosh Askarpour; Matteo G. Rossi; Dino Mandrioli
Source: check_circle
Crossref

Formal model of human erroneous behavior for safety analysis in collaborative robotics

Robotics and Computer-Integrated Manufacturing
2019-06 | Journal article
Contributors: Mehrnoosh Askarpour; Dino Mandrioli; Matteo Rossi; Federico Vicentini
Source: check_circle
Crossref

Toward a theory of input-driven locally parsable languages

Theoretical Computer Science
2017-01 | Journal article
Contributors: Stefano Crespi Reghizzi; Violetta Lonati; Dino Mandrioli; Matteo Pradella
Source: check_circle
Crossref

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

Theoretical Computer Science
2016-08 | Journal article
Contributors: Matteo Rossi; Dino Mandrioli; Angelo Morzenti; Luca Ferrucci
Source: check_circle
Crossref