Department of Information Technology

ProFuN Events

2014

ProFuN Tools and Demo Day, October 22, Room 4308

Time Speaker Topic
9.15 - 9.20 Kostis Sagonas Overview of the Day
9.20 - 10.00 Atis Elsts A Tool for WSN Application Development and Maintenance
10.00 - 10.30 Coffee Break
10.30 - 11.30 Trinh Cong Quy & Othmane Rezine Verification of Sensor Network Programs
11.30 - 12.00 Johannes Nygren Automatic control using WSNs with adaptive transmission strategies
12.00 - 13.00 Lunch (provided)
13.00 - 13.40 Ramunas Gutkovas Process Calculi for WSNs and more: Types and Tools
13.40 - 14.20 Farshid Hassani Energy-Efficient Sensor Selection for Data Quality and Load Balancing in Wireless Sensor Networks
14.20 - 15.00 Andreas Löscher Property Based Testing of Wireless Sensor Networks (+ Demo)
15.00 - 15.20 Coffee/Tea Break
15:20 - 16:50 All Demos of Tools and of the Demonstrator
16:50 - 17:00 Kostis Sagonas Wrap Up and Closing Remarks

In the table you can find slides for the talks and demos and in the following link more information about ProFuN tools.

  • E2Nets workshop (Energy Efficiency in Wireless Networks & Wireless Networks for Energy Efficiency) to be organized in conjunction with IEEE ICC in Sydney, Australia, June 14, 2014. Paper submission deadline December 15, 2013. See the website for more info [1].

2013

ProFuN Research Day, December 18

Time Speaker Topic
10.00 - 10.30 Kostis Sagonas ProFuN Status and Overview
10.30 - 11.00 Farshid Hassani A Constraint Programming Approach for Managing End-to-end Requirements in Sensor Network Macroprogramming
11.00 - 11.30 Volkan Cambazoglu Wireless Sensor Network Security: Theory and Practice
11.30 - 12.00 Andreas Löscher About Testing and Debugging of Wireless Sensor Networks
12.00 - 13.00 Lunch
13.00 - 13.30 Atis Elsts Facilitating Application Development for Wireless Sensor Networks
13.30 - 14.00 Othmane Rezine Parametrized Verification of Directed Acyclic Ad-Hoc Networks
14.00 - 14.30 Trinh Cong Quy Verification of Heap Manipulating Programs with Data
14.30 - 14.45 Ramunas Gutkovas The Psi-Calculi Workbench: a Generic Tool for Applied Process Calculi
14.45 - 15.15 Coffee
15:15 - 15:45 Bengt Carlsson On Using Wireless Sensor Networks for Waste Water Treatment
15:30 - 16:00 Martin Jakobsson Overview of Summer Projects and Recent Work on the Demonstrator
16:00 - 16:45 All Discussions about Plans for 2014 and Demonstrator
16:45 - 17:00 Kostis Sagonas Wrap Up and Closing Remarks

Here you can find the abstracts of most of the talks.

  • E2Nets workshop (Energy Efficiency in Wireless Networks & Wireless Networks for Energy Efficiency) to be organized in conjunction with IEEE ICC in Budapest, Hungary, June 9-13, 2013. Paper submission deadline January 11, 2013. See the website for more info [2].
Updated  2015-02-12 08:29:35 by Pierre Flener.