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