You are here

News and events


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 AVM is a meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations. The meeting is open to the public.
AVM 2013 will take place at Fondazione Bruno Kessler (FBK) in Trento, Italy, from May 27th to May 29th, 2013.


The ongoing integration of software-intensive embedded systems and global communication networks into Cyber-Physical Systems (CPS) is considered to be the next revolution in ICT with a great deal of game-changing business potential and novel business models for integrated products and services. Many technology leaders are already in the midst of a global race of repositioning and reinventing themselves by developing new dynamic CPS-inspired business models.


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".


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.


Matto Ceriotti received the EWSN/CONET Best PhD Thesis Award at the 9th European Conference on Wireless Sensor Networks (EWSN 2012), for his thesis "Guaranteeing Communication Quality in Real World WSN Deployments"


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.


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.