Bibliography

• 1D. Cassou, E. Balland, C. Consel, J. Lawall.
  
  Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications, in: ICSE'11: Proceedings of the 33rd International Conference on Software Engineering, Honolulu, United States, ACM, 2011, p. 431-440.
  
  http://hal.inria.fr/inria-00537789/en
• 2D. Cassou, J. Bruneau, C. Consel, E. Balland.
  
  Towards a Tool-based Development Methodology for Pervasive Computing Applications, in: IEEE Transactions on Software Engineering, October 2011.
  
  http://hal.inria.fr/inria-00631477/en
• 3C. Consel.
  
  From A Program Family To A Domain-Specific Language, Lecture Notes in Computer Science, State-of-the-Art Survey, Springer-Verlag, 2004, n^o 3016, p. 19–29.
  
  http://phoenix.labri.fr/publications/papers/dagstuhl-consel.pdf
• 4C. Consel, J. Lawall, A.-F. Le Meur.
  
  A Tour of Tempo: A Program Specializer for the C Language, in: Science of Computer Programming, 2004.
  
  http://phoenix.labri.fr/publications/papers/tour-tempo.ps.gz
• 5C. Consel, L. Réveillère.
  
  A Programmable Client-Server Model: Robust Extensibility via DSLs, in: Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), Montréal, Canada, IEEE Computer Society Press, November 2003, p. 70–79.
  
  http://phoenix.labri.fr/publications/papers/Consel-Reveillere_ase03.pdf
• 6C. Consel, L. Réveillère.
  
  A DSL Paradigm for Domains of Services: A Study of Communication Services, Lecture Notes in Computer Science, State-of-the-Art Survey, Springer-Verlag, 2004, n^o 3016, p. 165–179.
  
  http://phoenix.labri.fr/publications/papers/dagstuhl04_consel_reveillere.pdf
• 7A.-F. Le Meur, J. Lawall, C. Consel.
  
  Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization, in: Higher-Order and Symbolic Computation, 2004, vol. 17, n^o 1, p. 47–92.
  
  http://phoenix.labri.fr/publications/papers/spec-scenarios-hosc2003.ps.gz
• 8D. McNamee, J. Walpole, C. Pu, C. Cowan, C. Krasic, A. Goel, P. Wagle, C. Consel, G. Muller, R. Marlet.
  
  Specialization tools and techniques for systematic optimization of system software, in: ACM Transactions on Computer Systems, May 2001, vol. 19, n^o 2, p. 217–251.
  
  http://phoenix.labri.fr/publications/papers/tocs01-namee.pdf
• 9J. Mercadal, Q. Enard, C. Consel, N. Loriant.
  
  A Domain-Specific Approach to Architecturing Error Handling in Pervasive Computing, in: OOPSLA'10: Proceedings of the 25th Annual ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, États-Unis Reno, October 2010.
  
  http://hal.inria.fr/inria-00486930/en
• 10F. Mérillon, L. Réveillère, C. Consel, R. Marlet, G. Muller.
  
  Devil: An IDL for Hardware Programming, in: Proceedings of the Fourth Symposium on Operating Systems Design and Implementation, San Diego, California, October 2000, p. 17–30.
  
  http://phoenix.labri.fr/publications/papers/osdi00-merillon.pdf

Doctoral Dissertations and Habilitation Theses

• 11D. Cassou.
  
  Développement logiciel orienté paradigme de conception : la programmation dirigée par la spécification, Université Sciences et Technologies - Bordeaux I, March 2011.
  
  http://hal.inria.fr/tel-00583246/en
• 12H. Jakob.
  
  Vers la sécurisation des systèmes d'informatique ubiquitaire par le design : une approche langage, Université Sciences et Technologies - Bordeaux I, June 2011.
• 13J. Mercadal.
  
  Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire, Université Sciences et Technologies - Bordeaux I, October 2011.

Articles in International Peer-Reviewed Journal

• 14D. Cassou, J. Bruneau, C. Consel, E. Balland.
  
  Towards a Tool-based Development Methodology for Pervasive Computing Applications, in: IEEE Transactions on Software Engineering, October 2011.
  
  http://hal.inria.fr/inria-00631477/en

International Conferences with Proceedings

• 15D. Cassou, E. Balland, C. Consel, J. Lawall.
  
  Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications, in: ICSE'11: Proceedings of the 33rd International Conference on Software Engineering, Honolulu, United States, ACM, 2011, p. 431-440.
  
  http://hal.inria.fr/inria-00537789/en
• 16C. Consel.
  
  DiaSuite:A Paradigm-Oriented Software Development Approach (invited paper), in: 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation : PEPM'11, Austin, TX, United States, ACM, January 2011, p. 77-78. [ DOI : 10.1145/1929501.1929515 ]
  
  http://hal.inria.fr/inria-00581652/en
• 17S. Gatti, E. Balland, C. Consel.
  
  A Step-wise Approach for Integrating QoS throughout Software Development, in: FASE'11: Proceedings of the 14th European Conference on Fundamental Approaches to Software Engineering, Sarrebruck, Germany, Lecture Notes in Computer Science, Springer, March 2011, vol. 6603, p. 217-231.
  
  http://hal.inria.fr/inria-00561619/en
• 18H. Jakob, C. Consel, N. Loriant.
  
  Architecturing Conflict Handling of Pervasive Computing Resources, in: 11th IFIP International Conference on Distributed Applications and Interoperable Systems, Reykjavik, Iceland, Lecture Notes in Computer Science, Springer, June 2011, vol. 6723, p. 92-105.
  
  http://hal.inria.fr/inria-00581604/en

National Conferences with Proceeding

• 19D. Cassou, C. Consel, E. Balland, J. Lawall.
  
  Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC, in: GDR GPL'11: 3ème journées du Génie de la programmation et du logiciel, Lille, France, June 2011, p. 33–34.
  
  http://hal.inria.fr/inria-00602098/en

• 20P. Boinot, R. Marlet, J. Noyé, G. Muller, C. Consel.
  
  A Declarative Approach for Designing and Developing Adaptive Components, in: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, France, IEEE Computer Society Press, September 2000, p. 111–119.
• 21S. Chirokoff, C. Consel, R. Marlet.
  
  Combining Program and Data Specialization, in: Higher-Order and Symbolic Computation, December 1999, vol. 12, n^o 4, p. 309–335.
• 22C. Consel, J. Lawall, A.-F. Le Meur.
  
  A Tour of Tempo: A Program Specializer for the C Language, in: Science of Computer Programming, 2004.
• 23C. Consel, R. Marlet.
  
  Architecturing software using a methodology for language development, in: Proceedings of the 10th International Symposium on Programming Language Implementation and Logic Programming, Pisa, Italy, C. Palamidessi, H. Glaser, K. Meinke (editors), Lecture Notes in Computer Science, September 1998, vol. 1490, p. 170–194.
• 24A. K. Dey, G. D. Abowd, D. Salber.
  
  A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications, in: Human-Computer Interaction, 2001, vol. 16, n^o 2, p. 97–166.
• 25A.-F. Le Meur, C. Consel, B. Escrig.
  
  An Environment for Building Customizable Software Components, in: IFIP/ACM Conference on Component Deployment, Berlin, Germany, June 2002, p. 1–14.
• 26A.-F. Le Meur, C. Consel.
  
  Generic Software Component Configuration Via Partial Evaluation, in: SPLC'2000 Workshop – Product Line Architecture, Denver, Colorado, August 2000.
• 27A.-F. Le Meur, J. Lawall, C. Consel.
  
  Towards Bridging the Gap Between Programming Languages and Partial Evaluation, in: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Portland, OR, USA, ACM Press, January 2002, p. 9–18.
• 28A.-F. Le Meur, J. Lawall, C. Consel.
  
  Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization, in: Higher-Order and Symbolic Computation, 2004, vol. 17, n^o 1, p. 47–92.
• 29R. Marlet, C. Consel, P. Boinot.
  
  Efficient Incremental Run-Time Specialization for Free, in: Proceedings of the ACM SIGPLAN'99 Conference on Programming Language Design and Implementation (PLDI'99), Atlanta, GA, USA, May 1999, p. 281–292.
• 30R. Marlet, S. Thibault, C. Consel.
  
  Mapping Software Architectures to Efficient Implementations via Partial Evaluation, in: Conference on Automated Software Engineering, Lake Tahoe, NV, USA, IEEE Computer Society, November 1997, p. 183–192.
• 31R. Marlet, S. Thibault, C. Consel.
  
  Efficient Implementations of Software Architectures via Partial Evaluation, in: Journal of Automated Software Engineering, October 1999, vol. 6, n^o 4, p. 411–440.
• 32D. McNamee, J. Walpole, C. Pu, C. Cowan, C. Krasic, A. Goel, P. Wagle, C. Consel, G. Muller, R. Marlet.
  
  Specialization tools and techniques for systematic optimization of system software, in: ACM Transactions on Computer Systems, May 2001, vol. 19, n^o 2, p. 217–251.
• 33N. Medvidovic, R. N. Taylor.
  
  A Classification and Comparison Framework for Software Architecture Description Languages, in: IEEE Transactions on Software Engineering, 2000, vol. 26, n^o 1, p. 70–93.
  
  http://dx.doi.org/10.1109/32.825767
• 34G. Muller, C. Consel, R. Marlet, L. Barreto, F. Mérillon, L. Réveillère.
  
  Towards Robust OSes for Appliances: A New Approach Based on Domain-Specific Languages, in: Proceedings of the ACM SIGOPS European Workshop 2000 (EW2000), Kolding, Denmark, ACM Press, September 2000, p. 19-24.
• 35F. Mérillon, L. Réveillère, C. Consel, R. Marlet, G. Muller.
  
  Devil: An IDL for Hardware Programming, in: 4th Symposium on Operating Systems Design and Implementation (OSDI 2000), San Diego, California, October 2000, p. 17–30.
• 36L. Réveillère, F. Mérillon, C. Consel, R. Marlet, G. Muller.
  
  A DSL Approach to Improve Productivity and Safety in Device Drivers Development, in: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, France, IEEE Computer Society Press, September 2000, p. 101–109.
• 37L. Réveillère, G. Muller.
  
  Improving Driver Robustness: an Evaluation of the Devil Approach, in: The International Conference on Dependable Systems and Networks, Göteborg, Sweden, IEEE Computer Society, July 2001, p. 131–140.
• 38U. Schultz, J. Lawall, C. Consel, G. Muller.
  
  Towards Automatic Specialization of Java Programs, in: Proceedings of the European Conference on Object-oriented Programming (ECOOP'99), Lisbon, Portugal, Lecture Notes in Computer Science, June 1999, vol. 1628, p. 367–390.
• 39U. Schultz, J. Lawall, C. Consel.
  
  Specialization Patterns, in: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, France, IEEE Computer Society Press, September 2000, p. 197–208.
• 40U. Schultz, J. Lawall, C. Consel.
  
  Automatic Program Specialization for Java, in: ACM Transactions on Programming Languages and Systems, 2003, vol. 25, n^o 4, p. 452–499.
• 41S. Thibault, C. Consel, J. Lawall, R. Marlet, G. Muller.
  
  Static and Dynamic Program Compilation by Interpreter Specialization, in: Higher-Order and Symbolic Computation, September 2000, vol. 13, n^o 3, p. 161–178.
• 42S. Thibault, R. Marlet, C. Consel.
  
  Domain-Specific Languages: from Design to Implementation – Application to Video Device Drivers Generation, in: IEEE Transactions on Software Engineering, May 1999, vol. 25, n^o 3, p. 363–377.