Automatic Abstraction in Symbolic Trajectory Evaluation, Formal Methods in Computer Aided Design (FMCAD'07), pp.127-135, 2007. ,
DOI : 10.1109/FAMCAD.2007.27
Extensible and Precise Modeling for Wireless Sensor Networks, UNISCON, pp.551-562, 2009. ,
DOI : 10.1007/978-3-642-01112-2_55
A survey on sensor networks, IEEE Communications Magazine, vol.40, issue.8, pp.40102-114, 2002. ,
DOI : 10.1109/MCOM.2002.1024422
Visualsense: Visual modeling for wireless and sensor network systems, 2005. ,
Symbolic model checking: 10/sup 20/ states and beyond, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.1-33, 1990. ,
DOI : 10.1109/LICS.1990.113767
NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Computer Aided Verification, pp.241-268, 2002. ,
DOI : 10.1007/3-540-45657-0_29
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.8023
Lifetime analysis of a sensor network with hybrid automata modelling, WSNA, pp.98-104, 2002. ,
Sensor Networks Architectures and Protocols, Emerging Wireless Technologies and the Future Mobile Internet, pp.125-153, 2011. ,
DOI : 10.1017/CBO9780511921117.006
Wireless sensor networks for habitat monitoring, Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications , WSNA '02, pp.88-97, 2002. ,
DOI : 10.1145/570738.570751
A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000. ,
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077
Worst-case lifetime computation of a wireless sensor network by model-checking, Proceedings of the 4th ACM workshop on Performance evaluation of wireless ad hoc, sensor,and ubiquitous networks , PE-WASUN '07, pp.1-8, 2007. ,
DOI : 10.1145/1298197.1298199
Formal modeling and analysis of the ogdc wireless sensor network algorithm in real-time maude, 9th Int. conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS), pp.122-140, 2007. ,
System architecture of a wireless body area sensor network for ubiquitous health monitoring, J. Mob. Multimed, vol.1, pp.307-326, 2005. ,
Wireless sensor networks: technology, protocols and applications, 2007. ,
DOI : 10.1002/047011276X
Compositional Analysis of Discrete Time Petri nets, 1st workshop on Petri Nets Compositions, pp.17-31, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01282489
Automatic Symmetry Detection in Well-Formed Nets, Proc. of ICATPN 2003, pp.82-101, 2003. ,
DOI : 10.1007/3-540-44919-1_9
UML behavioral consistency checking using instantiable Petri nets, Innovations in Systems and Software Engineering, vol.45, issue.3, pp.293-300, 2008. ,
DOI : 10.1007/s11334-008-0065-0
URL : https://hal.archives-ouvertes.fr/hal-01175957
Hierarchical Set Decision Diagrams and Regular Models, 15th Int. conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp.1-15, 2009. ,
DOI : 10.1007/978-3-540-68746-7_16
URL : https://hal.archives-ouvertes.fr/hal-01294397
Model-based validation of QoS properties of biomedical sensor networks, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.69-78, 2008. ,
DOI : 10.1145/1450058.1450069
APPLYING MDE TO THE DEVELOPMENT OF FLEXIBLE AND REUSABLE WIRELESS SENSOR NETWORKS, International Journal of Cooperative Information Systems, vol.16, issue.03n04, pp.393-412, 2007. ,
DOI : 10.1142/S021884300700172X
Modeling and executing adaptive sensor network applications with the Matilda UML virtual machine, 11th IASTED Int. conf. on Software Engineering and Applications (SEA), pp.216-225, 2007. ,
The cougar approach to in-network query processing in sensor networks, ACM SIGMOD Record, vol.31, issue.3, p.31, 2002. ,
DOI : 10.1145/601858.601861