Atmega128(l) datasheet, 2011. ,
The Internet of Things: A survey, Computer Networks, vol.54, issue.15, pp.2787-2805, 2010. ,
DOI : 10.1016/j.comnet.2010.05.010
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, Essays Dedicated to Neil D. Jones. Springer. volume 2566 of Lecture Notes in Computer Science (LNCS), pp.85-108, 2002. ,
DOI : 10.1007/3-540-36377-7_5
URL : https://hal.archives-ouvertes.fr/inria-00528442
Interval analysis of microcontroller code using abstract interpretation of hardware and software, Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems, SCOPES '10, pp.1-310, 2010. ,
DOI : 10.1145/1811212.1811216
Temporal Monitors for TinyOS, Proc. of the Third International Conference on Runtime Verification (RV), pp.96-109, 2012. ,
DOI : 10.1007/978-3-642-35632-2_12
On software verification for sensor nodes, Journal of Systems and Software, vol.84, issue.10, pp.1693-1707, 2011. ,
DOI : 10.1016/j.jss.2011.04.054
Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs, Proc. of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI), pp.209-224, 2008. ,
Bounded model checking using satisfiability solving. Form, Formal Methods in System Design, vol.19, issue.1, pp.7-34, 2001. ,
DOI : 10.1023/A:1011276507260
A Tool for Checking ANSI-C Programs, Lecture Notes in Computer Science, vol.2988, pp.168-176, 2004. ,
DOI : 10.1007/978-3-540-24730-2_15
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790
Abstract Interpretation Frameworks, Journal of Logic and Computation, vol.2, issue.4, pp.511-547, 1992. ,
DOI : 10.1093/logcom/2.4.511
Modular static program analysis, invited paper, Proc. of the Eleventh International Conference on Compiler Construction (CC), pp.159-178, 2002. ,
The ASTRE?? Analyzer, Proc. of the European Symposium on Programming (ESOP), pp.21-30, 2005. ,
DOI : 10.1007/978-3-540-31987-0_3
Why does astrée scale up? Formal Methods in System Design, pp.229-264, 2009. ,
Automatic discovery of linear restraints among variables of a program, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '78, pp.84-97, 1978. ,
DOI : 10.1145/512760.512770
Contiki - a lightweight and flexible operating system for tiny networked sensors, 29th Annual IEEE International Conference on Local Computer Networks, pp.455-462, 2004. ,
DOI : 10.1109/LCN.2004.38
Protothreads, Proceedings of the 4th international conference on Embedded networked sensor systems , SenSys '06, pp.29-42, 2006. ,
DOI : 10.1145/1182807.1182811
Occurrence counting analysis for the pi-calculus. Electronic Notes in Theoretical Computer Science 39, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00527933
The nesC language: A holistic approach to networked embedded systems, Proc. of the ACM Conference on Programming Language Design and Implementation (PLDI), ACM, pp.1-11, 2003. ,
Apron: A Library of Numerical Abstract Domains for Static Analysis, Proc. of the 21st International Conference on Computer Aided Verification (CAV), pp.661-667, 2009. ,
DOI : 10.1007/978-3-642-02658-4_52
URL : https://hal.archives-ouvertes.fr/hal-00786354
Finite-memory automata, Theoretical Computer Science, vol.134, issue.2, pp.329-363, 1994. ,
DOI : 10.1016/0304-3975(94)90242-9
Effective Verification of Low-Level Software with Nested Interrupts, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, pp.229-234, 2015. ,
DOI : 10.7873/DATE.2015.0360
TinyOS: An Operating System for Sensor Networks, Ambient Intelligence, pp.115-148, 2004. ,
DOI : 10.1007/3-540-27139-2_7
T-check, Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN '10, pp.174-185, 2010. ,
DOI : 10.1145/1791212.1791234
Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics, Proc. of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), ACM, pp.54-63, 2006. ,
The octagon abstract domain, Higher-Order and Symbolic Computation (HOSC), pp.31-100, 2006. ,
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs, Proc. of the 20th European Symposium on Programming (ESOP), pp.398-418, 2011. ,
DOI : 10.1007/978-3-540-30538-5_4
Abstract domains for bit-level machine integer and floating-point operations, Proc. of the 4th International Workshop on Invariant Generation (WING), p.16, 2012. ,
Relational Thread-Modular Static Value Analysis by Abstract Interpretation, Proc. of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), pp.39-58, 2014. ,
DOI : 10.1007/978-3-642-54013-4_3
Verification of device drivers and intelligent controllers, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, pp.30-36, 2007. ,
DOI : 10.1145/1289927.1289937
URL : https://hal.archives-ouvertes.fr/hal-00158869
Anquiro, Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, SESENA '10, pp.32-37, 2010. ,
DOI : 10.1145/1809111.1809122
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs, Proc. of the 11th International Conference on Compiler Construction (CC), pp.213-228, 2002. ,
DOI : 10.1007/3-540-45937-5_16
Poster abstract: Static analysis of device drivers in TinyOS, IPSN-14 Proceedings of the 13th International Symposium on Information Processing in Sensor Networks, pp.297-298, 2014. ,
DOI : 10.1109/IPSN.2014.6846771
On Context-Free Languages, Journal of the ACM, vol.13, issue.4, pp.570-581, 1966. ,
DOI : 10.1145/321356.321364
Random testing of interrupt-driven software, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.290-298, 2005. ,
DOI : 10.1145/1086228.1086282
Bogor: An extensible and highly-modular software model checking framework, Proc. of the 9th European Software Engineering Conference, pp.267-276, 2003. ,
KleeNet, Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN '10, pp.186-196, 2010. ,
DOI : 10.1145/1791212.1791235
Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems, Proc. of the 5th International Conference on Runtime Verification (RV), pp.108-123, 2014. ,
DOI : 10.1007/978-3-319-11164-3_10