{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T11:58:14Z","timestamp":1773921494393,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540876977","type":"print"},{"value":"9783540876984","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87698-4_31","type":"book-chapter","created":{"date-parts":[[2008,9,19]],"date-time":"2008-09-19T19:53:29Z","timestamp":1221854009000},"page":"373-386","source":"Crossref","is-referenced-by-count":38,"title":["A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems"],"prefix":"10.1007","author":[{"given":"David","family":"Navarre","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]},{"given":"Sandra","family":"Basnyat","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","first-page":"143","volume-title":"4th EUROGRAPHICS workshop on design, specification and verification of Interactive systems","author":"J. Accot","year":"1997","unstructured":"Accot, J., Chatty, S., Maury, S., Palanque, P.: Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems. In: 4th EUROGRAPHICS workshop on design, specification and verification of Interactive systems, Spain, 5-7 june 1997, pp. 143\u2013159. Springer, Heidelberg (1997)"},{"key":"31_CR2","unstructured":"ARINC 661, Prepared by Airlines Electronic Engineering Committee. Cockpit Display System Interfaces to User Systems. ARINC Specification 661 (2002)"},{"key":"31_CR3","unstructured":"ARINC 661-2, Prepared by Airlines Electronic Engineering Committee. Cockpit Display System Interfaces to User Systems. ARINC Specification 661-2 (2005)"},{"key":"31_CR4","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/353171.353179","volume-title":"Proceedings of the 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (Minneapolis, Minnesota, United States). OOPSLA 2000","author":"R. Bastide","year":"2000","unstructured":"Bastide, R., Palanque, P., Sy, O., Navarre, D.: Formal specification of CORBA services: experience and lessons learned. In: Proceedings of the 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (Minneapolis, Minnesota, United States). OOPSLA 2000, pp. 105\u2013117. ACM, New York (2000)"},{"key":"31_CR5","first-page":"371","volume-title":"4th international conference on formal methods for open object-based distributed systems (FMOODS)","author":"R. Bastide","year":"2000","unstructured":"Bastide, R., Sy, O., Navarre, D., Palanque, P.: A formal specification of the CORBA event service. IFIP TC6\/WG6.1. In: 4th international conference on formal methods for open object-based distributed systems (FMOODS), Stanford univ., California, USA, pp. 371\u2013395. Kluwer, Dordrecht (2000)"},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-48745-X_5","volume-title":"Tool demonstration with Application and Theory of Petri nets ATPN 1999","author":"R. Bastide","year":"1999","unstructured":"Bastide, R., Palanque, P., Sy, O., Le, D.-H., Navarre, D.: PetShop a case tool for Petri net based specification and prototyping of Corba Systems. In: Tool demonstration with Application and Theory of Petri nets ATPN 1999, Williamsburg (USA). LNCS, pp. 66\u201383. Springer, Heidelberg (1999)"},{"key":"31_CR7","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1145\/1027933.1027974","volume-title":"Sixth International Conference on Multimodal Interfaces (ICMI 2004)","author":"R. Bastide","year":"2004","unstructured":"Bastide, R., Navarre, D., Palanque, P., Schyn, A., Dragicevic, P.: A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts. In: Sixth International Conference on Multimodal Interfaces (ICMI 2004), Pennsylvania State University, USA, October 14-15, 2004, pp. 243\u2013250. ACM Press, New York (2004)"},{"key":"31_CR8","unstructured":"Barboni, E., Navarre, D., Palanque, P., Basnyat, S.: Exploitation of Formal Specification Techniques for ARINC 661 Interactive Cockpit Applications. In: Proceedings of HCI aero conference (HCI Aero 2006), Seattle, USA, pp. 81\u201389 (September 2006)"},{"key":"31_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-69554-7_3","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"E. Barboni","year":"2007","unstructured":"Barboni, E., Conversy, S., Navarre, D., Palanque, P.: Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. In: Doherty, G., Blandford, A. (eds.) DSVIS 2006. LNCS, vol.\u00a04323, pp. 25\u201338. Springer, Heidelberg (2007)"},{"key":"31_CR10","volume-title":"Flow: The Psychology of Optimal Experience","author":"M. Cs\u00edkszentmih\u00e1lyi","year":"1990","unstructured":"Cs\u00edkszentmih\u00e1lyi, M.: Flow: The Psychology of Optimal Experience. Harper and Row, New York (1990) ISBN 0-06-092043-2"},{"key":"31_CR11","first-page":"110","volume-title":"Proceedings of Interact 1999","author":"D. Thevenin","year":"1999","unstructured":"Thevenin, D., Coutaz, J.: Plasticity of User Interfaces: Framework and Research Agenda. In: Proceedings of Interact 1999, Edinburgh: IFIP TC 13, vol.\u00a01, pp. 110\u2013117. IOS Press, Amsterdam (1999)"},{"key":"31_CR12","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1031453.1031468","volume-title":"WIDM 2004: Proceedings of the 6th annual ACM international workshop on Web information and data management","author":"M. Eirinaki","year":"2004","unstructured":"Eirinaki, M., Lampos, C., Paulakis, S., Vazirgiannis, M.: Web personalization integrating content semantics and navigational patterns. In: WIDM 2004: Proceedings of the 6th annual ACM international workshop on Web information and data management, pp. 72\u201379. ACM Press, New York (2004)"},{"key":"31_CR13","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1109\/CDS.1998.675773","volume-title":"International Conference on Configurable Distributed Systems","author":"P. Feiler","year":"1998","unstructured":"Feiler, P., Li, J.: Consistency in dynamic reconfiguration. In: International Conference on Configurable Distributed Systems, Annapolis, MD, pp. 189\u2013196. IEEE, Los Alamitos (1998)"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Genrich, H.J.: Predicate\/Transitions Nets. High-Levels Petri Nets: Theory and Application. In: Jensen, K., Rozenberg, G. (eds.), pp. 3\u201343. Springer, Heidelberg (1991)","DOI":"10.1007\/978-3-642-84524-6_1"},{"key":"31_CR15","unstructured":"Lakos, C.: Language for Object-Oriented Petri Nets. #91-1. Department of Computer Science, University of Tasmania (1991)"},{"key":"31_CR16","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1080\/014492999118995","volume":"18","author":"S. MacKenzie","year":"1999","unstructured":"MacKenzie, S., Zhang, S.X., Soukoreff, R.W.: Text entry using soft keyboards. Behaviour & Information Technology\u00a018, 235\u2013244 (1999)","journal-title":"Behaviour & Information Technology"},{"key":"31_CR17","first-page":"309","volume-title":"A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers","author":"D. Navarre","year":"2003","unstructured":"Navarre, D., Palanque, P., Bastide, R.: A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers, vol.\u00a015\/3, pp. 309\u2013328. Elsevier, Amsterdam (2003)"},{"key":"31_CR18","unstructured":"Navarre, D., Palanque, P., Bastide, R.: A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specifications. In: HCI-Aero 2004, Toulouse, France, 29 September-1st October 2004. CD-ROM proceedings (2004)"},{"key":"31_CR19","doi-asserted-by":"crossref","unstructured":"Palanque, P., Bernhaupt, R., Navarre, D., Ould, M., Winckler, M.: Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. In: Ninth International Conference on Space Operations, Rome, Italy, June 18-22, CD-ROM proceedings (2006)","DOI":"10.2514\/6.2006-5657"},{"key":"31_CR20","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Technical Univ. Darmstadt (1962)"},{"key":"31_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139062367","volume-title":"Human Error","author":"J. Reason","year":"1990","unstructured":"Reason, J.: Human Error. Cambridge University Press, Cambridge (1990)"},{"key":"31_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/11893004_48","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"S.A. R\u00edos","year":"2006","unstructured":"R\u00edos, S.A., Vel\u00e1squez, J.D., Yasuda, H., Aoki, T.: Web Site Off-Line Structure Reconfiguration: A Web User Browsing Analysis, in Knowledge-Based Intelligent Information and Engineering Systems. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds.) KES 2006. LNCS (LNAI), vol.\u00a04252, pp. 371\u2013378. Springer, Heidelberg (2006)"},{"key":"31_CR23","unstructured":"User Interface Management Systems, Eurographics Seminar, Seeheim, 1983. In: Pfaff, G. (ed.). Springer, Heildberg (1983)"},{"issue":"2","key":"31_CR24","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/253671.253708","volume":"40","author":"A. Dam van","year":"1997","unstructured":"van Dam, A.: Post-WIMP user interfaces. Commun. ACM\u00a040(2), 63\u201367 (1997)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87698-4_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:05:51Z","timestamp":1606183551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87698-4_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540876977","9783540876984"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87698-4_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}