You are here

News and events

The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Symbolic Computation is concerned with the algorithmic determination of exact solutions to complex mathematical problems; and more recent developments in the area of Satisfiability Checking are starting to tackle similar problems but with different algorithmic and technological solutions.

EIT Digital is launching "Autonomous Warehouse and Last Mile Delivery" (AWARD) a new innovation activity which aims to make movements of goods more efficient and effective.

AWARD will focus on improving the current state of operations inside a warehouse.


The workshop showcased different model-based techniques for the design and verification of critical systems. The international speakers, invited as committee members for the PhD defense of Benjamin Bittner, gave insights into different ways how model-based design and verification technology can improve an engineer's understanding of and confidence in a given design model of a complex system.


Expertise dissemination on Model Based Design and Safety Assessment


The workshop addressed the theme of formal method for the design of critical systems. Our guests, who were in Trento for the Ph.D. dissertation of Sergio Mover, presented a number of studies conducted in this area. The program included an approach for detecting sensor spoofing attacks on a cyber-physical system, one for the verification of hybrid systems with the open-source framework Ariadne, the use of unfoldings in automated testing of multithreaded programs, and an overview of SATMC 3.0, which is a SAT-based bounded model checker for security-critical systems.


The article "Is There Light at the Ends of the Tunnel? Wireless Sensor Networks for Adaptive Lighting in Road Tunnels" written by Amy Murphy and Matteo Ceriotti, in collaboration with DISI, Create-Net, and Siemens, was awarded the Best Paper Award at the IPSN 2011 conference, a flagship venue in the field of Wireless Sensor Networks.


Viktor Shuppan won the best paper award for his paper on unsatisfiable cores at FSEN'09.


Official birth date of the Embedded Systems Research Unit.


The Embedded Systems Research Unit idea was conceived


Alessandro Cimatti, Iman Narasamdya and Marco Roveri were awarded the EASST Best Paper Award for the paper "Boosting Lazy Abstraction for SystemC with Partial Order Reduction" at the TACAS 2011 conference.