Folgen
Eric Barboni
Eric Barboni
ICS-IRIT, Université Toulouse III - Paul Sabatier
Bestätigte E-Mail-Adresse bei irit.fr
Titel
Zitiert von
Zitiert von
Jahr
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability
D Navarre, P Palanque, JF Ladry, E Barboni
ACM Transactions on Computer-Human Interaction (TOCHI) 16 (4), 1-56, 2009
2332009
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models
E Barboni, JF Ladry, D Navarre, P Palanque, M Winckler
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive …, 2010
1162010
Task-model based assessment of automation levels: application to space ground segments
C Martinie, P Palanque, E Barboni, M Ragosta
2011 IEEE International Conference on Systems, Man, and Cybernetics, 3267-3273, 2011
672011
Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification
E Barboni, S Conversy, D Navarre, P Palanque
International Workshop on Design, Specification, and Verification of …, 2006
672006
A model-based approach for supporting engineering usability evaluation of interaction techniques
P Palanque, E Barboni, C Martinie, D Navarre, M Winckler
Proceedings of the 3rd ACM SIGCHI symposium on engineering interactive …, 2011
582011
Formal description of multi-touch interactions
A Hamon, P Palanque, JL Silva, Y Deleris, E Barboni
Proceedings of the 5th ACM SIGCHI symposium on engineering interactive …, 2013
472013
High-fidelity prototyping of interactive systems can be formal too
P Palanque, JF Ladry, D Navarre, E Barboni
International Conference on Human-Computer Interaction, 667-676, 2009
332009
A development process for usable large scale interactive critical systems: application to satellite ground segments
C Martinie, P Palanque, D Navarre, E Barboni
International Conference on Human-Centred Software Engineering, 72-93, 2012
302012
Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft
C Martinie, E Barboni, D Navarre, P Palanque, R Fahssi, E Poupart, ...
Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive …, 2014
292014
Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft
C Martinie, E Barboni, D Navarre, P Palanque, R Fahssi, E Poupart, ...
Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive …, 2014
292014
Formal tasks and systems models as a tool for specifying and assessing automation designs
C Martinie, P Palanque, E Barboni, M Winckler, M Ragosta, A Pasquini, ...
Proceedings of the 1st International Conference on Application and Theory of …, 2011
272011
From DREAM to reality: specificities of interactive systems development with respect to rationale management
X Lacaze, P Palanque, E Barboni, R Bastide, D Navarre
Rationale Management in Software Engineering, 155-172, 2006
252006
From DREAM to reality: specificities of interactive systems development with respect to rationale management
X Lacaze, P Palanque, E Barboni, R Bastide, D Navarre
Rationale Management in Software Engineering, 155-172, 2006
252006
Analysing and demonstrating tool-supported customizable task notations
C Martinie, P Palanque, E Bouzekri, A Cockburn, A Canny, E Barboni
Proceedings of the ACM on human-computer interaction 3 (EICS), 1-26, 2019
222019
Software components: A formal semantics based on coloured petri nets
R Bastide, E Barboni
Electronic Notes in Theoretical Computer Science 160, 57-73, 2006
222006
Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits
E Bouzekri, A Canny, C Fayollas, C Martinie, P Palanque, E Barboni, ...
International Journal of Human-Computer Studies 121, 122-141, 2019
212019
Analysis of WIMP and post WIMP interactive systems based on formal specification
JL Silva, C Fayollas, A Hamon, C Martiinie, E Barboni
Electronic Communications of the EASST 69, 2014
202014
SWCEditor: a model-based tool for interactive modelling of web navigation
M Winckler, E Barboni, C Farenc, P Palanque
Computer-Aided Design of User Interfaces IV, 55-66, 2005
202005
A formal description technique for interactive cockpit applications compliant with ARINC specification 661
E Barboni, D Navarre, P Palanque, S Basnyat
2007 International Symposium on Industrial Embedded Systems, 250-257, 2007
192007
Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language
E Barboni, C Martinie, D Navarre, P Palanque, M Winckler
Science of Computer Programming 86, 3-29, 2014
172014
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20