logo-polimi
Loading...
Degree programme
Programme Structure
Show/Search Programme
Degree Programme
International context
Customized Schedule
Your customized time schedule has been disabled
Enable
Search
Search a Professor
Professor's activities
Search a Course
Search a Course (system prior D.M. n. 509)
Search Lessons taught in English
Information on didactic, research and institutional assignments on this page are certified by the University; more information, prepared by the professor, are available on the personal web page and in the curriculum vitae indicated on this webpage.
Information on professor
ProfessorMandrioli Dino
QualificationRetired Full professor
Belonging DepartmentDipartimento di Elettronica, Informazione e Bioingegneria
Scientific-Disciplinary SectorING-INF/05 - Information Processing Systems
Curriculum VitaeDownload CV (99.76Kb - 22/05/2013)
OrcIDhttps://orcid.org/0000-0002-0945-5947

Contacts
Professor's office hours
DepartmentFloorOfficeDayTimetableTelephoneFaxNotes
DEIB, edificio 22--303WednesdayFrom 09:30
To 11:30
3522--Oppure per appuntamento.
E-maildino.mandrioli@polimi.it
Professor's personal websitehttp://home.dei.polimi.it/mandriol/

Data source: RE.PUBLIC@POLIMI - Research Publications at Politecnico di Milano

List of publications and reserach products for the year 2019 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
Formal model of human erroneous behavior for safety analysis in collaborative robotics (Show >>)
Safety Assessment of Collaborative Robotics Through Automated Formal Verification (Show >>)
Contributions on scientific books
Formal Methods in Designing Critical Cyber-Physical Systems (Show >>)
Conference proceedings
Word- and Tree-based Temporal Logics for Operator Precedence Languages (Show >>)


List of publications and reserach products for the year 2018 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
Generalizing input-driven languages: Theoretical and practical benefits (Show >>)
Conference proceedings
Temporal Logic and Model Checking for Operator Precedence Languages (Show >>)


List of publications and reserach products for the year 2017 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
Toward a theory of input-driven locally parsable languages (Show >>)
Conference proceedings
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications (Show >>)
Weighted Operator Precedence Languages (Show >>)


List of publications and reserach products for the year 2016 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications (Show >>)
Conference proceedings
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration (Show >>)


List of publications and reserach products for the year 2015 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Journal Articles
Programming Languages shouldn't be "too Natural" (Show >>)
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization (Show >>)
Parallel parsing made practical (Show >>)
Conference proceedings
On the Heroism of really Pursuing Formal Methods (Show >>)
First-Order Logic Definability of Free Languages (Show >>)
Locally Chain-Parsable Languages (Show >>)
manifesti v. 3.1.9 / 3.1.9
Area Servizi ICT
07/12/2019