Interacting Humans with Computing Systems

Research Interests

Main research contributions: the ICO formalism

• Informal description of ICOs
• Formal description of ICOs
• Formal definition of ICOs: WP 2.6 of Mefisto project
• Prototype for ICOs execution (a video, a demo package and a tutorial are under preparation). The web site of PetShop is now open.
• Download PetShop and the case study on Interactive Cockpits applications here. This requires Java JRE 1.5 installed on your computer. You must click on the file petshop-demos-2.0-app.jar. When PetShop is launched, go in the Tool menu, selection options (as shown in the window below).

• Then type both in the SavePath and SpecPath line the exact location of the specifications (the directory is called "etude de cas". Then go to the file menu, select the open option and then select the file called InitMain. This action will display the Petri net corresponding to the initialisation of the application. Use the VCR like menu double arrow to lanch the execution.
• you can now interact with the MPIA application compliant with ARINC 661 specification The various models can be modified while the application is running. The first page is the WXR page of the application. The coresponding model is called MPIA_WXR[1]. Selecting this model in the list will display it. To make it visible entirely on the screen use the CTRL+W shortcut to make it fit to the window. Addtion and removal of places and transitions can now be performed. Interacting with the user interface shows the tokens evolving in the model.
• A video is under construction and will be available soon

Research interests

• Formal specification techniques for Interactive systems

• Software components (further references are on a specific - page) 

• User Interfaces Design and Evaluation

• Safety Critical Interactive Systems

• Petri nets, Temporal Logics

• Groupware, CSCW (Computer Supported Cooperative Work)

• Other interests

Previous & current working conditions

• July 2001 to July 2006 - Head (with Rémi Bastide) of the LIIHS group at IRIT

• October 1999 to July 2001 Head of the LIHS laboratory at University of Toulouse 1

• July 2001 - Professor in Computer Science at University Paul Sabatier (Toulouse 3)

• September 1997 to September 2001 - Senior lecturer at University of Toulouse 1

• September 1993 to September 1997 - Lecturer at University of Toulouse 1

• Habilitation (14th November 1997): here is some information about my habilitation

• PhD in Computer Science (25th September 1992)

Research Resources

Aviation information sources

• Boeing 767 Family Overview - Boeing Company product information.

• U.S. Federal Aviation Administration (FAA) - site includes safety press releases, aviation safety data, civil aviation security, airports, and air traffic services.

• U.S. National Transportation Safety Board (NTSB) - investigates every civil aviation accident in the U.S. Site has aviation accident statistics, a searchable database of accident synopses, and a list of desired aviation safety improvements.

• Transportation Safety Institute - part of the U.S. Department of Transportation that provides training to improve air, ground, and rail transportation safety and security.

• Aviation Safety Network - an airliner accident database with listings of all airliner hull-loss accidents since 1945.

• The Air Safety Page - answering some of the questions that airline passengers may have about airline safety.

• CrashPages.Com - special reports, ongoing coverage, statistics, forums, and photos of aviation accidents and disasters.

• AirDisaster.Com - features daily aviation news, cockpit voice recordings, crash photos, movies, and more.

• Top Ten Safety Concerns of Canada's Flight Attendants - from the Airline Division of the Canadian Union of Public Employees.

Human-Computer Interaction resources

• University of Delft archive

• London SEL-HPC archive

• Sweedish HCI Resources

• European server on HCI Bibliography Search by keywords

• WWW Virtual Library: HCI (HCI Launching Pad)

• comp.human-factors FAQ

• Yahoo Catalogue Page: HCI

• interactions Magazine HCI Resources Columns

• SIGCHI HCI Education Survey Page

• HCI Bibliography Page and Directory

Links to other HCI and Human Factors pages

• Link to a page with a lot of links on Ergonomics and human factors

• A lot of different HCI ressources e.g. UI design guides, bibliography links ...

Participation in Research Groups

• National Groups 
  • Member of the French Working group ALF (Architectures Languages and Formalisms) of the PRC I3
  • Member of the French working group GT-8 SCOOP of the PRC CHM since 01-94
  • Member of the French working group GT-10 of the PRC CHM from 01-95 to 01-96
  • Previously: Head of the French working group FLASHI (Formalisms and languages for Highly Interactive Systems) from 01-96 to 12-98

• International Groups
  • Chair of the IFIP Working Group 13.5
  • Member of the IFIP Working Group 13.2
  • Member of the IFIP Working Group 2.7 (13.4)
  • French representative at the IFIP (International Federation of Information Processing) Technical Committee TC 13(Human Computer Interaction) Interaction)
  • Previously: Head of the French working group FLASHI (Formalisms and languages for Highly Interactive Systems) from 01-96 to 12-98

My Coordinates

43°33'43.43"N &  1°28'4.44"