Search the dblp DataBase

Publications of Author

1. Marco Winckler, Eric Barboni, Christelle Farenc, Philippe A. Palanque
   SWCEDITOR: a Model-Based Tool for Interactive Modelling of Web Navigation. [Citation Graph (0, 0)][DBLP]
   CADUI, 2004, pp:55-66 [Conf]
   
2. Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque
   Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. [Citation Graph (0, 0)][DBLP]
   DSV-IS, 2006, pp:25-38 [Conf]
   
3. Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc
   What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? [Citation Graph (0, 0)][DBLP]
   WWV, 2005, pp:33-36 [Conf]
   
4. Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc
   What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:207-211 [Journal]
   
5. Rémi Bastide, Eric Barboni
   Software Components: a Formal Semantics Based on Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:57-73 [Journal]
   
6. 
   High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. [Citation Graph (, )][DBLP]
   
   
7. 
   On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. [Citation Graph (, )][DBLP]
   
   
8. 
   A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. [Citation Graph (, )][DBLP]
   
   
9. 
   Modélisation orientée tâche de la navigation d'une application web: catalogue des thèses de I'AFIHM. [Citation Graph (, )][DBLP]
   
   
10. 
    Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs. [Citation Graph (, )][DBLP]
    
    
11. 
    Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. [Citation Graph (, )][DBLP]