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

2018

Journal articles

titre
Tablet Apps to Support First School Inclusion of Children With Autism Spectrum Disorders (ASD) in Mainstream Classrooms: A Pilot Study
auteur
Charles Fage, Charles Consel, Emilie Balland, Kattalin Etchegoyhen, Anouk Amestoy, Manuel Bouvard, Hélène Sauzéon
article
Frontiers in Psychology, Frontiers, 2018, 9, ⟨10.3389/fpsyg.2018.02020⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01904791/file/Fages%20etalfpsyg-09-02020.pdf BibTex

2016

Journal articles

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, Informa Healthcare/Taylor and 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
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, Wiley, 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

2015

Preprints, Working Papers, ...

titre
A Java Framework for Test Data Generation
auteur
Horatiu Cirstea, Pierre-Etienne Moreau, Emilie Balland
article
2015
Accès au bibtex
BibTex
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

2014

Journal articles

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, 2014, Science of Computer Programming, 79, ⟨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
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. ⟨10.1002/spe.2159⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01265319/file/final.pdf BibTex
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

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, ACM SIGACCESS, Oct 2014, Rochester, United States. ⟨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
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
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
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00814298/file/paper.pdf 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
PECCS - 3rd International Conference on Pervasive and Embedded Computing and Communication Systems, Feb 2013, Barcelona, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00794329/file/autopilot.pdf BibTex
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
Workshop - Alzheimer, Approche pluridisciplinaire De la recherche clinique aux avancées technologiques, IRT, Jan 2013, Toulouse, France. pp.43-58
Accès au bibtex
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 Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 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
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, Hélène Sauzeon
article
Bulletin Scientifique de l'ARAPI, Massy : ARAPI 2012, 8e Journée Régionale de l'arapi Autisme : quelles évolutions et innovations dans les réseaux et dispositifs d'accompagnement ?
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01241469/file/ARAPI.pdf BibTex

2011

Conference papers

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. pp.217-231
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00561619/file/fase2011.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 - 33rd International Conference on Software Engineering, May 2011, Honolulu, HI, United States. pp.431-440, ⟨10.1145/1985793.1985852⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00537789/file/icse2011.pdf BibTex
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
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00602098/file/icse-french.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
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
8th International Workshop on Rewriting Logic and its Applications - WRLA 2010, Mar 2010, Paphos, Cyprus. pp.243-261, ⟨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. pp.1--2
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00510378/file/poster-extended-abstract.pdf BibTex
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
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00533721/file/psieta10.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 1, 2009. Français. ⟨NNT : 2009NAN10026⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01748507/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
12th International Conference on Algebraic Methodology and Software Technology - AMAST'08, Jul 2008, Urbana, Illinois, United States. pp.67-82
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
RTA: International Conference on Rewriting Techniques and Applications, Jun 2008, Hagenberg, Austria. pp.32-47
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
Accès au bibtex
BibTex

2007

Conference papers

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
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00274919/file/final.pdf BibTex
titre
Bytecode rewriting in Tom
auteur
Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles
article
Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation - BYTECODE 07, Mar 2007, Braga, Portugal. pp.19-33
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00129513/file/bytecode.pdf BibTex
titre
Term-graph rewriting in Tom using relative positions
auteur
Emilie Balland, Paul Brauner
article
4th International Workshop on Computing with Terms and Graphs, Mar 2007, Braga, Portugal. pp.3-17
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. pp.36-47
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00142045/file/system.pdf BibTex

2006

Conference papers

titre
Optimizing pattern matching compilation by program transformation
auteur
Emilie Balland, Pierre-Etienne Moreau
article
3rd Workshop on Software Evolution through Transformations SeTra 2006, Sep 2006, Natal, Rio Grande do Norte, Brazil
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000763/file/paper.pdf BibTex
titre
Formal Islands
auteur
Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau
article
11th International Conference on Algebraic Methodology and Software Technology - AMAST '06, Jul 2006, Kuressaare, Estonia. pp.51-65
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001146/file/submitted-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, INRIA/LORIA, Mar 2006, Nancy/France
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