News
- 28/05/2013
Alpine Verification Meeting 2013 organized by Alessandro Cimatti, Stefano Tonetta and Alberto Griggio. - 24/05/2013
1st Open EIT ICT Labs Workshop on Cyber Physical System Engineering organized by Maria Victoria Cingarle and Marco Roveri. - 24/10/2012
Alessandro Cimatti, Sergio Mover and Stefano Tonetta received the Best Paper Award at the FMCAD12 conference for the paper "A quantifier-free SMT encoding of non-linear hybrid automata". - 21/03/2012
The article "What Does Model-Driven Data Acquisition Really Achieve in Wireless Sensor Networks? " written by Amy Murphy and Usman Raza, in collaboration with researchers from DISI, was awarded the Mark Weiser Best Paper Award at the IEEE PerCom 2012 conference. - 16/02/2012 Matteo Ceriotti received the EWSN/CONET Best Ph.D. Thesis Award at the 9th European Conference on Wireless Sensor Networks (EWSN 2012), for his thesis "Guaranteeing Communication Quality in Real World WSN Deployments" (Advisor: A.L. Murphy). FBK Press release.
Welcome to the home page of the Embedded Systems Research Unit of the Bruno Kessler Foundation
