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.
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
-
VAIPOSA Kick Off Meeting
-
New Software Developer Position in the Field of Formal Methods
-
Distinguished artifact award at TACAS conference