Ananda Basu
Bensalem Bensalem
Marius Bozga
Jacques Combaz
Mohamad Jaber
Thanh-Hung Nguyen
Joseph Sifakis
2011
Rigorous component-based system design using the BIP framework
IEEE software
28
3
41–48
10.1109/MS.2011.27
Luca Benini
Robin Hodgson
Polly Siegel
1998
System-level power estimation and optimization
Proceedings of the 1998 international symposium on Low power electronics and design
ACM
173–178
10.1145/280756.280881
Carlo Alberto Boano
Zhitao He
Yafei Li
Thiemo Voigt
Marco Zúñniga
Andreas Willig
2009
Controllable radio interference for experimental and testing purposes in wireless sensor networks
Local Computer Networks, 2009. LCN 2009. IEEE 34th Conference on
IEEE
865–872
10.1109/LCN.2009.5355013
Flavio Bonomi
Rodolfo Milito
Jiang Zhu
Sateesh Addepalli
2012
Fog computing and its role in the internet of things
Proceedings of the first edition of the MCC workshop on Mobile cloud computing
ACM
13–16
10.1145/2342509.2342513
Michael Buettner
Gary V Yee
Eric Anderson
Richard Han
2006
X-MAC: a short preamble MAC protocol for duty-cycled wireless sensor networks
Proceedings of the 4th international conference on Embedded networked sensor systems
ACM
307–320
10.1145/1182807.1182838
Walter Colitti
Kris Steenhaut
Niccolo De Caro
Bogdan Buta
Virgil Dobrota
2011
REST enabled wireless sensor networks for seamless integration with web applications
Mobile Adhoc and Sensor Systems (MASS), 2011 IEEE 8th International Conference on
IEEE
867–872
10.1109/MASS.2011.102
Adam Dunkels
Fredrik Osterlind
Nicolas Tsiftes
Zhitao He
2007
Software-based on-line energy estimation for sensor nodes
Proceedings of the 4th workshop on Embedded networked sensors
ACM
28–32
10.1145/1278972.1278979
Joakim Eriksson
Fredrik Österlind
Niclas Finne
Nicolas Tsiftes
Adam Dunkels
Thiemo Voigt
Robert Sauter
Pedro José Marrón
2009
COOJA/MSPSim: interoperability testing for wireless sensor networks
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)
27
10.4108/ICST.SIMUTOOLS2009.5637
Kyriakos Georgiou
Samuel Xavier-de Souza
Kerstin Eder
2017
The IoT energy challenge: A software perspective
IEEE Embedded Systems Letters
10.1109/LES.2017.2741419
T. Hérault
R. Lassaigne
F. Magniette
S. Peyronnet
2004
Approximate probabilistic model checking
Verification, Model Checking, and Abstract Interpretation
Springer
73–84
10.1007/978-3-540-24622-0_8
W. Hoeffding
1963
Probability inequalities for sums of bounded random variables
Journal of the American statistical association
58
301
13–30
10.1214/aoms/1177730491
Matthias Kovatsch
Simon Duquennoy
Adam Dunkels
2011
A low-power CoAP for Contiki
Mobile Adhoc and Sensor Systems (MASS), 2011 IEEE 8th International Conference on
IEEE
855–860
10.1109/MASS.2011.100
Axel Legay
Benoît Delahaye
Saddek Bensalem
2010
Statistical model checking: An overview
Runtime Verification
Springer
122–135
10.1016/j.ic.2006.05.002
Alexios Lekidis
2015
Design flow for the rigorous development of networked embedded systems
Université Grenoble Alpes
10.13140/RG.2.2.19387.11042
Alexios Lekidis
Emmanouela Stachtiari
Panagiotis Katsaros
Marius Bozga
Christos K Georgiadis
2018
Model-based Design of IoT Systems with the BIP Component Framework
Software – Practice and Experience
10.1002/spe.2568
Borja Martinez
Marius Monton
Ignasi Vilajosana
Joan Daniel Prades
2015
The power of models: Modeling power consumption for IoT devices
IEEE Sensors Journal
15
10
5777–5789
10.1109/JSEN.2015.2445094
Ayoub Nouri
Saddek Bensalem
Marius Bozga
Benoit Delahaye
Cyrille Jegourel
Axel Legay
2015
Statistical model checking QoS properties of systems with SBIP
International Journal on Software Tools for Technology Transfer
17
2
171–185
10.1007/s10009-014-0313-6
Xavier Vilajosana
Qin Wang
Fabien Chraim
Thomas Watteyne
Tengfei Chang
Kristofer SJ Pister
2014
A realistic energy consumption model for TSCH networks
IEEE Sensors Journal
14
2
482–489
10.1109/JSEN.2013.2285411
Hai-Ying Zhou
Dan-Yan Luo
Yan Gao
De-Cheng Zuo
2011
Modeling of node energy consumption for wireless sensor networks
Wireless Sensor Network
3
01
18
10.4236/wsn.2011.31003