 | 2009 |
|---|
| 10 |       | 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 |
| 9 | | 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 |
| 2007 |
|---|
| 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 |
