Workshop SESENA 2013 – Author Index

B D E F H I J L M O P R T Z

	Batista, Thais	SESENA '13: "Model-Driven Approach for ..." 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: SESENA '13: "LWiSSy: A Domain Specific ..." 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:
	Dantas, Priscilla	SESENA '13: "LWiSSy: A Domain Specific ..." 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:
	Delicato, Flávia C.	SESENA '13: "Model-Driven Approach for ..." 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: SESENA '13: "LWiSSy: A Domain Specific ..." 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:
	Eliassen, Frank	SESENA '13: "Behavioural Design of Sensor ..." 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:
	Fischer, Stefan	SESENA '13: "Runtime Verification and Reflection ..." 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:
	Hallstrom, Jason O.	SESENA '13: "VSPIN: A Framework for Developing ..." 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:
	Intana, Adisak	SESENA '13: "Adding Value to WSN Simulation ..." 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:
	Johnsen, Einar Broch	SESENA '13: "Behavioural Design of Sensor ..." 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:
	Leucker, Martin	SESENA '13: "Runtime Verification and Reflection ..." 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:
	Li, Wei	SESENA '13: "LWiSSy: A Domain Specific ..." 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:
	Marques, Igor L.	SESENA '13: "Durin: A Development Environment ..." 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:
	Mazumder, Biswajit	SESENA '13: "VSPIN: A Framework for Developing ..." 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:
	Merrett, Geoff V.	SESENA '13: "Adding Value to WSN Simulation ..." 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:
	Osipov, Evgeny	SESENA '13: "Symphony: Simulation, Emulation, ..." 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:
	Peter, Steffen	SESENA '13: "Sens4U: Wireless Sensor Network ..." 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:
	Piotrowski, Krzysztof	SESENA '13: "Sens4U: Wireless Sensor Network ..." 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:
	Pires, Paulo F.	SESENA '13: "Model-Driven Approach for ..." 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: SESENA '13: "LWiSSy: A Domain Specific ..." 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:
	Poppleton, Michael R.	SESENA '13: "Adding Value to WSN Simulation ..." 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:
	Riliskis, Laurynas	SESENA '13: "Symphony: Simulation, Emulation, ..." 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:
	Rodrigues, Taniro	SESENA '13: "Model-Driven Approach for ..." 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: SESENA '13: "LWiSSy: A Domain Specific ..." 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:
	Rosa, Nelson Souto	SESENA '13: "Durin: A Development Environment ..." 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:
	Taherkordi, Amir	SESENA '13: "Behavioural Design of Sensor ..." 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:
	Teófilo, Mauro Ricardo da Silva	SESENA '13: "Durin: A Development Environment ..." 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:
	Zomaya, Albert Y.	SESENA '13: "Model-Driven Approach for ..." 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: SESENA '13: "LWiSSy: A Domain Specific ..." 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:

29 authors

proc time: 0.04