M. Roman and R. H. Campbell, Gaia, Proceedings of the 9th workshop on ACM SIGOPS European workshop beyond the PC: new challenges for the operating system, EW 9, pp.229-234, 2000.
DOI : 10.1145/566726.566772

URL : https://hal.archives-ouvertes.fr/hal-01061647

A. Ranganathan, S. Chetan, J. Al-muhtadi, R. H. Campbell, and M. D. Mickunas, Olympus: A High-Level Programming Model for Pervasive Computing Environments, Third IEEE International Conference on Pervasive Computing and Communications
DOI : 10.1109/PERCOM.2005.26

K. N. Truong, E. M. Huang, and G. D. Abowd, CAMP: A Magnetic Poetry Interface for End-User Programming of Capture Applications for the Home, 6th Int'l Conference on Ubiquitous Computing, pp.143-160, 2004.
DOI : 10.1007/978-3-540-30119-6_9

A. K. Dey, T. Sohn, S. Streng, and J. Kodama, iCAP: Interactive Prototyping of Context-Aware Applications, 4th Int'l Conference on Pervasive Computing (Pervasive, pp.254-271, 2006.
DOI : 10.1007/11748625_16

M. W. Newman, A. Elliott, and T. F. Smith, Providing an Integrated User Experience of Networked Media, Devices, and Services through End-User Composition, 6th International Conference on Pervasive Computing (Pervasive, pp.213-227, 2008.
DOI : 10.1145/306549.306582

Z. Drey, J. Mercadal, and C. Consel, A taxonomydriven approach to visually prototyping pervasive computing applications, DSL '09: Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages, pp.78-99, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00403590

C. Flanagan and S. Qadeer, Predicate abstraction for software verification, Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.191-202, 2002.

W. Jouve, J. Lancia, N. Palix, C. Consel, and J. Lawall, High-level Programming Support for Robust Pervasive Computing Applications, 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom), pp.252-255, 2008.
DOI : 10.1109/PERCOM.2008.9

URL : https://hal.archives-ouvertes.fr/inria-00333602

A. Miné, A New Numerical Abstract Domain Based on Difference-Bound Matrices, PADO '01: Proceedings of the Second Symposium on Programs as Data Objects, pp.155-172, 2001.
DOI : 10.1007/3-540-44978-7_10