Emilie Balland

I work at INRIA Bordeaux - Sud-Ouest as a Research Scientist. I'm a member of the Phoenix project team.

 


Scientific interests


Projects

  • Coordinator of the OPALI Associate team (join-project with the TSA chair, University of Trois-Rivières, Canada)
  • Coordinator of the SERUS ARC (join-project with the TSF-LAAS and the ADAM research groups)
  • DiaSuite: a Development Environment for Pervasive Computing Application
  • Tom: a Java Language Extension for defining Transformations
  • Former member of the ANR Ravaj project (Rewriting and Approximations for Java Applications Verification)

Events

  • GPCE 2014:  13th International Conference on Generative Programming: Concepts & Experiences
  • SLE 2014: 6th International Conference on Software Language Engineering
  • GPCE 2013:  12th International Conference on Generative Programming: Concepts & Experiences
  • SLE 2013: 5th International Conference on Software Language Engineering
  • WGP 2013: 9th ACM SIGPLAN Workshop on Generic Programming (Co-located with ICFP 2013)
  • SLE 2012: 5th International Conference on Software Language Engineering
  • WRLA 2012: 9th International Workshop on Rewriting Logic and its Applications (Co-located with ETAPS 2012)
  • PEPM 2012: ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (Co-located with POPL 2012)
  • LDTA 2012: 12th Workshop on Language Descriptions, Tools and Applications (Co-located with ETAPS 2012)

Contact


Publications

2016

Journal articles

titre
Tablet-Based Activity Schedule in Mainstream Environment for Children with Autism and Children with ID
auteur
Charles Fage, Léonard Pommereau, Charles Consel, Emilie Balland, Hélène Sauzéon
article
ACM Transactions on Accessible Computing , ACM New York, NY, USA 2016, Transactions on Accessible Computing, 8 (3), <10.1145/2854156>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01330442/file/Main.pdf BibTex
titre
Frameworks compiled from declarations: a language-independent approach
auteur
Paul Van Der Walt, Charles Consel, Emilie Balland
article
Software: Practice and Experience, John Wiley & Sons Ltd, 2016, <10.1002/spe.2417>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01236352/file/progfw.main.pdf https://hal.inria.fr/hal-01236352/file/java-global-UML.pdf https://hal.inria.fr/hal-01236352/file/racket-global-UML.pdf https://hal.inria.fr/hal-01236352/file/racket-submodules.pdf BibTex
titre
Analysis of How People with Intellectual Disabilities Organize Information Using Computerized Guidance
auteur
Dany Lussier-Desrochers, Hélène Sauzéon, Charles Consel, Jennie Roux, Emilie Balland, Valérie Godin-Tremblay, Bernard N'Kaoua, Yves Lachapelle
article
Disability and Rehabilitation: Assistive Technology, Taylor & Francis, 2016, à paraitre, <10.3109/17483107.2015.1136000>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01251888/file/Lussier%20etal.pdf BibTex

2015

Journal articles

titre
Tablet-Based Activity Schedule in Mainstream Environment for Children with Autism and Children with ID
auteur
Charles Fage, Léonard Pommereau, Charles Consel, Emilie Balland, Hélène Sauzéon
article
ACM Transactions on Accessible Computing , ACM New York, NY, USA 2015
Accès au bibtex
BibTex

Preprints, Working Papers, ...

titre
Bringing Strategic Rewriting into the Mainstream
auteur
Emilie Balland, Horatiu Cirstea, Pierre-Etienne Moreau
article
2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01128523/file/submission.pdf BibTex
titre
A Java Framework for Test Data Generation
auteur
Horatiu Cirstea, Pierre-Etienne Moreau, Emilie Balland
article
2015
Accès au bibtex
BibTex

2014

Journal articles

titre
[AGGIR scale: a contribution to specifying the needs of disabled elders].
auteur
Lioubov Aguilova, Hélène Sauzéon, Émilie Balland, Charles Consel, Bernard N'Kaoua
article
Revue Neurologique, Elsevier Masson, 2014, 170 (3), pp.216-21. <10.1016/j.neurol.2014.01.039>
Accès au bibtex
BibTex
titre
Effective Strategic Programming for Java Developers
auteur
Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
article
International Journal on Software - Practice and Experience, 2014, Software: Practice and Experience, 44 (2), pp.34. <http://onlinelibrary.wiley.com/doi/10.1002/spe.2159/abstract>. <10.1002/spe.2159>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01265319/file/final.pdf BibTex

Conference papers

titre
Tablet-Based Activity Schedule for Children with Autism in Mainstream Environment
auteur
Charles Fage, Léonard Pommereau, Charles Consel, Emilie Balland, Hélène Sauzéon
article
ASSETS 2014 - The 16th International ACM SIGACCESS Conference on Computers and Accessibility, Oct 2014, Rochester, United States. ACM, 2014, <10.1145/2661334.2661369>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01016044/file/Autism_prompting_application.pdf BibTex

2013

Conference papers

titre
Réalité Virtuelle, assitance numérique et cognition quotidienne : études auprès de patients en stade précoces de démence de type Alzheimer
auteur
Hélène Sauzéon, M. Déjos, Emilie Balland, Charles Consel, Bernard N'Kaoua
article
Mustapha Mojahid and Christophe Jouffrais and Isabelle Etcheverry. Workshop - Alzheimer, Approche pluridisciplinaire De la recherche clinique aux avancées technologiques, Jan 2013, Toulouse, France. pp.43-58, 2013, Alzheimer, Approche pluridisciplinaire : De la recherche clinique aux avancées technologiques. <http://www.irit.fr/WS_ALZHEIMER2013/Actes%20WS%20Alzheimer%20IRIT%20ISBN.pdf>
Accès au bibtex
BibTex
titre
Design-driven Development of Dependable Applications: A Case Study in Avionics
auteur
Quentin Enard, Stéphanie Gatti, Julien Bruneau, Young-Joo Moon, Emilie Balland, Charles Consel
article
César Benavente-Peces and Joaquim Filipe. PECCS - 3rd International Conference on Pervasive and Embedded Computing and Communication Systems, Feb 2013, Barcelona, Spain. SciTePress, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794329/file/autopilot.pdf BibTex
titre
A Case for Human-Driven Software Development
auteur
Emilie Balland, Charles Consel, Bernard N'Kaoua, Hélène Sauzeon
article
ICSE'13: Proceedings of the 35th International Conference on Software Engineering (NIER track), May 2013, San Francisco, United States. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00814296/file/paper.pdf BibTex
titre
Design-Driven Development Methodology for Resilient Computing
auteur
Quentin Enard, Miruna Stoicescu, Emilie Balland, Charles Consel, Laurence Duchien, Jean-Charles Fabre, Matthieu Roy
article
CBSE'13: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, Jun 2013, Vancouver, Canada. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00814298/file/paper.pdf BibTex

2012

Journal articles

titre
Towards a Tool-based Development Methodology for Pervasive Computing Applications
auteur
Damien Cassou, Julien Bruneau, Charles Consel, Emilie Balland
article
IEEE TSE: Transactions on Software Engineering, IEEE Computer Society, 2012, 38 (6), pp.1445-1463. <10.1109/TSE.2011.107>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00683210/file/TSE-2010-06-0178.R3_Cassou.pdf BibTex
titre
DiaSuite: a Tool Suite To Develop Sense/Compute/Control Applications
auteur
Benjamin Bertran, Julien Bruneau, Damien Cassou, Nicolas Loriant, Emilie Balland, Charles Consel
article
Science of Computer Programming, Fourth special issue on Experimental Software and Toolkits, Elsevier, 2012, <10.1016/j.scico.2012.04.001>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00702909/file/diasuite.pdf BibTex
titre
Projet Collège+ : validation d’un assistant numérique pour l’inclusion scolaire de collégiens porteurs d’autisme
auteur
Charles Fage, Charles Consel, Emilie Balland, Damien Martin-Guillerez, Bernard N 'Kaoua, Bruno Gepner, Carole Tardif, Helene Sauzeon
article
Bulletin Scientifique de l'ARAPI., 2012, 8e Journée Régionale de l'arapi Autisme : quelles évolutions et innovations dans les réseaux et dispositifs d'accompagnement ?, <http://www.arapi-autisme.fr/publicationArapiL.php>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01241469/file/ARAPI.pdf BibTex

2011

Conference papers

titre
Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC
auteur
Damien Cassou, Charles Consel, Emilie Balland, Julia Lawall
article
GDR GPL'11: 3ème journées du Génie de la programmation et du logiciel, Jun 2011, Lille, France. pp.33--34, 2011, <http://gdr-gpl.cnrs.fr/index.php?option=com_docman&task=doc_download&gid=45&Itemid=37>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00602098/file/icse-french.pdf BibTex
titre
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications
auteur
Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall
article
ICSE'11: Proceedings of the 33rd International Conference on Software Engineering, May 2011, Honolulu, United States. ACM, pp.431-440, 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00537789/file/icse2011.pdf BibTex
titre
A Step-wise Approach for Integrating QoS throughout Software Development
auteur
Stéphanie Gatti, Emilie Balland, Charles Consel
article
FASE'11: Proceedings of the 14th European Conference on Fundamental Approaches to Software Engineering, Mar 2011, Sarrebruck, Germany. Springer, 6603, pp.217-231, 2011, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00561619/file/fase2011.pdf BibTex

Reports

titre
Design-driven Development of Safety-critical Applications: A Case Study In Avionics
auteur
Julien Bruneau, Quentin Enard, Stéphanie Gatti, Emilie Balland, Charles Consel
article
[Technical Report] 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00638203/file/autopilot.pdf BibTex

2010

Conference papers

titre
Open Platforms: New Challenges for Software Engineering
auteur
Emilie Balland, Charles Consel
article
PSIEtA'10: Proceedings of the International Workshop on Programming Support Innovations for Emerging Distributed Applications, Oct 2010, Reno, United States. ACM Digital Library, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00533721/file/psieta10.pdf BibTex
titre
The Third Rewrite Engines Competition
auteur
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
article
Peter Csaba Ölveczky. 8th International Workshop on Rewriting Logic and its Applications - WRLA 2010, Mar 2010, Paphos, Cyprus. Springer-Verlag, 6381, pp.243-261, 2010, Lecture Notes in Computer Science; Rewriting Logic and Its Applications. <http://www.springerlink.com/content/436358m836203763/>. <10.1007/978-3-642-16310-4_16>
Accès au bibtex
BibTex
titre
Towards a Tool-based Development Methodology for Sense/Compute/Control Applications (Poster)
auteur
Damien Cassou, Julien Bruneau, Julien Mercadal, Quentin Enard, Emilie Balland, Nicolas Loriant, Charles Consel
article
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, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00510378/file/poster-extended-abstract.pdf BibTex

2009

Reports

titre
Tom Manual
auteur
Jean-Christophe Bach, Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles
article
[Technical Report] 2009, pp.155
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00121885/file/manual-2.7.pdf BibTex

Theses

titre
Conception d'un langage dédié à l'analyse et la transformation de programmes
auteur
Emilie Balland
article
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2009. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00435881/file/manuscrit.pdf BibTex

2008

Conference papers

titre
Towards an Efficient Implementation of Tree Automata Completion
auteur
Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau
article
José Meseguer and Grigore Rosu. 12th International Conference on Algebraic Methodology and Software Technology - AMAST'08, Jul 2008, Urbana, Illinois, United States. Springer, 5140, pp.67-82, 2008, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00304010/file/finalversion.pdf BibTex
titre
Term-graph rewriting via explicit paths
auteur
Emilie Balland, Pierre-Etienne Moreau
article
Andrei Voronkov. RTA: International Conference on Rewriting Techniques and Applications, Jun 2008, Hagenberg, Austria. Springer, 5117, pp.32-47, 2008, Lecture Notes in Computer Science; RTA
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00173535/file/longversion.pdf BibTex
titre
The Second Rewrite Engines Competition
auteur
Emilie Balland, Pierre-Etienne Moreau, Mark Van den Brand, Eelco Visser, Francisco Duran, Manuel Roldan, Steven Eker, Karl Trygve Kalleberg, Lennart C. L. Kats, Ruslan Schevchenko
article
WRLA 2008: 7th International Workshop on Rewriting Logic and its Applications, Mar 2008, Budapest, Hungary. 2009
Accès au bibtex
BibTex

2007

Conference papers

titre
Bytecode rewriting in Tom
auteur
Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
article
Marieke Huisman and Fausto Spoto. Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation - BYTECODE 07, Mar 2007, Braga, Portugal. ELSEVIER, 190, pp.19-33, 2007, ENTCS; BYTECODE 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00129513/file/bytecode.pdf BibTex
titre
Rewriting Strategies in Java
auteur
Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
article
The Eighth International Workshop on Rule-Based Programming - RBP'07, Jun 2007, Paris, France. 2007, ENTCS
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00274919/file/final.pdf BibTex
titre
Term-graph rewriting in Tom using relative positions
auteur
Emilie Balland, Paul Brauner
article
Ian Mackie. 4th International Workshop on Computing with Terms and Graphs, Mar 2007, Braga, Portugal. Elsevier, 203, pp.3-17, 2008, Electronic Notes in Theoretical Computer Science; TERMGRAPH 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00129515/file/termgraph.pdf BibTex
titre
Tom: Piggybacking rewriting on java
auteur
Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, Antoine Reilles
article
Conference on Rewriting Techniques and Applications - RTA'07, Jun 2007, Paris/France, France. Springer-Verlag, 4533, pp.36-47, 2007, LNCS; Proceedings of the 18th Conference on Rewriting Techniques and Applications
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00142045/file/system.pdf BibTex

2006

Conference papers

titre
Formal Islands
auteur
Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau
article
Michael Johnson and Varmo Vene. 11th International Conference on Algebraic Methodology and Software Technology - AMAST '06, Jul 2006, Kuressaare, Estonia. Springer, 4019, pp.51-65, 2006, Lecture Notes in Computer Science; Algebraic Methodology and Software Technology, 11th International Conference
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001146/file/submitted-paper.pdf BibTex
titre
Optimizing pattern matching compilation by program transformation
auteur
Emilie Balland, Pierre-Etienne Moreau
article
Reiko Heckel and Jean-Marie Favre and Tom Mens. 3rd Workshop on Software Evolution through Transformations SeTra 2006, Sep 2006, Natal, Rio Grande do Norte, Brazil. EASST, 3, 2006, Electronic Communications of EASST; Software Evolution through Transformations 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000763/file/paper.pdf BibTex
titre
Modular Formal Islands: Embed theory in your practice
auteur
Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau, Anderson Santana de Oliveira
article
Third Taiwanese-French Conference on Information Technology - TFIT 2006, Mar 2006, Nancy/France, 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001186/file/tfit06.pdf BibTex

Reports

titre
Optimizing pattern matching compilation by program transformation
auteur
Emilie Balland, Pierre-Etienne Moreau
article
[Technical Report] 2006, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001127/file/paper.pdf BibTex

2005

Reports

titre
Optimisation du filtrage par transformations de programmes
auteur
Emilie Balland
article
[Stage] 2005, pp.43
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000764/file/rapport.pdf BibTex


Teaching