{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:23Z","timestamp":1750307543908,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T00:00:00Z","timestamp":1255392000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,10,13]]},"DOI":"10.1145\/1629826.1629848","type":"proceedings-article","created":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T15:11:11Z","timestamp":1255446671000},"page":"141-150","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Une approche formelle pour i'evaluation de la tol\u00e9rance aux interruptions des syst\u00e8me interactifs"],"prefix":"10.1145","author":[{"given":"Philippe","family":"Palanque","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paul Sabatier, Toulouse Cedex, France"}]},{"given":"Jean-Fran\u00e7ois","family":"Ladry","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paul Sabatier, Toulouse Cedex, France"}]},{"given":"Eric","family":"Barboni","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paul Sabatier, Toulouse Cedex, France"}]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paul Sabatier, Toulouse Cedex, France"}]},{"given":"Marco","family":"Winckler","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paul Sabatier, Toulouse Cedex, France"}]}],"member":"320","published-online":{"date-parts":[[2009,10,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/258549.258760"},{"key":"e_1_3_2_1_2_1","volume-title":"Modelling with generalized stochastic Petri nets","author":"Ajmone Marsan M.","year":"1995","unstructured":"Ajmone Marsan , M. ; Balbo , G. ; Conte , C. ; Donatelli , Susanna,& Franceschinis , G. Modelling with generalized stochastic Petri nets . Wiley ; 1995 . Ajmone Marsan, M.; Balbo, G.; Conte, C.; Donatelli, Susanna,&Franceschinis, G. Modelling with generalized stochastic Petri nets. Wiley; 1995."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Altmann E. M. Trafton J. G. Timecourse of Recovery from Task Interruption: Data and a Model. Psychonomics Bulletin and Review 14(6).  Altmann E. M. Trafton J. G. Timecourse of Recovery from Task Interruption: Data and a Model. Psychonomics Bulletin and Review 14(6).","DOI":"10.3758\/BF03193094"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.885940"},{"volume-title":"Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. Maturing Usability: Quality in Software, Interaction and Value","author":"Bernhaupt R.","key":"e_1_3_2_1_5_1","unstructured":"Bernhaupt R. , Navarre D. , Palanque P. & Winckler M. Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. Maturing Usability: Quality in Software, Interaction and Value , Springer HCI series. Bernhaupt R., Navarre D., Palanque P.&Winckler M. Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. Maturing Usability: Quality in Software, Interaction and Value, Springer HCI series."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/506443.506583"},{"key":"e_1_3_2_1_7_1","first-page":"234","volume-title":"Proc. of the 51st HFES Conf.","author":"Cades D. M.","unstructured":"Cades D. M. , Trafton J. G. , Boehm-Davis D. A. & Monk C. A. Does the difficulty of an interruption affect our ability to resume ? In Proc. of the 51st HFES Conf. , Santa Monica, USA , pp. 234 -- 238 Cades D. M., Trafton J. G., Boehm-Davis D. A.&Monk C. A. Does the difficulty of an interruption affect our ability to resume? In Proc. of the 51st HFES Conf., Santa Monica, USA, pp. 234--238"},{"volume-title":"The Psychology of Human-Computer Interaction","author":"Card S. K.","key":"e_1_3_2_1_8_1","unstructured":"Card , S. K. ; T. P. Thomas & A. Newell , written at London , The Psychology of Human-Computer Interaction , Lawrence Erbaum Associates . Card, S. K.; T. P. Thomas&A. Newell, written at London, The Psychology of Human-Computer Interaction, Lawrence Erbaum Associates."},{"key":"e_1_3_2_1_9_1","first-page":"1","volume-title":"The Model Human Processor: An Engineering Model of Human Performance. Handbook of Perception and Human Performance","author":"Card S K","year":"1986","unstructured":"Card , S K .; Moran , Thomas P. ,& Newell , Allen. The Model Human Processor: An Engineering Model of Human Performance. Handbook of Perception and Human Performance ; 1986 : pp. 1 -- 35 . Card, S K.; Moran, Thomas P.,&Newell, Allen. The Model Human Processor: An Engineering Model of Human Performance. Handbook of Perception and Human Performance; 1986: pp. 1--35."},{"volume-title":"OZCHI'2000","author":"Czerwinski M.","key":"e_1_3_2_1_10_1","unstructured":"Czerwinski , M. , Cutrell , E. & Horvitz , E. Instant Messaging and Interruption: Influence of Task Type on Performance , OZCHI'2000 , Sydney, Australia. Czerwinski, M., Cutrell, E.&Horvitz, E. Instant Messaging and Interruption: Influence of Task Type on Performance, OZCHI'2000, Sydney, Australia."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/985692.985715"},{"key":"e_1_3_2_1_12_1","volume-title":"The Handbook of Task Analysis for Human-Computer Interaction","author":"Diaper D.","year":"2004","unstructured":"Diaper , D. & Stanton , N. A. (eds.) The Handbook of Task Analysis for Human-Computer Interaction . Lawrence Erlbaum Associates , 2004 . 650 pgs Diaper, D.&Stanton, N. A. (eds.) The Handbook of Task Analysis for Human-Computer Interaction. Lawrence Erlbaum Associates, 2004. 650 pgs"},{"volume-title":"Proc. of the 46th HFES Conf. Santa Monica, USA.","author":"Diez M.","key":"e_1_3_2_1_13_1","unstructured":"Diez M. , Boehm-Davis D. A. & Holt R. W. Modelbased predictions of interrupted checklists , In Proc. of the 46th HFES Conf. Santa Monica, USA. Diez M., Boehm-Davis D. A.&Holt R. W. Modelbased predictions of interrupted checklists, In Proc. of the 46th HFES Conf. Santa Monica, USA."},{"volume-title":"P","author":"Fitts","key":"e_1_3_2_1_14_1","unstructured":"Fitts , P . M. : The Information Capacity of the Human Motor System in Controlling the Amplitude of Movement. J. of Experimental Psychology, N. 47. Fitts, P. M.: The Information Capacity of the Human Motor System in Controlling the Amplitude of Movement. J. of Experimental Psychology, N. 47."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Gillie T.&Broadbent D. What makes interruptions disruptive? A study of length similarity and complexity Psychological Research 50 (4).  Gillie T.&Broadbent D. What makes interruptions disruptive? A study of length similarity and complexity Psychological Research 50 (4).","DOI":"10.1007\/BF00309260"},{"volume-title":"Interruption Management: The Use of Attention-Directing Tactile Cues. Human Factors","author":"Hopp P. J","key":"e_1_3_2_1_16_1","unstructured":"Hopp , P. J , Smith , C. A. P. & Clegg , B. A. , Heggestad , E. D. Interruption Management: The Use of Attention-Directing Tactile Cues. Human Factors , Vol. 47 , No. 1, 2005, pp. 1--11. Hopp, P. J, Smith, C. A. P.&Clegg, B. A., Heggestad, E. D. Interruption Management: The Use of Attention-Directing Tactile Cues. Human Factors, Vol. 47, No. 1, 2005, pp. 1--11."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/958432.958440"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1240624.1240730"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1357054.1357070"},{"key":"e_1_3_2_1_20_1","volume-title":"Erreurs et interruptions du point de vue de l'ing\u00e9nierie de l'interaction homme-machine. Th\u00e8se de Doctorat","author":"Jambon F.","year":"1996","unstructured":"Jambon F. Erreurs et interruptions du point de vue de l'ing\u00e9nierie de l'interaction homme-machine. Th\u00e8se de Doctorat , Univ. Joseph Fourier , 1996 . Jambon F. Erreurs et interruptions du point de vue de l'ing\u00e9nierie de l'interaction homme-machine. Th\u00e8se de Doctorat, Univ. Joseph Fourier, 1996."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/646167.680984"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229904"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/636772.636800"},{"volume-title":"INTER-ACT'99","author":"McFarlane D. C.","key":"e_1_3_2_1_24_1","unstructured":"McFarlane D. C. Coordinating the interruption of people in human-computer interaction . In INTER-ACT'99 , Amsterdam, The Netherlands : IOS Press . McFarlane D. C. Coordinating the interruption of people in human-computer interaction. In INTER-ACT'99, Amsterdam, The Netherlands: IOS Press."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1207\/S15327051HCI1701_1"},{"volume-title":"On the Benefit of Synergistic Model-based Approach for Safety Critical Interactive System Testing. TAsk MOdels DIAgrams for UI design (TA-MODIA'07)","author":"Navarre D.","key":"e_1_3_2_1_26_1","unstructured":"Navarre , D. , Palanque , P. , Barboni , E. , Mistrzyk , T. On the Benefit of Synergistic Model-based Approach for Safety Critical Interactive System Testing. TAsk MOdels DIAgrams for UI design (TA-MODIA'07) , Toulouse, France , Springer-Verlag . Navarre, D., Palanque, P., Barboni, E., Mistrzyk, T. On the Benefit of Synergistic Model-based Approach for Safety Critical Interactive System Testing. TAsk MOdels DIAgrams for UI design (TA-MODIA'07), Toulouse, France, Springer-Verlag."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87698-4_31"},{"key":"e_1_3_2_1_28_1","volume-title":"Glasgow, Scotland","author":"Navarre D.","year":"2001","unstructured":"Navarre , D. , Palanque , P. , Bastide , R. , Patern\u00f2 , F. , Santoro , C. A Tool Suite for Integrating Task and System Models Through Scenarios. DSV-IS'2001 , Glasgow, Scotland , Springer , lncs 2220, june 2001 . Navarre, D., Palanque, P., Bastide, R., Patern\u00f2, F., Santoro, C. A Tool Suite for Integrating Task and System Models Through Scenarios. DSV-IS'2001, Glasgow, Scotland, Springer, lncs 2220, june 2001."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/882480.883731"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/223355.223665"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijhcs.2006.04.006"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-5041-2896-4_32"},{"key":"e_1_3_2_1_33_1","first-page":"129","volume-title":"Synergistic modelling of tasks, system and users using formal specification techniques. Interacting With Computers","author":"Palanque P.","unstructured":"Palanque , P. , Bastide , R. Synergistic modelling of tasks, system and users using formal specification techniques. Interacting With Computers , Academic Press , 9, 12, pp. 129 -- 153 Palanque, P., Bastide, R. Synergistic modelling of tasks, system and users using formal specification techniques. Interacting With Computers, Academic Press, 9, 12, pp. 129--153"},{"key":"e_1_3_2_1_34_1","volume-title":"Proc. of INTERACT'97","author":"Paterno F.","year":"1997","unstructured":"Paterno , F. , Mancini , C. & Meniconi , S. Concur-TaskTrees: A Diagrammatic Notation for Specifying Task Models . In: Proc. of INTERACT'97 . Chapman &Hall ( 1997 ), 362--369. Paterno, F., Mancini, C.&Meniconi, S. Concur-TaskTrees: A Diagrammatic Notation for Specifying Task Models. In: Proc. of INTERACT'97. Chapman&Hall (1997), 362--369."},{"key":"e_1_3_2_1_35_1","volume-title":"Decision Sciences, 34 (4).","author":"Speier C.","year":"2003","unstructured":"Speier C. , Vessey I. & Valacich J. S. ( 2003 ) The effects of interruptions, task complexity, and information presentation on computer-supported decision-making performance , Decision Sciences, 34 (4). Speier C., Vessey I.&Valacich J. S. (2003) The effects of interruptions, task complexity, and information presentation on computer-supported decision-making performance, Decision Sciences, 34 (4)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03655-2_56"},{"key":"e_1_3_2_1_37_1","volume-title":"Task Interruptions. Reviews of Human Factors and Ergonomics 3","author":"Trafton J. G.","year":"2007","unstructured":"Trafton , J. G. ,& Monk , C. A. ( 2007 ). Task Interruptions. Reviews of Human Factors and Ergonomics 3 . Trafton, J. G.,&Monk, C. A. (2007). Task Interruptions. Reviews of Human Factors and Ergonomics 3."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9036-z"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1518\/155534307X232848"}],"event":{"name":"IHM '09: Proceedings of the 21th international conference on Association Francophone d'Interaction Homme-Machine","acronym":"IHM '09","location":"Grenoble France"},"container-title":["Proceedings of the 21st International Conference on Association Francophone d'Interaction Homme-Machine"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629826.1629848","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1629826.1629848","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:28Z","timestamp":1750249408000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1629826.1629848"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,13]]},"references-count":39,"alternative-id":["10.1145\/1629826.1629848","10.1145\/1629826"],"URL":"https:\/\/doi.org\/10.1145\/1629826.1629848","relation":{},"subject":[],"published":{"date-parts":[[2009,10,13]]},"assertion":[{"value":"2009-10-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}