ICSE 2013 Workshops
2013 35th International Conference on Software Engineering (ICSE)

Title Page

Foreword

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

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)

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

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)

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

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

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

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

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)