Bibliography

Major publications by the team in recent years

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 TSE: Transactions on Software Engineering, 2012, vol. 38, n^o 6, p. 1445-1463.

http://hal.inria.fr/hal-00683210
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

Publications of the year

Doctoral Dissertations and Habilitation Theses

11J. Bruneau.

Developing and Testing Pervasive Computing Applications: A Tool-Based Methodology, Université Sciences et Technologies - Bordeaux I, May 2012.

http://tel.archives-ouvertes.fr/tel-00767395
12H. Guan.

Canevas de programmation pour gérer l'héterogénéité et la consommation d'énergie des mobiles dans un environnement ubiquitaire, Université Sciences et Technologies - Bordeaux I, June 2012.

http://hal.inria.fr/tel-00719175

Articles in International Peer-Reviewed Journals

13E. Balland, P.-E. Moreau, A. Reilles.

Effective Strategic Programming for Java Developers, in: Software: Practice and Experience, October 2012, (To appear).
14B. Bertran, J. Bruneau, D. Cassou, N. Loriant, E. Balland, C. Consel.

DiaSuite: a Tool Suite To Develop Sense/Compute/Control Applications, in: Science of Computer Programming, Fourth special issue on Experimental Software and Toolkits, 2012. [ DOI : 10.1016/j.scico.2012.04.001 ]

http://hal.inria.fr/hal-00702909
15J. Bruneau, C. Consel.

DiaSim: A Simulator for Pervasive Computing Applications, in: Software: Practice and Experience, 2012.

http://hal.inria.fr/hal-00715745
16D. Cassou, J. Bruneau, C. Consel, E. Balland.

Towards a Tool-based Development Methodology for Pervasive Computing Applications, in: IEEE TSE: Transactions on Software Engineering, 2012, vol. 38, n^o 6, p. 1445-1463.

http://hal.inria.fr/hal-00683210
17Z. Drey, C. Consel.

Taxonomy-Driven Prototyping of Home Automation Applications : a Novice-Programmer Visual Language and its Evaluation, in: Journal of Visual Languages and Computing, December 2012, (To appear).

http://hal.inria.fr/hal-00718943

International Conferences with Proceedings

18J. Bruneau, C. Consel, M. O'Malley, W. Taha, W. M. Hannourah.

Virtual Testing for Smart Buildings, in: IE 2012 - 8th International Conference on Intelligent Environments, Guanajuato, Mexico, June 2012.

http://hal.inria.fr/hal-00715753
19Q. Enard, C. Louberry, C. Consel, X. Blanc.

An Experimental Study of A Design-driven, Tool-based Development Approach, in: User Evaluation for Software Engineering Researchers (USER), Zurich, Switzerland, 2012. [ DOI : 10.1109/USER.2012.6226581 ]

http://hal.inria.fr/hal-00715759

References in notes

20J. Aldrich, V. Kostadinov, C. Chambers.

Alias Annotations for Program Understanding, in: OOPSLA'02: Proceedings of the 17th International Conference on Object-Oriented Programming, Systems, Languages, and Applications, New York, NY, USA, ACM, 2002, vol. 37(11), p. 311–330.
21P. Amey.

Correctness by Construction: Better Can Also Be Cheaper, in: CrossTalk: the Journal of Defense Software Engineering, 2002, vol. 2, p. 24–28.
22A. Avizienis, J. Laprie, B. Randell, C. Landwehr.

Basic Concepts and Taxonomy of Dependable and Secure Computing, in: Dependable and Secure Computing, IEEE Transactions on, 2004, vol. 1, n^o 1, p. 11–33.
23J. Bruneau, C. Consel, M. O'Malley, W. Taha, W. M. Hannourah.

Preliminary Results in Virtual Testing for Smart Buildings (Poster), in: MOBIQUITOUS 2010, 7th International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Sydney, Australia, December 2010.

http://hal.inria.fr/inria-00551264
24D. Cassou, J. Bruneau, C. Consel.

A Tool Suite to Prototype Pervasive Computing Applications (Demo), in: Proceedings of the 8th IEEE Conference on Pervasive Computing and Communications (PERCOM'10), Mannheim, Germany, IEEE Computer Society Press, 2010, p. 1–3.

http://hal.inria.fr/inria-00484067
25D. Cassou, J. Bruneau, J. Mercadal, Q. Enard, E. Balland, N. Loriant, C. Consel.

Towards a Tool-based Development Methodology for Sense/Compute/Control Applications (Poster), in: SPLASH'10: Proceedings of the 1st International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, Reno/Tahoe, United States, ACM, 2010, p. 1–2, poster.

http://hal.inria.fr/inria-00510378
26C. 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
27C. Consel, H. Hamdi, L. Réveillère, L. Singaravelu, H. Yu, C. Pu.

Spidle: A DSL approach to specifying streaming application, in: International Conference on Generative Programming and Component Engineering, Germany, 2003, p. 1-17.

http://hal.inria.fr/hal-00350193
28C. 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.
29C. Consel, L. Réveillère.

A programmable client-server model: Robust extensibility via DSLs, in: International Conference on Automated Software Engineering, Montréal, Canada, 2003, p. 70-79.

http://hal.inria.fr/hal-00350051
30A. 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.
31P. Feiler.

The Architecture Analysis & Design Language (AADL): An Introduction, DTIC Document, 2006.
32S. 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
33J. Gray, K. Fisher, C. Consel, G. Karsai, M. Mernik, J.-P. Tolvanen.

DSLs: the good, the bad, and the ugly, in: Conference on Object Oriented Programming Systems Languages and Applications archive, Nashville, United States, ACM, 2008.

http://hal.inria.fr/inria-00402566
34H. Jakob, C. Consel, N. Loriant.

Architecturing Conflict Handling of Pervasive Computing Resources, in: 11th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'11), Reykjavik, Iceland, June 2011.

http://hal.inria.fr/inria-00581604
35W. Jouve, J. Bruneau, C. Consel.

DiaSim: A Parameterized Simulator for Pervasive Computing Applications (Demo), in: IEEE International Conference on Pervasive Computing and Communications, 2009, Galveston, United States, March 2009.

http://hal.inria.fr/inria-00441351
36W. Jouve.

Approche déclarative pour la génération de canevas logiciels dédiés à l'informatique ubiquitaire, Université Sciences et Technologies - Bordeaux I, April 2009.

http://hal.inria.fr/tel-00402605
37G. Lasnier, B. Zalila, L. Pautet, J. Hugues.

OCARINA: An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications, in: Reliable Software Technologies–Ada-Europe, 2009, p. 237–250.
38F. Latry, J. Mercadal, C. Consel.

Staging Telephony Service Creation: A Language Approach, in: Principles, Systems and Applications of IP Telecommunications, New-York, United States, 2007.

http://hal.inria.fr/inria-00353534
39B. Littlewood, L. Strigini.

Software Reliability and Dependability: a Roadmap, in: ICSE'00: Proceedings of the Conference on The Future of Software Engineering, ACM, 2000, p. 175–188.
40N. 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
41F. 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.
42N. Palix.

Langages dédiés au développement de services de communications, Université Sciences et Technologies - Bordeaux I, September 2008.

http://hal.inria.fr/tel-00340864
43N. Palix, L. Réveillère, C. Consel, J. Lawall.

A Stepwise Approach to Developing Languages for SIP Telephony Service Creation, in: Proceedings of Principles, Systems and Applications of IP Telecommunications, IPTComm, New York City, United States, ACM Press, 2007, p. 79-88.

http://hal.inria.fr/inria-00196520
44A. R. Perry.

The FlightGear Flight Simulator, in: Proceedings of the USENIX Annual Technical Conference, 2004.
45L. 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.
46L. 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.
47M. Shaw.

Beyond Objects: A Software Design Paradigm Based on Process Control, in: SIGSOFT Software Engineering Notes, January 1995, vol. 20, p. 27–38.
48R. N. Taylor, N. Medvidovic, E. M. Dashofy.

Software Architecture: Foundations, Theory, and Practice, Wiley, 2009.
49S. Thibault, C. Consel, G. Muller.

Safe and efficient active network programming, in: Reliable Distributed Systems, 1998. Proceedings. Seventeenth IEEE Symposium on, IEEE, 1998, p. 135–143.
50S. 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.
51N. Ubayashi, J. Nomura, T. Tamai.

Archface: A Contract Place Where Architectural Design and Code Meet Together, in: ICSE'10: Proceedings of the 32nd International Conference on Software Engineering, New York, NY, USA, ACM, 2010, p. 75–84.
52S. Vestal.

An Overview of the Architecture Analysis & Design Language (AADL) Error Model Annex, in: AADL Workshop, 2005.
53M. Volter, T. Stahl, J. Bettin, A. Haase, S. Helsen.

Model-driven Software Development: Technology, Engineering, Management, John Wiley and Sons Ltd, 2006.

Previous |

Home