{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:53Z","timestamp":1750306673838,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T00:00:00Z","timestamp":1409529600000},"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":[[2014,9]]},"DOI":"10.1145\/2637248.2637272","type":"proceedings-article","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T12:09:00Z","timestamp":1409054940000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Experiences from Using Formal Verification Techniques to Analyze Human-Machine Interaction: A Case Study"],"prefix":"10.1145","author":[{"given":"Bertram","family":"Wortelen","sequence":"first","affiliation":[{"name":"OFFIS -- Institute for Information Technology, Escherweg2, 26121 Oldenburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"L\u00fcdtke","sequence":"additional","affiliation":[{"name":"OFFIS -- Institute for Information Technology, Escherweg2, 26121 Oldenburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis","family":"Javaux","sequence":"additional","affiliation":[{"name":"Symbio, Concepts & Products, 26, rue sur les Coteaux, 4690 Bassenge, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sonja","family":"Sievi","sequence":"additional","affiliation":[{"name":"Astrium Space Transportation, GmbH Airbus Allee 1, 28199 Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,9]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"11","volume":"37","author":"Baber C.","year":"1994","unstructured":"Baber , C. , Stanton , N.A. Task Analysis for Error Identification: A Methodology for Designing Error-Tolerant Consumer Products. Ergonomics 37 , 11 ( 1994 ), 1923--1941. Baber, C., Stanton, N.A. Task Analysis for Error Identification: A Methodology for Designing Error-Tolerant Consumer Products. Ergonomics 37, 11 (1994), 1923--1941.","journal-title":"Task Analysis for Error Identification: A Methodology for Designing Error-Tolerant Consumer Products. Ergonomics"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-008-0101-8"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70569-7_6"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1518\/0018720024494838"},{"key":"e_1_3_2_1_5_1","unstructured":"ESA ODF Home Page. http:\/\/spaceflight.esa.int\/eo\/EOI\/esa-odf-site\/esaodf_index.htm  ESA ODF Home Page. http:\/\/spaceflight.esa.int\/eo\/EOI\/esa-odf-site\/esaodf_index.htm"},{"key":"e_1_3_2_1_6_1","first-page":"209","volume":"1","author":"Fr\u00e4nzle M.","year":"2007","unstructured":"Fr\u00e4nzle , M. and Herde , C. Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. Journal on Satisfiability, Boolean Modeling , and Computation 1 ( 2007 ), 209 -- 236 . Fr\u00e4nzle, M. and Herde, C. Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. Journal on Satisfiability, Boolean Modeling, and Computation 1 (2007), 209--236.","journal-title":"Computation"},{"key":"e_1_3_2_1_7_1","volume-title":"Proc AAAI Spring Symposium 2014","author":"Javaux D.","year":"2014","unstructured":"Javaux , D. , Wortelen , B. , L\u00fcdtke , A. , Pecheur , C. , Peldszus , R. , Sievi , S. , Yushtein , Y. A methodology for analyzing human-automation interactions in flight operations using formal verification techniques , In Proc AAAI Spring Symposium 2014 , AAAI Press, Palo Alto ( 2014 ). Javaux, D., Wortelen, B., L\u00fcdtke, A., Pecheur, C., Peldszus, R., Sievi, S., Yushtein, Y. A methodology for analyzing human-automation interactions in flight operations using formal verification techniques, In Proc AAAI Spring Symposium 2014, AAAI Press, Palo Alto (2014)."},{"volume-title":"Human Modelling in Assisted Transportation, Cacciabue","author":"Mioch T.","key":"e_1_3_2_1_9_1","unstructured":"Mioch , T. , Osterloh , J.P. and Javaux , D . Selecting Human Error Types for Cognitive Modelling and Simulation and Simulation , In Human Modelling in Assisted Transportation, Cacciabue , P.C., Hj\u00e4lmdahl, M., L\u00fcdtke, A. and Riccioli, C., Eds. Springer, Italy , 129--138. Mioch, T., Osterloh, J.P. and Javaux, D. Selecting Human Error Types for Cognitive Modelling and Simulation and Simulation, In Human Modelling in Assisted Transportation, Cacciabue, P.C., Hj\u00e4lmdahl, M., L\u00fcdtke, A. and Riccioli, C., Eds. Springer, Italy, 129--138."},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. DASIA 2013","author":"Nicklaussen D.","year":"2003","unstructured":"Nicklaussen , D. , 2003 . Unified Synoptic System . In Proc. DASIA 2013 , published on CD-ROM, Prague, Czech Republic (2013). Nicklaussen, D., 2003. Unified Synoptic System. In Proc. DASIA 2013, published on CD-ROM, Prague, Czech Republic (2013)."}],"event":{"name":"ECCE '14: European Conference on Cognitive Ergonomics","sponsor":["EACE European Association of Cognitive Ergonomics"],"location":"Vienna Austria","acronym":"ECCE '14"},"container-title":["Proceedings of the 2014 European Conference on Cognitive Ergonomics"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2637248.2637272","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2637248.2637272","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:55Z","timestamp":1750230055000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2637248.2637272"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":9,"alternative-id":["10.1145\/2637248.2637272","10.1145\/2637248"],"URL":"https:\/\/doi.org\/10.1145\/2637248.2637272","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]},"assertion":[{"value":"2014-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}