SESENA 2013 – Proceedings

4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)

Preface

Symphony: Simulation, Emulation, and Virtualization Framework for Accurate WSN Experimentation
Laurynas Riliskis and Evgeny Osipov
(Luleå University of Technology, Sweden)

@InProceedings{SESENA13p1, author = {Laurynas Riliskis and Evgeny Osipov}, title = {Symphony: Simulation, Emulation, and Virtualization Framework for Accurate WSN Experimentation}, booktitle = {Proc.\ SESENA}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2013}, } Article: icsews13sesena-id3-p (type: Full Paper (6 pages)) doi:

LWiSSy: A Domain Specific Language to Model Wireless Sensor and Actuators Network Systems
Priscilla Dantas, Taniro Rodrigues, Thais Batista, Flávia C. Delicato, Paulo F. Pires, Wei Li, and Albert Y. Zomaya
(UFRN, Brazil; UFRJ, Brazil; University of Sydney, Australia)

@InProceedings{SESENA13p7, author = {Priscilla Dantas and Taniro Rodrigues and Thais Batista and Flávia C. Delicato and Paulo F. Pires and Wei Li and Albert Y. Zomaya}, title = {LWiSSy: A Domain Specific Language to Model Wireless Sensor and Actuators Network Systems}, booktitle = {Proc.\ SESENA}, publisher = {IEEE}, pages = {7-6}, doi = {}, year = {2013}, } Article: icsews13sesena-id4-p (type: Full Paper (6 pages)) doi:

Behavioural Design of Sensor Network Applications using Activity-Driven States
Amir Taherkordi, Frank Eliassen, and Einar Broch Johnsen
(University of Oslo, Norway)

@InProceedings{SESENA13p13, author = {Amir Taherkordi and Frank Eliassen and Einar Broch Johnsen}, title = {Behavioural Design of Sensor Network Applications using Activity-Driven States}, booktitle = {Proc.\ SESENA}, publisher = {IEEE}, pages = {13-12}, doi = {}, year = {2013}, } Article: icsews13sesena-id14-p (type: Full Paper (6 pages)) doi:

Durin: A Development Environment for Wireless Sensor Network
Igor L. Marques, Mauro Ricardo da Silva Teófilo, and Nelson Souto Rosa
(UFPE, Brazil; Nokia Institute of Technology, Brazil)

@InProceedings{SESENA13p19, author = {Igor L. Marques and Mauro Ricardo da Silva Teófilo and Nelson Souto Rosa}, title = {Durin: A Development Environment for Wireless Sensor Network}, booktitle = {Proc.\ SESENA}, publisher = {IEEE}, pages = {19-18}, doi = {}, year = {2013}, } Article: icsews13sesena-id8-p (type: Full Paper (6 pages)) doi:

Adding Value to WSN Simulation through Formal Modelling and Analysis
Adisak Intana, Michael R. Poppleton, and Geoff V. Merrett
(University of Southampton, UK)

@InProceedings{SESENA13p25, author = {Adisak Intana and Michael R. Poppleton and Geoff V. Merrett}, title = {Adding Value to WSN Simulation through Formal Modelling and Analysis}, booktitle = {Proc.\ SESENA}, publisher = {IEEE}, pages = {25-24}, doi = {}, year = {2013}, } Article: icsews13sesena-id15-p (type: Full Paper (6 pages)) doi:

VSPIN: A Framework for Developing Incremental Sensor Network Reprogramming Strategies
Biswajit Mazumder and Jason O. Hallstrom
(Clemson University, USA)

@InProceedings{SESENA13p31, author = {Biswajit Mazumder and Jason O. Hallstrom}, title = {VSPIN: A Framework for Developing Incremental Sensor Network Reprogramming Strategies}, booktitle = {Proc.\ SESENA}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2013}, } Article: icsews13sesena-id17-p (type: Full Paper (6 pages)) doi:

Runtime Verification and Reflection for Wireless Sensor Networks
Stefan Fischer and Martin Leucker
(University of Lübeck, Germany)

@InProceedings{SESENA13p37, author = {Stefan Fischer and Martin Leucker}, title = {Runtime Verification and Reflection for Wireless Sensor Networks}, booktitle = {Proc.\ SESENA}, publisher = {IEEE}, pages = {37-36}, doi = {}, year = {2013}, } Article: icsews13sesena-id10-p (type: Short Paper (2 pages)) doi:

Sens4U: Wireless Sensor Network Applications for Environment Monitoring Made Easy
Krzysztof Piotrowski and Steffen Peter
(IHP Microelectronics, Germany; UC Irvine, USA)

@InProceedings{SESENA13p39, author = {Krzysztof Piotrowski and Steffen Peter}, title = {Sens4U: Wireless Sensor Network Applications for Environment Monitoring Made Easy}, booktitle = {Proc.\ SESENA}, publisher = {IEEE}, pages = {39-38}, doi = {}, year = {2013}, } Article: icsews13sesena-id13-p (type: Full Paper (6 pages)) doi:

Model-Driven Approach for Building Efficient Wireless Sensor and Actuator Network Applications
Taniro Rodrigues, Thais Batista, Flávia C. Delicato, Paulo F. Pires, and Albert Y. Zomaya
(UFRN, Brazil; UFRJ, Brazil; University of Sydney, Australia)

@InProceedings{SESENA13p45, author = {Taniro Rodrigues and Thais Batista and Flávia C. Delicato and Paulo F. Pires and Albert Y. Zomaya}, title = {Model-Driven Approach for Building Efficient Wireless Sensor and Actuator Network Applications}, booktitle = {Proc.\ SESENA}, publisher = {IEEE}, pages = {45-44}, doi = {}, year = {2013}, } Article: icsews13sesena-id9-p (type: Full Paper (6 pages)) doi:

proc time: 0.03