{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:52Z","timestamp":1750307992532,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,5,27]],"date-time":"2006-05-27T00:00:00Z","timestamp":1148688000000},"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":[[2006,5,27]]},"DOI":"10.1145\/1138953.1138967","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"67-74","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Nobody's perfect"],"prefix":"10.1145","author":[{"given":"Holger","family":"Giese","sequence":"first","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Henkler","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Hirsch","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Klein","sequence":"additional","affiliation":[{"name":"University of Paderborn, Paderborn, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113766"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/167088.167242"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134297"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT","author":"Behrmann G.","year":"2004","unstructured":"G. Behrmann , A. David , and K. G. Larsen . A tutorial on sc uppaal . In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004 , number 3185 in LNCS, pages 200 -- 236 . Springer--Verlag , September 2004. G. Behrmann, A. David, and K. G. Larsen. A tutorial on sc uppaal. In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, number 3185 in LNCS, pages 200--236. Springer--Verlag, September 2004."},{"key":"e_1_3_2_1_5_1","first-page":"27","volume-title":"Proc. of the 3rd Int. Workshop on \"Scenarios and State Machines: Models, Algorithms and Tools\" (SCESM'04)","author":"Bontemps Y.","year":"2004","unstructured":"Y. Bontemps and P. Heymans . As fast as sound (lightweight formal scenario synthesis and verification). In H. Giese and I. Kr\u00fcger, editors , Proc. of the 3rd Int. Workshop on \"Scenarios and State Machines: Models, Algorithms and Tools\" (SCESM'04) , pages 27 -- 34 , Edinburgh , May 2004 . IEE. Y. Bontemps and P. Heymans. As fast as sound (lightweight formal scenario synthesis and verification). In H. Giese and I. Kr\u00fcger, editors, Proc. of the 3rd Int. Workshop on \"Scenarios and State Machines: Models, Algorithms and Tools\" (SCESM'04), pages 27--34, Edinburgh, May 2004. IEE."},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. of the Fujaba Days 2003","author":"Burmester S.","year":"2003","unstructured":"S. Burmester and H. Giese . The Fujaba Real-Time Statechart PlugIn . In Proc. of the Fujaba Days 2003 , Kassel, Germany , October 2003 . S. Burmester and H. Giese. The Fujaba Real-Time Statechart PlugIn. In Proc. of the Fujaba Days 2003, Kassel, Germany, October 2003."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062601"},{"key":"e_1_3_2_1_8_1","unstructured":"S.\n      Burmester H.\n      Giese and \n      F.\n      Klein\n  . \n  Synthesis of Parameterized UML Real-Time Patterns from Multiple Parameterized Real-Timed Scenarios\n  . In F. Bordeleau S. Leue and T. Syst\u00e4 editors Scenarios\n  : Models Algorithms and Tools volume \n  3371\n   of \n  Lecture Notes in Computer Science pages \n  193\n  --\n  211\n  . \n  Springer Verlag April \n  2005\n  .  S. Burmester H. Giese and F. Klein. Synthesis of Parameterized UML Real-Time Patterns from Multiple Parameterized Real-Timed Scenarios. In F. Bordeleau S. Leue and T. Syst\u00e4 editors Scenarios: Models Algorithms and Tools volume 3371 of Lecture Notes in Computer Science pages 193--211. Springer Verlag April 2005."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940078"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/882460.882611"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1992.185551"},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. of the Fujaba Days 2003","author":"Hirsch M.","year":"2003","unstructured":"M. Hirsch and H. Giese . Towards the Incremental Model Checking of Complex RealTime UML Models . In Proc. of the Fujaba Days 2003 , Kassel, Germany , October 2003 . M. Hirsch and H. Giese. Towards the Incremental Model Checking of Complex RealTime UML Models. In Proc. of the Fujaba Days 2003, Kassel, Germany, October 2003."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/328648.328655"},{"key":"e_1_3_2_1_15_1","series-title":"Lecture Notes in Computer Science","volume-title":"Timing Analysis of UML Sequence Diagrams","author":"Li X.","year":"1999","unstructured":"X. Li and J. Lilius . Timing Analysis of UML Sequence Diagrams . In R. France and B. Rumpe, editors, UML'99 - The Second International Conference on The Unified Modeling Language Fort Collins, Colorado, USA , volume 1723 of Lecture Notes in Computer Science , October 1999 . X. Li and J. Lilius. Timing Analysis of UML Sequence Diagrams. In R. France and B. Rumpe, editors, UML'99 - The Second International Conference on The Unified Modeling Language Fort Collins, Colorado, USA, volume 1723 of Lecture Notes in Computer Science, October 1999."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381475"},{"key":"e_1_3_2_1_17_1","unstructured":"Object Management Group. UML 2.0 Superstructure Specification 2003. Document ptc\/03-08-02.  Object Management Group. UML 2.0 Superstructure Specification 2003. Document ptc\/03-08-02."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(03)00068-5"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587077"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/785406.785458"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/381473.381494"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1540-6261.1961.tb02789.x"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/248621.248623"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337217"}],"event":{"name":"ICSE06: International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Shanghai China","acronym":"ICSE06"},"container-title":["Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1138953.1138967","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1138953.1138967","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:18Z","timestamp":1750259178000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1138953.1138967"}},"subtitle":["interactive synthesis from parametrized real-time scenarios"],"short-title":[],"issued":{"date-parts":[[2006,5,27]]},"references-count":23,"alternative-id":["10.1145\/1138953.1138967","10.1145\/1138953"],"URL":"https:\/\/doi.org\/10.1145\/1138953.1138967","relation":{},"subject":[],"published":{"date-parts":[[2006,5,27]]},"assertion":[{"value":"2006-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}