Publications by category

These are the Phoenix group's publications by category. (By year)

In peer reviewed journal articles

2012

Titre
Towards a Tool-based Development Methodology for Pervasive Computing Applications
Auteurs
Damien Cassou url; Julien Bruneau; Charles Consel; Emilie Balland
Détail
IEEE TSE: Transactions on Software Engineering, IEEE Computer Society, 2012, 38 (6), pp. 1445-1463
Accès au texte intégral et bibtex
TSE-2010-06-0178.R3_Cassou.pdf TSE-2010-06-0178.R3_Cassou.ps BibTex
Titre
DiaSuite: a Tool Suite To Develop Sense/Compute/Control Applications
Auteurs
Benjamin Bertran; Julien Bruneau; Damien Cassou; Nicolas Loriant; Emilie Balland; Charles Consel
Détail
Science of Computer Programming, Fourth special issue on Experimental Software and Toolkits, Elsevier, 2012
Accès au texte intégral et bibtex
diasuite.pdf BibTex
Titre
DiaSim: A Simulator for Pervasive Computing Applications
Auteurs
Julien Bruneau; Charles Consel
Détail
Software: Practice and Experience, John Wiley and Sons, 2012
Accès au texte intégral et bibtex
simulation.pdf BibTex
Titre
Taxonomy-Driven Prototyping of Home Automation Applications : a Novice-Programmer Visual Language and its Evaluation
Auteurs
Zoé Drey; Charles Consel
Détail
Journal of Visual Languages and Computing, Elsevier, 2012
Accès au bibtex
BibTex
Titre
Zebra : Building Efficient Network Message Parsers for Embedded Systems
Auteurs
Julien Mercadal; Laurent Réveillère; Yérom-David Bromberg; Bertrand Le Gal url; Tegawendé F. Bissyandé url; Jigar Solanki url
Détail
Embedded Systems Letters, 2012, PP (99), pp. 1-4
Accès au texte intégral et bibtex
06248160.pdf BibTex

2011

Titre
Zebu: A Language-Based Approach for Network Protocol Message Processing
Auteurs
Laurent Burgy; Laurent Réveillère; Julia Lawall; G. Muller
Détail
IEEE Transactions on Software Engineering, 2011, 37 (4), pp. 575-591
Accès au bibtex
BibTex
Titre
A Grammar Correction Algorithm
Auteurs
Kim Gerdes url; Lionel Clémént; Renaud Marlet
Détail
Lecture notes in computer science, 2011, 5591, pp. 47-63
Accès au bibtex
BibTex

2008

Titre
Remote specialization for efficient embedded operating systems
Auteurs
S. Bhatia; Charles Consel; Calton Pu
Détail
ACM Transactions on Programming Languages and Systems, ACM, 2008, 30 (22)
Accès au bibtex
BibTex

In peer reviewed conference proceedings

2013

Titre
Design-driven Development of Dependable Applications: A Case Study in Avionics
Auteurs
Quentin Enard; Stéphanie Gatti; Julien Bruneau; Young-Joo Moon; Emilie Balland; Charles Consel
Détail
César Benavente-Peces, Joaquim Filipe. PECCS - 3rd International Conference on Pervasive and Embedded Computing and Communication Systems, Feb 2013, Barcelona, Spain. SciTePress
Accès au texte intégral et bibtex
autopilot.pdf BibTex
Titre
A Case for Human-Driven Software Development
Auteurs
Emilie Balland; Charles Consel; Hélène Sauzeon; Bernard N'Kaoua
Détail
ICSE'13: Proceedings of the 35th International Conference on Software Engineering (NIER track), May 2013, San Francisco, United States.
Accès au bibtex
BibTex
Titre
Design-Driven Development Methodology for Resilient Computing
Auteurs
Quentin Enard; Miruna Stoicescu; Emilie Balland; Charles Consel; Laurence Duchien; Jean-Charles Fabre; Matthieu Roy
Détail
CBSE'13: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, Jun 2013, Vancouver, Canada.
Accès au bibtex
BibTex

2012

Titre
Virtual Testing for Smart Buildings
Auteurs
Julien Bruneau; Charles Consel; Marcia O'Malley; Walid Taha; Wail Masry Hannourah
Détail
IE 2012 - 8th International Conference on Intelligent Environments, Jun 2012, Guanajuato, Mexico.
Accès au texte intégral et bibtex
uic2010.pdf BibTex
Titre
An Experimental Study of A Design-driven, Tool-based Development Approach
Auteurs
Quentin Enard; Christine Louberry; Charles Consel; Xavier Blanc
Détail
User Evaluation for Software Engineering Researchers (USER), 2012, Zurich, Switzerland.
Accès au texte intégral et bibtex
userEval.pdf BibTex

2011

Titre
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
Auteurs
Damien Cassou; Emilie Balland; Charles Consel; Julia Lawall
Détail
ICSE'11: Proceedings of the 33rd International Conference on Software Engineering, May 2011, Honolulu, United States. ACM, pp. 431-440
Accès au texte intégral et bibtex
icse2011.pdf BibTex
Titre
A Step-wise Approach for Integrating QoS throughout Software Development
Auteurs
Stéphanie Gatti; Emilie Balland; Charles Consel
Détail
FASE'11: Proceedings of the 14th European Conference on Fundamental Approaches to Software Engineering, Mar 2011, Sarrebruck, Germany. Springer, 6603, pp. 217-231, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
fase2011.pdf BibTex
Titre
Architecturing Conflict Handling of Pervasive Computing Resources
Auteurs
Henner Jakob; Charles Consel; Nicolas Loriant
Détail
11th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2011, Reykjavik, Iceland.
Accès au bibtex
BibTex
Titre
DiaSuite:A Paradigm-Oriented Software Development Approach (invited paper)
Auteurs
Charles Consel
Détail
20th ACM SIGPLAN workshop on Partial evaluation and program manipulation : PEPM'11, Jan 2011, Austin, TX, United States. ACM, Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation, pp. 77-78
Accès au texte intégral et bibtex
pepm36kn-1.pdf BibTex
Titre
Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC
Auteurs
Damien Cassou; Charles Consel; Emilie Balland; Julia Lawall
Détail
GDR GPL'11: 3ème journées du Génie de la programmation et du logiciel, Jun 2011, Lille, France. pp. 33-34
Accès au texte intégral et bibtex
icse-french.pdf icse-french.ps BibTex

2010

Titre
SIP as a Universal Communication Bus: A Methodology and an Experimental Study
Auteurs
Benjamin Bertran; Charles Consel; Wilfried Jouve; Hongyu Guan; Patrice Kadionik
Détail
International Conference on Communications, May 2010, Cape Town, South Africa.
Accès au texte intégral et bibtex
icc10.pdf BibTex
Titre
A Tool Suite to Prototype Pervasive Computing Applications (Demo)
Auteurs
Damien Cassou; Julien Bruneau; Charles Consel
Détail
Proceedings of the 8th IEEE Conference on Pervasive Computing and Communications (PERCOM'10), Mar 2010, Mannheim, Germany. IEEE Computer Society Press, pp. 1-3
Accès au texte intégral et bibtex
percom-demo.pdf BibTex
Titre
A Visual, Open-Ended Approach to Prototyping Ubiquitous Computing Applications
Auteurs
Zoé Drey; Charles Consel
Détail
Proceedings of the 8th IEEE Conference on Pervasive Computing and Communications (PERCOM'10), Mar 2010, Mannheim, Germany.
Accès au texte intégral et bibtex
pantagruel-demo.pdf BibTex
Titre
A Domain-Specific Approach to Architecturing Error Handling in Pervasive Computing
Auteurs
Julien Mercadal; Quentin Enard; Charles Consel; Nicolas Loriant
Détail
OOPSLA: Conference on Object Oriented Programming Systems Languages and Applications, Oct 2010, Reno, United States.
Accès au texte intégral et bibtex
p47-mercadal-1.pdf BibTex
Titre
Towards a Tool-based Development Methodology for Sense/Compute/Control Applications (Poster)
Auteurs
Damien Cassou; Julien Bruneau; Julien Mercadal; Quentin Enard; Emilie Balland; Nicolas Loriant; Charles Consel
Détail
SPLASH'10: Proceedings of the 1st International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, 2010, Reno/Tahoe, United States. ACM, pp. 1-2
Accès au texte intégral et bibtex
poster-extended-abstract.pdf BibTex
Titre
Formal Modeling and Verification of Services Managements for Pervasive Computing Environment
Auteurs
Hai Wan; Zoé Drey; Zhiyang You; Liu Liu
Détail
The 7th International Conference on Service Systems and Service Management, Jun 2010, Tokyo, Japan.
Accès au texte intégral et bibtex
ieee-sssm.pdf BibTex
Titre
Open Platforms: New Challenges for Software Engineering
Auteurs
Emilie Balland; Charles Consel
Détail
PSIEtA'10: Proceedings of the International Workshop on Programming Support Innovations for Emerging Distributed Applications, Oct 2010, Reno, United States. ACM Digital Library
Accès au texte intégral et bibtex
psieta10.pdf BibTex
Titre
Preliminary Results in Virtual Testing for Smart Buildings (Poster)
Auteurs
Julien Bruneau; Charles Consel; Marcia O'Malley; Walid Taha; Wail Masry Hannourah
Détail
MOBIQUITOUS 2010, 7th International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Dec 2010, Sydney, Australia.
Accès au texte intégral et bibtex
mobiquitous-paper.pdf BibTex
Titre
The Third Rewrite Engines Competition
Auteurs
Francisco Durán; Manuel Roldan; Jean-Christophe Bach; Emilie Balland; Mark Van Den Brand; James R. Cordy; Steven Eker; Luc Engelen; Maartje De Jonge; Karl Trygve Kalleberg; Lennart C.L. Kats; Pierre-Etienne Moreau; Eelco Visser
Détail
Peter Csaba Ölveczky. 8th International Workshop on Rewriting Logic and its Applications - WRLA 2010, Mar 2010, Paphos, Cyprus. Springer-Verlag, Rewriting Logic and Its Applications, 6381, pp. 243-261, Lecture Notes in Computer Science
Accès au bibtex
BibTex

2009

Titre
Grammaires d'erreur
Auteurs
Lionel Clément; Kim Gerdes; Renaud Marlet
Détail
TALN 2009, 2009, France. pp. 1-10
Accès au bibtex
BibTex
Titre
Lazy Composition of Representations in Java
Auteurs
Rémi Douence; Xavier Lorca; Nicolas Loriant
Détail
SC'09 (International Conference on Software Composition), Jul 2009, Lille, France. Springer Verlag, 5634, pp. 55-71
Accès au texte intégral et bibtex
douence-al-sc09.pdf BibTex
Titre
DiaSim: A Parameterized Simulator for Pervasive Computing Applications
Auteurs
Julien Bruneau; Wilfried Jouve; Charles Consel
Détail
6th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous'09), Jul 2009, Toronto, Canada. IEEE
Accès au texte intégral et bibtex
DiaSim.pdf BibTex
Titre
Reusing and Composing Tests with Traits
Auteurs
Stéphane Ducasse; Damien Pollet; Alexandre Bergel; Damien Cassou
Détail
47th International Conference on Objects, Components, Models and Patterns, Oct 2009, New York, United States. Springer, 33, pp. 252-271, Lecture Notes in Business Information Processing
Accès au texte intégral et bibtex
Reusing_Composing.pdf BibTex
Titre
A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications
Auteurs
Zoé Drey; Julien Mercadal; Charles Consel
Détail
1st IFIP Working Conference on Domain-Specific Languages, Jul 2009, Oxford, United Kingdom. 5658, pp. 78-99
Accès au texte intégral et bibtex
Taxonomy.pdf BibTex
Titre
A Generative Programming Approach to Developing Pervasive Computing Systems
Auteurs
Damien Cassou; Benjamin Bertran; Nicolas Loriant; Charles Consel
Détail
GPCE '09: Proceedings of the 8th international conference on Generative programming and component engineering, Oct 2009, Denver, CO, United States. ACM, pp. 137-146
Accès au texte intégral et bibtex
gpce42-cassou.pdf BibTex
Titre
A SIP-Based Home Automation Platform: An Experimental Study
Auteurs
Benjamin Bertran; Charles Consel; Patrice Kadionik; Bastien Lamer
Détail
13th International Conference on Intelligence in Next Generation Networks, Oct 2009, Bordeaux, France. IEEE, pp. 1-6
Accès au texte intégral et bibtex
bertran-icin09.pdf BibTex
Titre
DiaSim: A Parameterized Simulator for Pervasive Computing Applications
Auteurs
Wilfried Jouve; Julien Bruneau; Charles Consel
Détail
IEEE International Conference on Pervasive Computing and Communications, 2009 (Demo), Mar 2009, Galveston, United States.
Accès au texte intégral et bibtex
diasim-percom-demo.pdf BibTex
Titre
An Aspect-Oriented Approach to Securing Distributed Systems
Auteurs
Henner Jakob; Nicolas Loriant; Charles Consel
Détail
Sixth ACM International Conference on Pervasive Services, Jul 2009, London, United Kingdom. ACM, pp. 21-30
Accès au texte intégral et bibtex
icps004-jakob.pdf BibTex

2008

Titre
High-level Programming Support for Robust Pervasive Computing Applications
Auteurs
Wilfried Jouve; Julien Lancia; Nicolas Palix; Charles Consel; Julia Lawall
Détail
6th IEEE Conference on Pervasive Computing and Communications, Mar 2008, Hong Kong, China.
Accès au texte intégral et bibtex
jouve-al_percom08.pdf BibTex
Titre
A SIP-based Programming Framework for Advanced Telephony Applications
Auteurs
Wilfried Jouve; Nicolas Palix; Charles Consel; Patrice Kadionik
Détail
2nd LNCS Conference on Principles, Systems and Applications of IP Telecommunications, Jul 2008, Heidelberg, Germany.
Accès au texte intégral et bibtex
jouve-al_iptcomm08.pdf BibTex
Titre
Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services
Auteurs
Julien Mercadal; Nicolas Palix; Charles Consel; Julia Lawall
Détail
Seventh International Conference on Generative Programming and Component Engineering, Oct 2008, Nashville, United States. pp. 149-160
Accès au texte intégral et bibtex
mercadal-al_gpce08.pdf BibTex
Titre
DSLs: the good, the bad, and the ugly
Auteurs
Jeff Gray; Kathleen Fisher; Charles Consel; Gabor Karsai; Marjan Mernik; Juha-Pekka Tolvanen
Détail
Conference on Object Oriented Programming Systems Languages and Applications archive, Oct 2008, Nashville, United States. ACM
Accès au texte intégral et bibtex
pnl0000003-gray.pdf BibTex

2007

Titre
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations
Auteurs
Laurent Burgy; Laurent Réveillère; Julia Lawall; Gilles Muller
Détail
26th IEEE International Symposium on Reliable Distributed Systems, 2007, beijing, China.
Accès au texte intégral et bibtex
srds07.pdf BibTex
Titre
Building Home Monitoring Applications: From Design to Implementation into The Amigo Middleware
Auteurs
W. Jouve; Noha Ibrahim; Laurent Réveillère; Frédéric Le Mouël; Charles Consel
Détail
Proceedings of The Second International Conference on Pervasive Computing and Applications (ICPCA'07), 2007, Birmingham, United Kingdom.
Accès au texte intégral et bibtex
icpca07.pdf BibTex

2005

Titre
A Generative Programming Approach To Developing DSL Compilers
Auteurs
Charles Consel; Fabien Latry; Laurent Réveillère; Pierre Cointe
Détail
International Conference on Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp. 29-46
Accès au texte intégral et bibtex
consel-algpce2005.pdf BibTex

2004

Titre
A comparative study of SIP programming interfaces
Auteurs
Laurent Burgy; Laurence Caillot; Charles Consel; Fabien Latry; Laurent Réveillère
Détail
International Conference on Intelligence in service delivery Networks, 2004, Bordeaux, France. pp. BCCLR04
Accès au texte intégral et bibtex
icin04-consel.pdf BibTex

2003

Titre
A programmable client-server model: Robust extensibility via DSLs
Auteurs
Charles Consel; Laurent Réveillère
Détail
International Conference on Automated Software Engineering, 2003, Montréal, Canada. pp. 70-79
Accès au texte intégral et bibtex
Consel-Reveillere_ase03.pdf BibTex
Titre
Spidle: A DSL approach to specifying streaming application
Auteurs
Charles Consel; Hedi Hamdi; Laurent Réveillère; Lenin Singaravelu; Haiyan Yu; Calton Pu
Détail
International Conference on Generative Programming and Component Engineering, 2003, Germany. pp. 1-17
Accès au texte intégral et bibtex
consel-al_gpce03.pdf BibTex

Other publications

2009

Titre
A Parameterized Simulator for Pervasive Computing Applications
Auteurs
Julien Bruneau; Alexandre Blanquart; Nicolas Loriant; Charles Consel
Détail
2009. Demonstration at ICPS'09
Accès au bibtex
BibTex

2007

Titre
A Language-based Approach for Robust and Efficient Network Application Protocol Implementations
Auteurs
Laurent Burgy; Laurent Réveillère; Julia Lawall; Gilles Muller
Détail
Mar. 2007. Poster session of Eurosys 2007
Accès au bibtex
BibTex
Titre
Spécialiser les programmes, spécialiser les langages
Auteurs
Renaud Marlet
Détail
2007. Habilitation à diriger les recherches (Université de Bordeaux 1)
Accès au bibtex
BibTex

Scientific Books

2009

Titre
Pharo by Example
Auteurs
Andrew Black; Stéphane Ducasse; Oscar Nierstrasz; Damien Pollet; Damien Cassou; Marcus Denker
Détail
Square Bracket Associates, pp. 352, 2009, 978-3-9523341-4-0
Accès au texte intégral et bibtex
PBE1-2009-10-28.pdf BibTex

Patents

2008

Titre
Dispositif de routage pour un système de téléphonie sur IP
Auteurs
Laurent Burgy; Charles Consel; Fabien Latry; Nicolas Palix; Laurent Réveillère
Détail
Europe, EP1887774. Feb. 2008
Accès au bibtex
BibTex

Research reports

2012

Titre
Activity Report 2012. Project-Team RMOD. Analyses and Languages Constructs for Object-Oriented Application Evolution
Auteurs
Nicolas Anquetil; Damien Cassou; Denker Marcus; Stéphane Ducasse url; Damien Pollet
Détail
[Research Report], 2012
Accès au texte intégral et bibtex
rmod.pdf BibTex

2011

Titre
Design-driven Development of Safety-critical Applications: A Case Study In Avionics
Auteurs
Julien Bruneau; Quentin Enard; Stéphanie Gatti; Emilie Balland; Charles Consel
Détail
[Technical Report], 2011
Accès au texte intégral et bibtex
autopilot.pdf BibTex

2010

Titre
Tempo Documentation - Interacting with a C Program Specializer
Auteurs
Renaud Marlet
Détail
[Technical Report], 2010, pp. 149. RT-0390
Accès au texte intégral et bibtex
RT-0390.pdf BibTex

PhD thesis

2012

Titre
Canevas de programmation pour gérer l'héterogénéité et la consommation d'énergie des mobiles dans un environnement ubiquitaire
Auteurs
Hongyu Guan
Détail
informatique. Université Sciences et Technologies - Bordeaux I, Jun. 2012. French
Accès au texte intégral et bibtex
thesis_de_HongYu.pdf BibTex
Titre
Developing and Testing Pervasive Computing Applications: A Tool-Based Methodology
Auteurs
Julien Bruneau
Détail
Université Sciences et Technologies - Bordeaux I, May. 2012. English
Accès au texte intégral et bibtex
thesis.pdf BibTex

2011

Titre
Développement logiciel orienté paradigme de conception : la programmation dirigée par la spécification
Auteurs
Damien Cassou
Détail
informatique. Université Sciences et Technologies - Bordeaux I, Mar. 2011. French
Accès au texte intégral et bibtex
thesis.pdf BibTex
Titre
Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire
Auteurs
Julien Mercadal
Détail
informatique. Université Sciences et Technologies - Bordeaux I, Oct. 2011. French
Accès au texte intégral et bibtex
mercadal-thesis-final.pdf BibTex
Titre
Towards securing pervasive computing systems by design: a language approach
Auteurs
Henner Jakob
Détail
informatique. Université Sciences et Technologies - Bordeaux I, Jun. 2011. French
Accès au texte intégral et bibtex
These-Henner_JAKOB.pdf BibTex

2010

Titre
Vers une méthodologie dédiée à l'orchestration d'entités communicantes
Auteurs
Zoé Drey
Détail
informatique. Université Sciences et Technologies - Bordeaux I, Sep. 2010. French
Accès au texte intégral et bibtex
DREY_ZOE_2010.pdf BibTex

2009

Titre
Approche déclarative pour la génération de canevas logiciels dédiés à l'informatique ubiquitaire
Auteurs
Wilfried Jouve
Détail
informatique. Université Sciences et Technologies - Bordeaux I, Apr. 2009. French
Accès au texte intégral et bibtex
thesis-jouve-2009.pdf BibTex

2008

Titre
Langages dédiés au développement de services de communications
Auteurs
Nicolas Palix
Détail
informatique. Université Sciences et Technologies - Bordeaux I, Sep. 2008. French
Accès au texte intégral et bibtex
these_palix.pdf BibTex
Titre
Approche langage au développement du support protocolaire d'applications réseaux
Auteurs
Laurent Burgy
Détail
Université Sciences et Technologies - Bordeaux I, Apr. 2008. French
Accès au texte intégral et bibtex
thesis.pdf BibTex
Titre
Infrastrucuture orientée service pour le développement d'applications ubiquitaires
Auteurs
Julien Lancia
Détail
Université Sciences et Technologies - Bordeaux I, Dec. 2008. French
Accès au texte intégral et bibtex
thesis-lancia-2008.pdf BibTex