ProFuN Events

• Friday 13 March 2015, at 13:00 in room 2446, ITC: Farshid Hassani Bijarbooneh, PhD defence: Constraint Programming for Wireless Sensor Networks

• Workshop on Next Generation Green ICT Workshop to be organized in conjunction with IEEE ICC in London, UK, June 8-12, 2015. See the website for more info http://nextgen-greenict.org/.

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

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

• We have co-organised the Dagstuhl seminar: Quantitative and Qualitative Analysis of Network Protocols (31 January - 5 February 2010), which focused on the modelling and analysis of protocols for networks with a large number of nodes, with sensor networks being a typical case.
  • Presentation by Bengt Jonsson: Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols