Bibliography

Major publications by the team in recent years

• 1E. Balland, C. Consel, H. Sauzéon, B. N'Kaoua.
  A Case for Human-Driven Software Development, in: ICSE'13: Proceedings of the 35th International Conference on Software Engineering (NIER track), San Francisco, United States, May 2013.
  http://hal.inria.fr/hal-00814296
• 2D. 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, pp. 431-440.
  http://hal.inria.fr/inria-00537789/en
• 3D. 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, pp. 1445-1463.
  http://hal.inria.fr/hal-00683210
• 4C. 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, pp. 19–29.
  http://phoenix.labri.fr/publications/papers/dagstuhl-consel.pdf
• 5C. 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, pp. 165–179.
  http://phoenix.labri.fr/publications/papers/dagstuhl04_consel_reveillere.pdf
• 6D. Daney, Y. Papegay, B. Madeline.
  Choosing Measurement Poses for Robot Calibration with the Local Convergence Method and Tabu Search, in: International Journal of Robotics Research, 2005, vol. 24, n^o 6, pp. 501–518. [ DOI : 10.1177/0278364905053185 ]
  http://hal.inria.fr/hal-00907749
• 7M. Hladïk, D. Daney, E. Tsigaridas.
  Bounds on real eigenvalues and singular values of interval matrices, in: SIAM Journal on Matrix Analysis and Applications, 2010, vol. 31, n^o 4, pp. 2116-2129. [ DOI : 10.1137/090753991 ]
  http://hal.inria.fr/hal-00907726
• 8B. Lapeyre, S. Hourlier, X. Servantie, B. N'Kaoua, H. Sauzéon.
  Using the landmark-route-survey framework to evaluate spatial knowledge obtained from synthetic vision systems., in: Human Factors, December 2011, vol. 53, n^o 6, pp. 647-61.
  http://hal.inria.fr/hal-00907960
• 9D. 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, pp. 217–251.
  http://phoenix.labri.fr/publications/papers/tocs01-namee.pdf
• 10J. 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
• 11H. Sauzéon, P. Arvind Pala, F. Larrue, G. Wallet, M. Déjos, X. Zheng, P. Guitton, B. N'Kaoua.
  The use of virtual reality for episodic memory assessment: effects of active navigation., in: Experimental Psychology, 2011, vol. 59, n^o 2, pp. 99-108. [ DOI : 10.1027/1618-3169/a000131 ]
  http://hal.inria.fr/hal-00907977
• 12M. Taillade, H. Sauzéon, P. Arvind Pala, M. Déjos, F. Larrue, C. Gross, B. N'Kaoua.
  Age-related wayfinding differences in real large-scale environments: detrimental motor control effects during spatial learning are mediated by executive decline?, in: PLoS ONE, 2013, vol. 8, n^o 7. [ DOI : 10.1371/journal.pone.0067193 ]
  http://hal.inria.fr/hal-00906837

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 13P. Arvind Pala.
  Approche écologique de la mémoire épisodique dans le vieillissement normal et les neuropathologies, Université Victor Segalen - Bordeaux II, December 2013.
  http://hal.inria.fr/tel-00920530
• 14Q. Enard.
  Développement d'applications logicielles sûres de fonctionnement: une approche dirigee par la conception, Université Sciences et Technologies - Bordeaux I, May 2013.
  http://hal.inria.fr/tel-00839298

Articles in International Peer-Reviewed Journals

• 15J. Mercadal, Z. Drey, C. Consel.
  Denotational Semantics of A User-Oriented, Domain-Specific Language, in: Electronic Proceedings in Theoretical Computer Science, September 2013, vol. 129, pp. 229-249, Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday. [ DOI : 10.4204/EPTCS.129.14 ]
  http://hal.inria.fr/hal-00865381
• 16H. Sauzéon, J. Rodrigues, M.-M. Corsini, B. N'Kaoua.
  Age-related differences according to the associative deficit and the environmental support hypotheses: an application of the formal charm associative memory model., in: Experimental Aging Research, 2013, vol. 39, n^o 3, pp. 275-304. [ DOI : 10.1080/0361073X.2013.779192 ]
  http://hal.inria.fr/hal-00906839
• 17E. Sorita, B. N'Kaoua, F. Larrue, J. Criquillon, A. Simion, H. Sauzéon, P.-A. Joseph, J.-M. Mazaux.
  Do patients with traumatic brain injury learn a route in the same way in real and virtual environments?, in: Disability and Rehabilitation, August 2013, vol. 35, n^o 16, pp. 1371-9. [ DOI : 10.3109/09638288.2012.738761 ]
  http://hal.inria.fr/hal-00907949
• 18M. Taillade, H. Sauzéon, P. Arvind Pala, M. Déjos, F. Larrue, C. Gross, B. N'Kaoua.
  Age-related wayfinding differences in real large-scale environments: detrimental motor control effects during spatial learning are mediated by executive decline?, in: PLoS ONE, 2013, vol. 8, n^o 7. [ DOI : 10.1371/journal.pone.0067193 ]
  http://hal.inria.fr/hal-00906837
• 19M. Taillade, H. Sauzéon, M. Dejos, P. A. Pala, F. Larrue, G. Wallet, C. Gross, B. N'Kaoua.
  Executive and memory correlates of age-related differences in wayfinding performances using a virtual reality application., in: Aging, Neuropsychology and Cognition, 2013, vol. 20, n^o 3, pp. 298-319. [ DOI : 10.1080/13825585.2012.706247 ]
  http://hal.inria.fr/hal-00907965
• 20G. Wallet, H. Sauzéon, F. Larrue, B. N'Kaoua.
  Virtual/Real Transfer in a Large-Scale Environment: Impact of Active Navigation as a Function of the Viewpoint Displacement Effect and Recall Tasks, in: Advances in Human-Computer Interaction, September 2013. [ DOI : 10.1155/2013/879563 ]
  http://hal.inria.fr/hal-00920621

International Conferences with Proceedings

• 21E. Balland, C. Consel, H. Sauzéon, B. N'Kaoua.
  A Case for Human-Driven Software Development, in: ICSE'13: Proceedings of the 35th International Conference on Software Engineering (NIER track), San Francisco, United States, May 2013.
  http://hal.inria.fr/hal-00814296
• 22Q. Enard, S. Gatti, J. Bruneau, Y.-J. Moon, E. Balland, C. Consel.
  Design-driven Development of Dependable Applications: A Case Study in Avionics, in: PECCS - 3rd International Conference on Pervasive and Embedded Computing and Communication Systems, Barcelona, Spain, C. Benavente-Peces, J. Filipe (editors), SciTePress, 2013.
  http://hal.inria.fr/hal-00794329
• 23Q. Enard, M. Stoicescu, E. Balland, C. Consel, L. Duchien, J.-C. Fabre, M. Roy.
  Design-Driven Development Methodology for Resilient Computing, in: CBSE'13: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, Vancouver, Canada, June 2013.
  http://hal.inria.fr/hal-00814298
• 24F. Larrue, H. Sauzéon, D. Foloppe, G. Wallet, J.-R. Cazalets, C. Gross, M. Hachet, B. N'Kaoua.
  Assessing the impact of automatic vs. controlled rotations on spatial transfer with a joystick and a walking interface in VR, in: Interact 2013, Cap Town, South Africa, 2013.
  http://hal.inria.fr/hal-00804266

National Conferences with Proceedings

• 25H. Sauzéon, M. Déjos, E. Balland, C. Consel, B. N'Kaoua.
  Réalité Virtuelle, assitance numérique et cognition quotidienne : études auprès de patients en stade précoces de démence de type Alzheimer, in: Workshop - Alzheimer, Approche pluridisciplinaire De la recherche clinique aux avancées technologiques, Toulouse, France, M. Mojahid, C. Jouffrais, I. Etcheverry (editors), IRT, December 2013, pp. 43-58.
  http://hal.inria.fr/hal-00920971

References in notes

• 26J. 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), pp. 311–330.
• 27A. 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, pp. 97–166.
• 28P. Feiler.
  The Architecture Analysis & Design Language (AADL): An Introduction, DTIC Document, 2006.
• 29S. 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, pp. 217-231.
  http://hal.inria.fr/inria-00561619
• 30H. 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
• 31N. 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, pp. 70–93.
  http://dx.doi.org/10.1109/32.825767
• 32R. N. Taylor, N. Medvidovic, E. M. Dashofy.
  Software Architecture: Foundations, Theory, and Practice, Wiley, 2009.
• 33N. 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, pp. 75–84.
• 34S. Vestal.
  An Overview of the Architecture Analysis & Design Language (AADL) Error Model Annex, in: AADL Workshop, 2005.