Eric Barboni

	2011
17		Philippe A. Palanque, Eric Barboni, Célia Martinie, David Navarre, Marco Winckler: A model-based approach for supporting engineering usability evaluation of interaction techniques. EICS 2011: 21-30
16		Célia Martinie, Philippe A. Palanque, Eric Barboni, Martina Ragosta: Task-model based assessment of automation levels: Application to space ground segments. SMC 2011: 3267-3273
15		David Navarre, Philippe A. Palanque, Eric Barboni, Jean-François Ladry, Célia Martinie: Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach. Rel. Eng. & Sys. Safety 96(1): 38-52 (2011)
	2010
14		Eric Barboni, Jean-François Ladry, David Navarre, Philippe A. Palanque, Marco Winckler: Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. EICS 2010: 165-174
13		Jean-François Ladry, Philippe A. Palanque, David Navarre, Eric Barboni, Marco Winckler: Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. IHM 2010: 81-88
	2009
12		Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni: High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. HCI (1) 2009: 667-676
11		Philippe A. Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler: Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs. IHM 2009: 141-150
10		David Navarre, Philippe A. Palanque, Jean-François Ladry, Eric Barboni: ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans. Comput.-Hum. Interact. 16(4): (2009)
	2007
9		Stéphane Conversy, Eric Barboni, David Navarre, Philippe A. Palanque: Improving Modularity of Interactive Software with the MDPC Architecture. EHCI/DS-VIS 2007: 321-338
8		Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat: A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. SIES 2007: 250-257
7		David Navarre, Philippe A. Palanque, Eric Barboni, Tomasz Mistrzyk: On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. TAMODIA 2007: 140-154
	2006
6		Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque: Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. DSV-IS 2006: 25-38
5		Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc: What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? Electr. Notes Theor. Comput. Sci. 157(2): 207-211 (2006)
4		Rémi Bastide, Eric Barboni: Software Components: a Formal Semantics Based on Coloured Petri Nets. Electr. Notes Theor. Comput. Sci. 160: 57-73 (2006)
	2005
3		Marco Winckler, Christelle Farenc, Eric Barboni, Florence Pontico: Modélisation orientée tâche de la navigation d'une application web: catalogue des thèses de I'AFIHM. IHM 2005: 91-98
2		Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc: What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? WWV 2005: 33-36
	2004
1		Marco Winckler, Eric Barboni, Christelle Farenc, Philippe A. Palanque: SWCEDITOR: a Model-Based Tool for Interactive Modelling of Web Navigation. CADUI 2004: 55-66

Coauthor Index

1	Sandra Basnyat	[8]
2	Rémi Bastide	[4]
3	Stéphane Conversy	[6] [9]
4	Christelle Farenc	[1] [2] [3] [5]
5	Jean-François Ladry	[10] [11] [12] [13] [14] [15]
6	Célia Martinie	[15] [16] [17]
7	Tomasz Mistrzyk	[7]
8	David Navarre	[6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17]
9	Philippe A. Palanque	[1] [2] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17]
10	Florence Pontico	[3]
11	Martina Ragosta	[16]
12	Marco Winckler	[1] [2] [3] [5] [11] [13] [14] [17]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page