Eric Barboni - Citegraph

Author Info

Name	Affiliation	Papers
ERIC BARBONI	Univ Toulouse 3, LIIHS, IRIT, F-31062 Toulouse, France	30
Collaborators	Citations	PageRank
43	280	18.82
Referers	Referees	References
328	672	509

Search Limit

100672

Publications (30 rows)

Collaborators (43 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool	0	0.34	2021
Analysing and Demonstrating Tool-Supported Customizable Task Notations	0	0.34	2019
Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits.	0	0.34	2019
A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context.	0	0.34	2017
Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language.	3	0.41	2014
Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions	1	0.35	2014
Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft	9	0.59	2014
A fault-tolerant architecture for resilient interactive systems	0	0.34	2014
Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions.	0	0.34	2014
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification.	4	0.40	2013
Formal description of multi-touch interactions	7	0.48	2013
Un processus de développement outillé pour l'exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâches	0	0.34	2012
A development process for usable large scale interactive critical systems: application to satellite ground segments	8	0.53	2012
Task-model based assessment of automation levels: Application to space ground segments	19	0.87	2011
A model-based approach for supporting engineering usability evaluation of interaction techniques	18	0.71	2011
Formal tasks and systems models as a tool for specifying and assessing automation designs	8	0.57	2011
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach	1	0.40	2011
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction	0	0.34	2010
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models	42	1.72	2010
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too	15	0.86	2009
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability	86	3.37	2009
Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs	0	0.34	2009
On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing	2	0.42	2007
A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661	1	0.35	2007
Improving Modularity of Interactive Software with the MDPC Architecture	7	0.50	2007
Software Components: a Formal Semantics Based on Coloured Petri Nets	11	0.57	2006
Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification	28	1.36	2006
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?	1	0.35	2005
Modélisation orientée tâche de la navigation d'une application web: catalogue des thèses de I'AFIHM	1	0.36	2005
Swceditor: A Model-Based Tool For Interactive Modelling Of Web Navigation	8	0.60	2004