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

Leopold Haller; Alberto Griggio; Martin Brain; Daniel Kroening; Deciding Floating-Point Logic with Systematic Abstraction; Being printed; pp.
Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.; Strong temporal planning with uncontrollable durations; in «ARTIFICIAL INTELLIGENCE»; Vol. 256>; 2018; pp. 1-34
Micheli, Andrea; Disjunctive temporal networks with uncertainty via SMT: Recent results and directions; in «INTELLIGENZA ARTIFICIALE»; Vol. 11>; 2017; pp. 155-178
Scala, Enrico; Patrik, Haslum; Daniele, Magazzeni; Sylvie, Thiebaux; Landmarks for numeric planning problems; in «Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2017)»; 2017; pp. 4384-4390
Alban, Grastien; Scala, Enrico; Intelligent Belief State Sampling for Conformant Planning; in «Proceedings of the Twenty-Sixth International Joint Conference onArtificial Intelligence, IJCAI 2017, Melbourne, Australia, August19-25, 2017»; ijcai.org; 2017; pp. 4317-4323
Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic; in «Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence»; AAAI Press; 2017; pp. 3547-3554
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto; Satisfiability Modulo Transcendental Functions via Incremental Linearization; in «Automated Deduction – CADE 26»; Vol. 10395>; 2017; pp. 95-113
Fakhry, Mahmoud; Svaizer, Piergiorgio; Omologo, Maurizio; Audio Source Separation in Reverberant Environments Using β -Divergence-Based Nonnegative Factorization; in «IEEE TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING»; Vol. 25>; 2017; pp. 1462-1476
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto; Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF; in «Tools and Algorithms for the Construction and Analysis of Systems»; Vol. 10205>; 2017; pp. 58-75
Cavada, Roberto; Cimatti, Alessandro; Crema, Luigi; Roccabruna, Mattia; Tonetta, Stefano; Model-Based Design of an Energy-System Embedded Controller Using Taste; in «Proceedings of FM 2016: Formal Methods 21st International Symposium»; Vol. 9995>; 2016; pp. 741-747

Embedded Systems

Head of Unit

People

Publications