| 2007 |
|---|
| 8 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
