The Community for Technology Leaders
2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA) (2013)
San Francisco, CA, USA
May 21, 2013 to May 21, 2013
ISSN: 2327-1620
ISBN: 978-1-4673-6269-6
TABLE OF CONTENTS

[Front matter] (PDF)

pp. i-ii

Contents (PDF)

pp. 1

Welcome message (PDF)

Christine Julien , The University of Texas at Austin, USA
Klaus Wehrle , RWTH Aachen University, Germany
pp. iii-iv

Symphony: Simulation, emulation, and virtualization framework for accurate WSN experimentation (Abstract)

Laurynas Riliskis , Department of Computer Science, Electrical and Space Engineering, Luleå University of Technology, 971 87, Sweden
Evgeny Osipov , Department of Computer Science, Electrical and Space Engineering, Luleå University of Technology, 971 87, Sweden
pp. 1-6

LWiSSy: A domain specific language to model wireless sensor and actuators network systems (Abstract)

Priscilla Dantas , UFRN - Universidade Federal do Rio Grande do Norte, Natal, Brazil
Taniro Rodrigues , UFRN - Universidade Federal do Rio Grande do Norte, Natal, Brazil
Thais Batista , UFRN - Universidade Federal do Rio Grande do Norte, Natal, Brazil
Flavia C. Delicato , UFRJ - Universidade Federal do Rio de Janeiro, Brazil
Paulo F. Pires , UFRJ - Universidade Federal do Rio de Janeiro, Brazil
Wei Li , University of Sydney, Australia
Albert Y. Zomaya , University of Sydney, Australia
pp. 7-12

Behavioural design of sensor network applications using activity-driven states (Abstract)

Amir Taherkordi , Department of Informatics, University of Oslo, Norway
Frank Eliassen , Department of Informatics, University of Oslo, Norway
Einar Broch Johnsen , Department of Informatics, University of Oslo, Norway
pp. 13-18

Durin: A development environment for Wireless Sensor Network (Abstract)

Igor L. Marques , Informatics Center, Federal University of Pernambuco, Recife, Brazil
Mauro Ricardo da Silva Teofilo , Nokia Institute of Technology (INdT), Manaus, Brazil
Nelson Souto Rosa , Informatics Center, Federal University of Pernambuco, Recife, Brazil
pp. 19-23

Adding value to WSN simulation through formal modelling and analysis (Abstract)

Adisak Intana , Electronics and Computer Science, University of Southampton, SO17 1BJ, UK
Michael R. Poppleton , Electronics and Computer Science, University of Southampton, SO17 1BJ, UK
Geoff V. Merrett , Electronics and Computer Science, University of Southampton, SO17 1BJ, UK
pp. 24-29

VSPIN: A framework for developing incremental sensor network reprogramming strategies (Abstract)

Biswajit Mazumder , School of Computing, Clemson University, USA
Jason O. Hallstrom , School of Computing, Clemson University, USA
pp. 30-34

Runtime verification and reflection for wireless sensor networks (Abstract)

Stefan Fischer , Telematics Institute, University of Lübeck, Germany
Martin Leucker , Institute for Software Engineering and Programming Languages, University of Lübeck, Germany
pp. 35-36

Sens4U: Wireless sensor network applications for environment monitoring made easy (Abstract)

Krzysztof Piotrowski , IHP, Frankfurt(Oder), Germany
Steffen Peter , Center for Embedded Computer Systems, University of California, Irvine, USA
pp. 37-42

Model-driven approach for building efficient Wireless Sensor and Actuator Network applications (Abstract)

Taniro Rodrigues , UFRN - Universidade Federal do Rio Grande do Norte, Natal, Brazil
Thais Batista , UFRN - Universidade Federal do Rio Grande do Norte, Natal, Brazil
Flavia C. Delicato , UFRJ - Universidade Federal do Rio de Janeiro, Brazil
Paulo F. Pires , UFRJ - Universidade Federal do Rio de Janeiro, Brazil
Albert Y. Zomaya , University of Sydney, Australia
pp. 43-48
88 ms
(Ver 3.3 (11022016))