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
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
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
iCAP: Interactive Prototyping of Context-Aware Applications, 4th Int'l Conference on Pervasive Computing (Pervasive, pp.254-271, 2006. ,
DOI : 10.1007/11748625_16
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
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
Predicate abstraction for software verification, Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.191-202, 2002. ,
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 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