External Publications

This page contains the listing of external publications tightly connected with the MEFISTO topics and that have been produced up till now by the MEFISTO members. The list of publications includes conference papers and journal papers.

Conference Papers

  1. CP1
    Paterṇ, F., Santoro, C., Tahmassebi, S.
    Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air Traffic Control
    (Proceedings of DSV-IS '98, Abingdon, June 1998)
  2. CP2
    Bastide, R., Palanque, P., Duc Hoa, L., Muñoz, J.
    Integrating rendering specifications into a formalism for the design of interactive systems
    (Proceedings of DSV-IS '98, Abingdon, June 1998)
  3. CP3
    Paterṇ, F.
    The contribution of a formal approach to task modelling: the ConcurTaskTrees example
    (Proceedings of Task Analysis 1998 - State of the Art in Europe, Schaerding, June 1998)
  4. CP4
    Marti, P., Palmonari, M.
    Activity analysis in complex work settings
    (Proceedings of Task Analysis 1998 - State of the Art in Europe, Schaerding, June 1998)
  5. CP5
    Fields, R.E., Marti, P., Palmonari, M., Wright, P.C.
    Air Traffic Control as a Distributed Cognitive System: a study of external representations
    (Proceedings of ECCE-9, Limerick, August 1998)
  6. CP6
    Goillau, P.J., Woodward, V., Kelly, C., and Banks, G.
    Evaluation of virtual prototytpes for Air Traffic Control - the MACAW technique
    (In Hanson, M.A. (ed.) Contemporary Ergonomics '98, London: Taylor and Francis, pp. 419-423.)
  7. CP7
    Paterṇ, F., Mancini, C.
    Developing task models from informal scenarios
    (Proceedings of CHI '99 - May 15-20, 1999, Pittsburgh, PA USA)
  8. CP8
    Paterṇ, F., Santoro, C., Fields, B..
    Analysing User Deviations in Interactive Safety-Critical Applications
    (Proceedings of DSV-IS '99 - June 2-4, 1999, Braga, PT)
  9. CP9
    Paterṇ, F., Santoro, C., Tahmassebi, S.
    The Impact of Different Media on Safety and Usability of Interactive Safety-Critical Applications
    (Proceedings of SAFECOMP '99 - September 27-29, 1999, Toulouse, F)
  10. CP10
    Fairburn, C., Wright, P.C., Fields, B.
    Air Traffic Control as Distributed Joint Activity : Using Clark's Theory of Language to Understand Collaborative Working in ATC
    (Proceedings of European Conference of Cognitive Science)
  11. CP11
    Bastide, R., Palanque, P., Sy, O., Le, D., Navarre, D.
    Petri­ Net Based Behavioural Specification of CORBA Systems
    (Proceedings of 20 th International Conference on Applications and Theory of Petri Nets, ATPN'99, Williamsburg, VA, USA, June 21­25, 1999 Published by Lecture Notes in Computer Science Serie n° 1639, Springer Verlag)
  12. CP12
    Palanque, P., Farenc, C., Bastide, R.,
    Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software
    (Proceedings of INTERACT'99 conference Endinburg, Scotland, 1-4 September 1999, Published by IOS Press, c IFIP TC.13, 1999 )
  13. CP13
    Paterṇ F., Sabbatino, V., Santoro, C.
    Using Information in Task Models to Support Design of Interactive Safety-Critical Applications (Proceedings of AVI 2000 , 23-26 May 2000, Palermo, Italy, Published by ACM Press)
  14. CP14
    Paterṇ F., Santoro, C.
    Integrating Model Checking and HCI Tools to Help Designers Verifying User Interface Properties (Proceedings of DSV-IS 2000 , 5-7 June 2000, Limerick, Ireland, Published by Springer-Verlag)
  15. CP15
    R. Bastide, C.Fairburn, H.Gaspard-Boulinc, P.Goillau, P.Marti, P.Palanque, F.Paterṇ, C.Rossi, C.Santoro, P.Scrivani, S.Tahmassebi, P.Wright
    Designing Interactive Applications for Air Traffic Control with the Support of MEFISTO (HCI-Aero 2000 Conference, 27-29 September 2000, Toulouse - France)
  16. CP16
    C.Fairburn, P.Wright
    Exploring the metaphor of automation as a team player  (EACE-10, the 10th European conference on cognitive ergonomics. Linkoping Sweden).
  17. CP17
    Hill, J.C. and P.Wright
    Using cogntive dimensions to analyse graphical notations. (EACE-10, the 10th European conference on cognitive ergonomics. Linkoping Sweden).
  18. CP18
    F. Paterṇ and C. Santoro
    User Interface Evaluation When User Errors May Have Safety-Critical Effects. (INTERACT 2001, July 9-13 2001 -Tokyo, Japan).
  19. WR1
    Palanque P., Paterṇ F., Fields B.
    Designing User Interfaces for Safety Critical Applications
    (ACM SIGCHI Bulletin)

Journal Papers

  1. JP1
    Wright P., Dearden, A., Fields B.
    Function allocation: A perspective from studies of work practice
    (International Journal of Human Computer Interaction )
  2. JP2
    Bastide, R., Palanque, P.
    A Visual and Formal Glue between Application and Interaction
    (International Journal of Visual Language and Computing, Academic Press Volume 10, Number 6, 1999)
  3. JP3
    Fields, R., Paterṇ, F., Santoro, C., Tahmassebi, S.
    Comparing design options for allocating communication media in cooperative safety-critical contexts: a method and a case study
    (ACM Transactions on Computer-Human Interaction, 6, 4. December 1999, pp. 370-398)

Home   Overview   Contact list    Planning of Work   Documents   Workspace  Related Links    Statistics