Powered by
2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA), May 21, 2013,
San Francisco, CA, USA
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
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},
}
proc time: 0.03