Follow
Eric Barboni
Eric Barboni
ICS-IRIT, Université Toulouse III - Paul Sabatier
Verified email at irit.fr
Title
Cited by
Cited by
Year
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
2462009
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
1202010
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
742011
Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification
E Barboni, S Conversy, D Navarre, P Palanque
Interactive Systems. Design, Specification, and Verification: 13th …, 2007
672007
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
592011
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
512013
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
412019
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
362014
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
362014
High-fidelity prototyping of interactive systems can be formal too
P Palanque, JF Ladry, D Navarre, E Barboni
Human-Computer Interaction. New Trends: 13th International Conference, HCI …, 2009
362009
A development process for usable large scale interactive critical systems: application to satellite ground segments
C Martinie, P Palanque, D Navarre, E Barboni
Human-Centered Software Engineering: 4th International Conference, HCSE 2012 …, 2012
322012
Formal tasks and systems models as a tool for specifying and assessing automation designs
CM de Almeida, P Palanque, E Barboni, M Winckler, M Ragosta, ...
International Conference on Application and Theory of Automation in Command …, 2011
322011
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
252019
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
242006
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
242006
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
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
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
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: Proceedings of the Fifth …, 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
The system can't perform the operation now. Try again later.
Articles 1–20