The Abstraction and Instantiation of String-Matching Programs, The Essence of Computation, number 2566, pp.367-390, 2002. ,
Automatic Specialization of Protocol Stacks in OS kernels, Proceedings of the 29th Annual IEEE Conference on Local Computer Networks, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00475701
Leveraging software architectures to guide and verify the development of sense/compute/control applications, Proceeding of the 33rd international conference on Software engineering, ICSE '11, 2011. ,
DOI : 10.1145/1985793.1985852
URL : https://hal.archives-ouvertes.fr/inria-00537789
A Generative Programming Approach to Developing Pervasive Computing Systems, Proceedings of the Eighth International Conference on Generative Programming and Component Engineering, pp.137-146, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00405819
Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.493-501, 1993. ,
DOI : 10.1145/158511.158707
A Step-Wise Approach for Integrating QoS throughout Software Development, 2010. ,
DOI : 10.1007/978-3-642-19811-3_16
URL : https://hal.archives-ouvertes.fr/inria-00561619
Specialization tools and techniques for systematic optimization of system software, ACM Transactions on Computer Systems, vol.19, issue.2, pp.217-251, 2001. ,
DOI : 10.1145/377769.377778
URL : https://hal.archives-ouvertes.fr/hal-00444034
A Domain-Specific Approach to Architecturing Error Handling in Pervasive Computing, Proceedings of the ACM international conference on Object Oriented Programming Systems Languages and Applications (OOP- SLA'10, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00486930
Correct architecture refinement, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.356-372, 2002. ,
DOI : 10.1109/32.385972
Software architecture, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, 2009. ,
DOI : 10.1145/1595696.1595754
URL : https://hal.archives-ouvertes.fr/hal-00444077