logo-polimi
Loading...
Manifesto
Struttura Corso di Studi
Cerca/Visualizza Manifesto
Regolamento didattico
Internazionalizzazione
Orario Personalizzato
Il tuo orario personalizzato è disabilitato
Abilita
Ricerche
Cerca Docenti
Attività docente
Cerca Insegnamenti
Cerca insegnamenti degli Ordinamenti precedenti al D.M.509
Erogati in lingua Inglese
Le informazioni sulla didattica, sulla ricerca e sui compiti istituzionali riportate in questa pagina sono certificate dall'Ateneo; ulteriori informazioni, redatte a cura del docente, sono disponibili sulla pagina web personale e nel curriculum vitae indicati nella scheda.
Informazioni sul docente
DocenteMandrioli Dino
QualificaProfessore ordinario non più in servizio
Dipartimento d'afferenzaDipartimento di Elettronica, Informazione e Bioingegneria
Settore Scientifico DisciplinareING-INF/05 - Sistemi Di Elaborazione Delle Informazioni
Curriculum VitaeScarica il CV (99.76Kb - 22/05/2013)
OrcIDhttps://orcid.org/0000-0002-0945-5947

Contatti
Orario di ricevimento
DipartimentoPianoUfficioGiornoOrarioTelefonoFaxNote
DEIB, edificio 22--303MercoledìDalle 09:30
Alle 11:30
3522--Oppure per appuntamento.
E-maildino.mandrioli@polimi.it
Pagina web redatta a cura del docentehttp://home.dei.polimi.it/mandriol/

Fonte dati: RE.PUBLIC@POLIMI - Research Publications at Politecnico di Milano

Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2019 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
Formal model of human erroneous behavior for safety analysis in collaborative robotics (Mostra >>)
Safety Assessment of Collaborative Robotics Through Automated Formal Verification (Mostra >>)
Contributi su volumi (Capitolo o Saggio)
Formal Methods in Designing Critical Cyber-Physical Systems (Mostra >>)
Contributo in Atti di convegno
Word- and Tree-based Temporal Logics for Operator Precedence Languages (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2018 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
Generalizing input-driven languages: Theoretical and practical benefits (Mostra >>)
Contributo in Atti di convegno
Temporal Logic and Model Checking for Operator Precedence Languages (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2017 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
Toward a theory of input-driven locally parsable languages (Mostra >>)
Contributo in Atti di convegno
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications (Mostra >>)
Weighted Operator Precedence Languages (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2016 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications (Mostra >>)
Contributo in Atti di convegno
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration (Mostra >>)


Elenco delle pubblicazioni e dei prodotti della ricerca per l'anno 2015 (Mostra tutto | Nascondi tutto)
Tipologia Titolo Pubblicazione/Prodotto
Articoli su riviste
Syntactic-semantic incrementality for agile verification (Mostra >>)
Programming Languages shouldn't be "too Natural" (Mostra >>)
Operator Precedence Languages: Their Automata-Theoretic and Logic Characterization (Mostra >>)
Parallel parsing made practical (Mostra >>)
Contributo in Atti di convegno
On the Heroism of really Pursuing Formal Methods (Mostra >>)
First-Order Logic Definability of Free Languages (Mostra >>)
Locally Chain-Parsable Languages (Mostra >>)
Syntax-Driven Program Verification of Matching Logic Properties (Mostra >>)
manifesti v. 3.1.9 / 3.1.9
Area Servizi ICT
14/12/2019