ICSE 2013 Workshops
2013 35th International Conference on Software Engineering (ICSE)
Powered by
Conference Publishing Consulting

2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA), May 21, 2013, San Francisco, CA, USA

SESENA 2013 – Proceedings

Contents - Abstracts - Authors

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

Preface

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 ORCID logo
(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 ORCID logo
(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 ORCID logo
(UFRN, Brazil; UFRJ, Brazil; University of Sydney, Australia)

proc time: 0.02