{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T14:05:03Z","timestamp":1774533903726,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,18]],"date-time":"2005-09-18T00:00:00Z","timestamp":1127001600000},"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":[[2005,9,18]]},"DOI":"10.1145\/1086228.1086283","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"299-306","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":90,"title":["Testing real-time embedded software using UPPAAL-TRON"],"prefix":"10.1145","author":[{"given":"Kim G.","family":"Larsen","sequence":"first","affiliation":[{"name":"Aalborg University, Aalborg, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Mikucionis","sequence":"additional","affiliation":[{"name":"Aalborg University, Aalborg, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Nielsen","sequence":"additional","affiliation":[{"name":"Aalborg University, Aalborg, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arne","family":"Skou","sequence":"additional","affiliation":[{"name":"Aalborg University, Aalborg, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_3_2_1_2_1","unstructured":"D. A\/S. Danfoss internet website http:\/\/www.danfoss.dk.]]  D. A\/S. Danfoss internet website http:\/\/www.danfoss.dk.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/646847.707113"},{"key":"e_1_3_2_1_4_1","volume-title":"International Workshop on Software Verification and Validation (SVV 2003)","author":"Berg T.","year":"2003","unstructured":"T. Berg , B. Jonsson , M. Leucker , and M. S. August . Insights to Angluin's Learning . In International Workshop on Software Verification and Validation (SVV 2003) , 2003 .]] T. Berg, B. Jonsson, M. Leucker, and M. S. August. Insights to Angluin's Learning. In International Workshop on Software Verification and Validation (SVV 2003), 2003.]]"},{"key":"e_1_3_2_1_5_1","volume-title":"March","author":"Brinksma E.","year":"2002","unstructured":"E. Brinksma , K. Larsen , B. Nielsen , and J. Tretmans . Systematic Testing of Realtime Embedded Software Systems (STRESS) , March 2002 . Research proposal submitted and accepted by the Dutch Research Council .]] E. Brinksma, K. Larsen, B. Nielsen, and J. Tretmans. Systematic Testing of Realtime Embedded Software Systems (STRESS), March 2002. Research proposal submitted and accepted by the Dutch Research Council.]]"},{"key":"e_1_3_2_1_6_1","volume-title":"Linz","author":"Larsen K.","year":"2004","unstructured":"K. Larsen , M. Mikucionis , and B. Nielsen . Online testing of real-time systems using uppaal. In Formal Approaches to Testing of Software , Linz , Austria , September 21 2004 . Lecture Notes in Computer Science.]] K. Larsen, M. Mikucionis, and B. Nielsen. Online testing of real-time systems using uppaal. In Formal Approaches to Testing of Software, Linz, Austria, September 21 2004. Lecture Notes in Computer Science.]]"},{"key":"e_1_3_2_1_7_1","series-title":"Dagstuhl Seminar Proceedings","volume-title":"Perspectives of Model-Based Testing, Schloss Dagstuhl, D-66687 Wadern, Germany.","author":"Larsen K.","year":"2004","unstructured":"K. Larsen , M. Mikucionis , and B. Nielsen . Online Testing of Real-time Systems using Uppaal: Status and Future Work . In E. Brinksma, W. Grieskamp, J. Tretmans, and E. Weyuker, editors, Dagstuhl Seminar Proceedings volume 04371 : Perspectives of Model-Based Testing, Schloss Dagstuhl, D-66687 Wadern, Germany. , September 2004 . IBFI gem. GmbH, Schloss Dagstuhl .]] K. Larsen, M. Mikucionis, and B. Nielsen. Online Testing of Real-time Systems using Uppaal: Status and Future Work. In E. Brinksma, W. Grieskamp, J. Tretmans, and E. Weyuker, editors, Dagstuhl Seminar Proceedings volume 04371: Perspectives of Model-Based Testing, Schloss Dagstuhl, D-66687 Wadern, Germany., September 2004. IBFI gem. GmbH, Schloss Dagstuhl.]]"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"e_1_3_2_1_9_1","volume-title":"Black-box Conformance Testing for Real-Time Systems. In Model Checking Software: 11th International SPIN Workshop","volume":"2989","author":"Krichen M.","year":"2004","unstructured":"M. Krichen and S. Tripakis . Black-box Conformance Testing for Real-Time Systems. In Model Checking Software: 11th International SPIN Workshop , volume LNCS 2989 . Springer , April 2004 .]] M. Krichen and S. Tripakis. Black-box Conformance Testing for Real-Time Systems. In Model Checking Software: 11th International SPIN Workshop, volume LNCS 2989. Springer, April 2004.]]"},{"key":"e_1_3_2_1_10_1","unstructured":"M. Mikucionis. Uppaal tron internet page http:\/\/www.cs.aau.dk\/~marius\/tron.]]  M. Mikucionis. Uppaal tron internet page http:\/\/www.cs.aau.dk\/~marius\/tron.]]"},{"key":"e_1_3_2_1_12_1","first-page":"36","volume-title":"the 15th Nordic Workshop on Programming Theory, number 34 in B","author":"Mikucionis M.","year":"2003","unstructured":"M. Mikucionis , B. Nielsen , and K. Larsen . Real-time system testing on-the-fly . In the 15th Nordic Workshop on Programming Theory, number 34 in B , pages 36 -- 38 , Turku, Finland, October 29--31 2003 . Abo Akademi, Department of Computer Science, Finland. Abstracts.]] M. Mikucionis, B. Nielsen, and K. Larsen. Real-time system testing on-the-fly. In the 15th Nordic Workshop on Programming Theory, number 34 in B, pages 36--38, Turku, Finland, October 29--31 2003. Abo Akademi, Department of Computer Science, Finland. Abstracts.]]"},{"key":"e_1_3_2_1_13_1","volume-title":"Department of Computer Science","author":"Mikucionis M.","year":"2003","unstructured":"M. Mikucionis and E. Sasnauskaite . On-the-fly testing using UppAal. Master's thesis , Department of Computer Science , Aalborg University , Denmark, June 2003 .]] M. Mikucionis and E. Sasnauskaite. On-the-fly testing using UppAal. Master's thesis, Department of Computer Science, Aalborg University, Denmark, June 2003.]]"},{"key":"e_1_3_2_1_14_1","volume-title":"Integrated Design and Process Technology (IDPT-2002)","author":"Peleska J.","year":"2002","unstructured":"J. Peleska . Formal Methods for Test Automation - Hard Real-Time Testing of Controllers for the Airbus Aircraft Families . In Integrated Design and Process Technology (IDPT-2002) , 2002 .]] J. Peleska. Formal Methods for Test Automation - Hard Real-Time Testing of Controllers for the Airbus Aircraft Families. In Integrated Design and Process Technology (IDPT-2002), 2002.]]"},{"key":"e_1_3_2_1_15_1","first-page":"2004","article-title":"Testing conformance of real-time applications with automatic generation of ob servers","author":"Bensalem M. K. S.","year":"2004","unstructured":"M. K. S. Bensalem , M. Bozga and S. Tripakis . Testing conformance of real-time applications with automatic generation of ob servers . In Runtime Verification 2004 , 2004 .]] M. K. S. Bensalem, M. Bozga and S. Tripakis. Testing conformance of real-time applications with automatic generation of ob servers. In Runtime Verification 2004, 2004.]]","journal-title":"Runtime Verification"},{"key":"e_1_3_2_1_16_1","volume-title":"Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT'02)","author":"Tripakis S.","year":"2002","unstructured":"S. Tripakis . Fault Diagnosis for Timed Automata . In Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT'02) , volume LNCS 2469 . Springer , 2002 .]] S. Tripakis. Fault Diagnosis for Timed Automata. In Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT'02), volume LNCS 2469. Springer, 2002.]]"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"J.\n      Tretmans\n    .\n  Testing concurrent systems: A formal approach\n  . In J. Baeten and S. Mauw editors CONCUR'99 -- 10th Int. Conference on Concurrency Theory volume \n  1664\n   of \n  Lecture Notes in Computer Science pages \n  46\n  --\n  65\n  . \n  Springer-Verlag 1999\n  .]]   J. Tretmans. Testing concurrent systems: A formal approach. In J. Baeten and S. Mauw editors CONCUR'99 -- 10th Int. Conference on Concurrency Theory volume 1664 of Lecture Notes in Computer Science pages 46--65. Springer-Verlag 1999.]]","DOI":"10.1007\/3-540-48320-9_6"}],"event":{"name":"EMSOFT05: Fifth ACM International Conference on Embedded Software 2005","location":"Jersey City NJ USA","acronym":"EMSOFT05","sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 5th ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086228.1086283","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086228.1086283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:19Z","timestamp":1750262899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086228.1086283"}},"subtitle":["an industrial case study"],"short-title":[],"issued":{"date-parts":[[2005,9,18]]},"references-count":16,"alternative-id":["10.1145\/1086228.1086283","10.1145\/1086228"],"URL":"https:\/\/doi.org\/10.1145\/1086228.1086283","relation":{},"subject":[],"published":{"date-parts":[[2005,9,18]]},"assertion":[{"value":"2005-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}