Embedded Systems

Head of Unit

Alessandro Cimatti

Head of Impact Area Smart Digital Industry

People

Michele Sbicego

Embedded Systems (ES) Master Student
Gianni Zampedri

Embedded Systems (ES) Master Student
Ahmed Irfan

Embedded Systems (ES) PhD Student
Mirko Sessa

Embedded Systems (ES) PhD Student
Anthony Fernandes Pires

Embedded Systems (ES) Postdoc
Andrea Micheli

Embedded Systems (ES) Postdoc
Alberto Bonizzi

Embedded Systems (ES) Researcher
Marco Bozzano

Embedded Systems (ES) Researcher
Alberto Debiasi

Embedded Systems (ES) Researcher
Alberto Griggio

Embedded Systems (ES) Researcher
Enrico Magnago

Embedded Systems (ES) Researcher
Elia Rigo

Embedded Systems (ES) Researcher
Marco Roveri

Embedded Systems (ES) Researcher
Ali Sajjad

Embedded Systems (ES) Researcher
Enrico Scala

Embedded Systems (ES) Researcher
Ivan Stojic

Embedded Systems (ES) Researcher
Piergiorgio Svaizer

Embedded Systems (ES) Researcher
Stefano Tonetta

Embedded Systems (ES) Researcher
Pietro Braghieri

Embedded Systems (ES) Technologist
Roberto Cavada

Embedded Systems (ES) Technologist

Alberto Griggio; Formal Methods in Computer-Aided Design, FMCAD 2012; Deciding Floating-Point Logic with Systematic Abstraction; Being printed; pp.
Depiction of Multivariate Data Through Flow Maps; in «Service-Oriented Mapping: Changing Paradigm in Map Production and Geoinformation Management»; Springer International Publishing; 2018; pp. 125-141
Alessandro Cimatti; Alberto Griggio; Ahmed Irfan; Marco Roveri; Roberto Sebastiani; Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization; in «Theory and Applications of Satisfiability Testing – SAT 2018»; Vol. 10929>; 2018; pp. 383-398
Alessandro Cimatti; Ramiro Adrian Demasi; Stefano Tonetta; Tightening the contract refinements of a system architecture; in «FORMAL METHODS IN SYSTEM DESIGN»; Vol. 52>; 2018; pp. 88-116
Alessandro Cimatti; Andrea Micheli; Marco Roveri; Strong temporal planning with uncontrollable durations; in «ARTIFICIAL INTELLIGENCE»; Vol. 256>; 2018; pp. 1-34
Stefano Artuso; Luca Cristoforetti; Giuseppe Daniele Falavigna; Roberto Gretter; Nadia Mana; Gianluca Schiavo; Seventh ISCA Workshop on Speech and Language Technology in Education (SLaTE 2017) - Satellite event to INTERSPEECH2017; A System for Assessing Children Reading at School; in «Proceedings of the Seventh ISCA workshop on Speech and Language Technology in Education 2017»; 2017; pp. 115-120
Stefano Tonetta; Eighth International Symposium on Games, Automata, Logicsand Formal Verification, GandALF 2017; Linear-time Temporal Logic with Event Freezing Functions; in «Proceedings Eighth International Symposium on Games, Automata, Logicsand Formal Verification, GandALF 2017»; Vol. 256>; 2017; pp. 195-209
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings; Springer; Vol. 10488>; 2017; pp.
Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings; Springer; Vol. 10489>; 2017; pp.
Model-Based Safety and Assessment; in «LECTURE NOTES IN COMPUTER SCIENCE»; Springer; Vol. 10437>; 2017; pp.

Embedded Systems

Head of Unit

People

Publications