{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:57Z","timestamp":1750306137186,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,31]],"date-time":"2017-08-31T00:00:00Z","timestamp":1504137600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ECSEL JU MegaM@Rt2 project","award":["737494"],"award-info":[{"award-number":["737494"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,8,31]]},"DOI":"10.1145\/3123779.3123813","type":"proceedings-article","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T11:58:11Z","timestamp":1503575891000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Reconstructing timed symbolic traces from\n            <i>rtioco<\/i>\n            -based timed test sequences using backward-induction"],"prefix":"10.1145","author":[{"given":"Junaid","family":"Iqbal","sequence":"first","affiliation":[{"name":"\u00c5bo Akademi University, Turku, Finland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dragos","family":"Truscan","sequence":"additional","affiliation":[{"name":"\u00c5bo Akademi University, Turku, Finland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcri","family":"Vain","sequence":"additional","affiliation":[{"name":"Tallinn University of Technology, Tallinn, Estonia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Porres","sequence":"additional","affiliation":[{"name":"\u00c5bo Akademi University, Turku, Finland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,8,31]]},"reference":[{"volume-title":"UPPAAL-Tiga: Time for Playing Games! Springer Berlin Heidelberg","author":"Behrmann Gerd","key":"e_1_3_2_1_1_1","unstructured":"Gerd Behrmann , Agn\u00e8s Cougnard , Alexandre David , Emmanuel Fleury , Kim G. Larsen , and Didier Lime . 2007. UPPAAL-Tiga: Time for Playing Games! Springer Berlin Heidelberg , Berlin, Heidelberg , 121--125. Gerd Behrmann, Agn\u00e8s Cougnard, Alexandre David, Emmanuel Fleury, Kim G. Larsen, and Didier Lime. 2007. UPPAAL-Tiga: Time for Playing Games! Springer Berlin Heidelberg, Berlin, Heidelberg, 121--125."},{"key":"e_1_3_2_1_2_1","volume-title":"Larsen","author":"Behrmann Gerd","year":"2004","unstructured":"Gerd Behrmann , Alexandre David , and Kim G . Larsen . 2004 . A Tutorial on Uppaal. Springer Berlin Heidelberg , Berlin, Heidelberg, 200--236. Gerd Behrmann, Alexandre David, and Kim G. Larsen. 2004. A Tutorial on Uppaal. Springer Berlin Heidelberg, Berlin, Heidelberg, 200--236."},{"volume-title":"Formal Test Automation: A Simple Experiment","author":"Belinfante Axel","key":"e_1_3_2_1_3_1","unstructured":"Axel Belinfante , Jan Feenstra , Ren\u00e9 G. de Vries , Jan Tretmans , Nicolae Goga , Loe Feijs , Sjouke Mauw , and Lex Heerink . 1999. Formal Test Automation: A Simple Experiment . Springer US , Boston, MA , 179--196. Axel Belinfante, Jan Feenstra, Ren\u00e9 G. de Vries, Jan Tretmans, Nicolae Goga, Loe Feijs, Sjouke Mauw, and Lex Heerink. 1999. Formal Test Automation: A Simple Experiment. Springer US, Boston, MA, 179--196."},{"volume-title":"Hybrid Systems III: Verification and Control","author":"Bengtsson Johan","key":"e_1_3_2_1_5_1","unstructured":"Johan Bengtsson , Kim Larsen , Fredrik Larsson , Paul Pettersson , and Wang Yi. 1996. Hybrid Systems III: Verification and Control . Springer Berlin Heidelberg , Berlin, Heidelberg , Chapter UPPAAL --- a tool suite for automatic verification of real-time systems, 232--243. Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. 1996. Hybrid Systems III: Verification and Control. Springer Berlin Heidelberg, Berlin, Heidelberg, Chapter UPPAAL --- a tool suite for automatic verification of real-time systems, 232--243."},{"key":"e_1_3_2_1_6_1","volume-title":"Timed Automata: Semantics, Algorithms and Tools","author":"Bengtsson Johan","year":"2004","unstructured":"Johan Bengtsson and Wang Yi . 2004 . Timed Automata: Semantics, Algorithms and Tools . Springer Berlin Heidelberg , Berlin, Heidelberg , 87--124. Johan Bengtsson and Wang Yi. 2004. Timed Automata: Semantics, Algorithms and Tools. Springer Berlin Heidelberg, Berlin, Heidelberg, 87--124."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.3982\/ECTA11419"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 10th International Software Quality Week '97","author":"Braberman Victor","year":"1997","unstructured":"Victor Braberman , Miguel Felder , and Martina Marr\u00e9 . 1997 . Testing Timing Behavior of Real-Time Software. In In International Software Quality Week . Proceedings of the 10th International Software Quality Week '97 , San Francisco, CA. Victor Braberman, Miguel Felder, and Martina Marr\u00e9. 1997. Testing Timing Behavior of Real-Time Software. In In International Software Quality Week. Proceedings of the 10th International Software Quality Week '97, San Francisco, CA."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31848-4_5"},{"volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 1486","author":"Tim Glover Rachel","key":"e_1_3_2_1_10_1","unstructured":"Rachel Cardell-oliver and Tim Glover . 1998. A Practical and Complete Algorithm for Testing Real-Time Systems . In In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 1486 . Springer-Verlag , Berlin, Heidelberg , 251--261. Rachel Cardell-oliver and Tim Glover. 1998. A Practical and Complete Algorithm for Testing Real-Time Systems. In In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 1486. Springer-Verlag, Berlin, Heidelberg, 251--261."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_9"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/523983.828379"},{"key":"e_1_3_2_1_13_1","unstructured":"Alexandre David. 2007. Uppaal Timed Automata Parser Library. (2007). Retrieved March 11 2015 from http:\/\/people.cs.aau.dk\/~adavid\/utap\/  Alexandre David. 2007. Uppaal Timed Automata Parser Library. (2007). Retrieved March 11 2015 from http:\/\/people.cs.aau.dk\/~adavid\/utap\/"},{"volume-title":"Using on-the-fly verification techniques for the generation of test suites","author":"Fernandez Jean-Claude","key":"e_1_3_2_1_14_1","unstructured":"Jean-Claude Fernandez , Claude Jard , Thierry J\u00e9ron , and C\u00e9sar Viho . 1996. Using on-the-fly verification techniques for the generation of test suites . In Computer Aided Verification, Rajeev Alur and ThomasA. Henzinger (Eds.). LNCS, Vol . 1102. Springer Berlin Heidelberg , 348--359. Jean-Claude Fernandez, Claude Jard, Thierry J\u00e9ron, and C\u00e9sar Viho. 1996. Using on-the-fly verification techniques for the generation of test suites. In Computer Aided Verification, Rajeev Alur and ThomasA. Henzinger (Eds.). LNCS, Vol. 1102. Springer Berlin Heidelberg, 348--359."},{"volume-title":"A Framework for Automated HW\/SW Co-Verification of SystemC Designs using Timed Automata","author":"Herber Paula","key":"e_1_3_2_1_15_1","unstructured":"Paula Herber . 2010. A Framework for Automated HW\/SW Co-Verification of SystemC Designs using Timed Automata . Logos Verlag Berlin GmbH. Paula Herber. 2010. A Framework for Automated HW\/SW Co-Verification of SystemC Designs using Timed Automata. Logos Verlag Berlin GmbH."},{"volume-title":"Testing Real-Time Systems Using UPPAAL","author":"Hessel Anders","key":"e_1_3_2_1_16_1","unstructured":"Anders Hessel , Kim G. Larsen , Marius Mikucionis , Brian Nielsen , Paul Pettersson , and Arne Skou . 2008. Testing Real-Time Systems Using UPPAAL . In Formal Methods and Testing, RobertM. Hierons, JonathanP. Bowen, and Mark Harman (Eds.). LNCS, Vol . 4949. Springer Berlin Heidelberg , 77--117. Anders Hessel, Kim G. Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, and Arne Skou. 2008. Testing Real-Time Systems Using UPPAAL. In Formal Methods and Testing, RobertM. Hierons, JonathanP. Bowen, and Mark Harman (Eds.). LNCS, Vol. 4949. Springer Berlin Heidelberg, 77--117."},{"volume-title":"Time-Optimal Real-Time Test Case Generation Using Uppaal","author":"Hessel Anders","key":"e_1_3_2_1_17_1","unstructured":"Anders Hessel , Kim G. Larsen , Brian Nielsen , Paul Pettersson , and Arne Skou . 2004. Time-Optimal Real-Time Test Case Generation Using Uppaal . Springer Berlin Heidelberg , Berlin, Heidelberg , 114--130. Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, and Arne Skou. 2004. Time-Optimal Real-Time Test Case Generation Using Uppaal. Springer Berlin Heidelberg, Berlin, Heidelberg, 114--130."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.05.051"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31848-4_6"},{"key":"e_1_3_2_1_21_1","unstructured":"Jiangtao Li and Rui Tang. 2016. Every Random Choice Rule is Backwards-Induction Rationalizable. (2016).  Jiangtao Li and Rui Tang. 2016. Every Random Choice Rule is Backwards-Induction Rationalizable. (2016)."},{"key":"e_1_3_2_1_22_1","volume-title":"http:\/\/people.cs.aau.dk\/~marius\/tron\/. (2012). {Online","author":"Miku Marius","year":"2015","unstructured":"Marius Miku &ccirc;ionis. 2012. Uppaal TRON. http:\/\/people.cs.aau.dk\/~marius\/tron\/. (2012). {Online ; accessed 20- April - 2015 }. Marius Miku&ccirc;ionis. 2012. Uppaal TRON. http:\/\/people.cs.aau.dk\/~marius\/tron\/. (2012). {Online; accessed 20-April-2015}."},{"key":"e_1_3_2_1_24_1","volume-title":"http:\/\/visualvm.java.net\/. (2015). {Online","author":"VM.","year":"2015","unstructured":"Oracle. 2015. Visual VM. http:\/\/visualvm.java.net\/. (2015). {Online ; accessed 13- May - 2015 }. Oracle. 2015. VisualVM. http:\/\/visualvm.java.net\/. (2015). {Online; accessed 13-May-2015}."},{"volume-title":"Concrete Delays for Symbolic Traces. Master Thesis. Department of Computer Science","author":"Polsen Danny B\u00f8gsted","key":"e_1_3_2_1_25_1","unstructured":"Danny B\u00f8gsted Polsen and Jones van Vliet . 2010. Concrete Delays for Symbolic Traces. Master Thesis. Department of Computer Science , Aalborg University . Danny B\u00f8gsted Polsen and Jones van Vliet. 2010. Concrete Delays for Symbolic Traces. Master Thesis. Department of Computer Science, Aalborg University."},{"key":"e_1_3_2_1_26_1","volume-title":"State Space Reconstruction for On-Line Model Checking with UPPAAL. In VALID 2013, The Fifth Internation Conference on Advances in System Testing and Validation Lifecycle. 21--26","author":"Rinast Jonas","year":"2013","unstructured":"Jonas Rinast , Sibylle Schupp , and Dieter Gollmann . 2013 . State Space Reconstruction for On-Line Model Checking with UPPAAL. In VALID 2013, The Fifth Internation Conference on Advances in System Testing and Validation Lifecycle. 21--26 . Jonas Rinast, Sibylle Schupp, and Dieter Gollmann. 2013. State Space Reconstruction for On-Line Model Checking with UPPAAL. In VALID 2013, The Fifth Internation Conference on Advances in System Testing and Validation Lifecycle. 21--26."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/2821387.2821397"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"volume-title":"Theory of games and economic behavior","author":"Neumann John Von","key":"e_1_3_2_1_29_1","unstructured":"John Von Neumann and Oskar Morgenstern . 2007. Theory of games and economic behavior . Princeton university press . John Von Neumann and Oskar Morgenstern. 2007. Theory of games and economic behavior. Princeton university press."}],"event":{"name":"ECBS '17: Fifth European Conference on the Engineering of Computer Based Systems","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing","SIGOPS ACM Special Interest Group on Operating Systems","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Larnaca Cyprus","acronym":"ECBS '17"},"container-title":["Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3123779.3123813","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3123779.3123813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:20Z","timestamp":1750217840000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3123779.3123813"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,31]]},"references-count":26,"alternative-id":["10.1145\/3123779.3123813","10.1145\/3123779"],"URL":"https:\/\/doi.org\/10.1145\/3123779.3123813","relation":{},"subject":[],"published":{"date-parts":[[2017,8,31]]},"assertion":[{"value":"2017-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}