{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:30:49Z","timestamp":1729657849210,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/raise.2013.6615202","type":"proceedings-article","created":{"date-parts":[[2013,10,2]],"date-time":"2013-10-02T18:30:18Z","timestamp":1380738618000},"page":"35-41","source":"Crossref","is-referenced-by-count":4,"title":["High assurance human-centric decision systems"],"prefix":"10.1109","author":[{"given":"Constance","family":"Heitmeyer","sequence":"first","affiliation":[]},{"given":"Marc","family":"Pickett","sequence":"additional","affiliation":[]},{"given":"Len","family":"Breslow","sequence":"additional","affiliation":[]},{"given":"David","family":"Aha","sequence":"additional","affiliation":[]},{"given":"J. Greg","family":"Trafton","sequence":"additional","affiliation":[]},{"given":"Elizabeth","family":"Leonard","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"From MSCs to statecharts","author":"kruger","year":"1998","journal-title":"Proc Int l Workshop Distributed and Parallel Embedded Systems"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940077"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-55860-247-2.50037-1"},{"key":"15","doi-asserted-by":"crossref","DOI":"10.1007\/11966104_9","article-title":"Modes for software architectures","author":"hirsch","year":"2006","journal-title":"Software Architecture[M]"},{"year":"1996","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/32.730543"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"key":"11","article-title":"Synthesizing formal requirements models from modes and message sequence charts","author":"heitmeyer","year":"2013","journal-title":"DRAFT"},{"key":"12","article-title":"Tools for constructing requirements specifications: The SCR toolset at the age of ten","volume":"1","author":"heitmeyer","year":"2005","journal-title":"Int J Comput Syst Sci Eng"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2012.6292308"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1016\/j.cogsys.2006.07.004"},{"key":"22","article-title":"Acquiring user models to test automated assistants","author":"pickett","year":"2013","journal-title":"26th Internat FLAIRS (FLorida AI Society Research Society) Conf"},{"key":"23","first-page":"205","article-title":"A real-time eye tracking system for predicting postcompletion errors","volume":"26","author":"ratwani","year":"2011","journal-title":"Human Computer Interaction"},{"key":"24","first-page":"385","author":"sammut","year":"1992","journal-title":"Learning to Fly"},{"key":"25","article-title":"Signal detection theory and ROC analysis in psychology and diagnostics: Collected Papers","author":"swets","year":"1996","journal-title":"Lawrence Erlbaum Associates"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.21"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1178048"},{"key":"3","article-title":"Behavioral recognition and prediction of an operator supervising multiple heterogeneous unmanned vehicles","author":"boussemart","year":"2008","journal-title":"Proc 1st Intern Conf on Humans Operating Unmanned Syst"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2210406"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/2470654.2466426"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2000.886888"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2005.850587"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-009-9094-9"},{"journal-title":"War Evolves with Drones Some Tiny As Bugs","year":"2011","author":"bumiller","key":"5"},{"journal-title":"Dynamic Fan Out Predicting Real-time Overloading of An Operator Supervising Multiple UAVs","year":"0","author":"breslow","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.138"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.914757"}],"event":{"name":"2013 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE)","start":{"date-parts":[[2013,5,25]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2013,5,26]]}},"container-title":["2013 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596533\/6615192\/06615202.pdf?arnumber=6615202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T19:02:04Z","timestamp":1498071724000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6615202\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/raise.2013.6615202","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}