{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:27Z","timestamp":1750306947646,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,1]],"date-time":"2012-10-01T00:00:00Z","timestamp":1349049600000},"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":[[2012,10]]},"DOI":"10.1145\/2467307.2467315","type":"proceedings-article","created":{"date-parts":[[2013,4,30]],"date-time":"2013-04-30T14:09:35Z","timestamp":1367330975000},"page":"39-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Towards early emergent property understanding"],"prefix":"10.1145","author":[{"given":"Georg","family":"Hackenberg","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis","family":"Bytschkow","sequence":"additional","affiliation":[{"name":"Fortiss GmbH, M\u00fcnchen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008767206905"},{"issue":"7","key":"e_1_3_2_1_2_1","first-page":"1091","article-title":"Distributed control of spatially invariant systems. Automatic Control","volume":"47","author":"Bamieh B.","year":"2002","unstructured":"B. Bamieh , F. Paganini , and M. Dahleh . Distributed control of spatially invariant systems. Automatic Control , IEEE Transactions on , 47 ( 7 ): 1091 -- 1107 , jul 2002 . B. Bamieh, F. Paganini, and M. Dahleh. Distributed control of spatially invariant systems. Automatic Control, IEEE Transactions on, 47(7):1091--1107, jul 2002.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0091-5","volume-title":"Specification and development of interactive systems: focus on streams, interfaces, and refinement","author":"Broy M.","year":"2001","unstructured":"M. Broy and K. St\u00f8len . Specification and development of interactive systems: focus on streams, interfaces, and refinement . Springer-Verlag New York, Inc. , Secaucus, NJ, USA , 2001 . M. Broy and K. St\u00f8len. Specification and development of interactive systems: focus on streams, interfaces, and refinement. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2001."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/37.980246"},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/3-540-45319-9_31","volume-title":"T. Margaria and W. Yi","author":"Christensen S.","year":"2001","unstructured":"S. Christensen , L. Kristensen , and T. Mailund . A sweep-line method for state space exploration . In T. Margaria and W. Yi , editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 2031 of Lecture Notes in Computer Science , pages 450 -- 464 . Springer Berlin\/Heidelberg , 2001 . S. Christensen, L. Kristensen, and T. Mailund. A sweep-line method for state space exploration. In T. Margaria and W. Yi, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 2031 of Lecture Notes in Computer Science, pages 450--464. Springer Berlin\/Heidelberg, 2001."},{"key":"e_1_3_2_1_6_1","series-title":"Lecture Notes in Computer Science","first-page":"241","volume-title":"Computer Aided Verification","author":"Cimatti A.","year":"2002","unstructured":"A. Cimatti , E. Clarke , E. Giunchiglia , F. Giunchiglia , M. Pistore , M. Roveri , R. Sebastiani , and A. Tacchella . Nusmv 2: An opensource tool for symbolic model checking . In E. Brinksma and K. Larsen, editors, Computer Aided Verification , volume 2404 of Lecture Notes in Computer Science , pages 241 -- 268 . Springer Berlin\/Heidelberg , 2002 . A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. Nusmv 2: An opensource tool for symbolic model checking. In E. Brinksma and K. Larsen, editors, Computer Aided Verification, volume 2404 of Lecture Notes in Computer Science, pages 241--268. Springer Berlin\/Heidelberg, 2002."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/149439.133100"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.laa.2004.01.006"},{"issue":"6","key":"e_1_3_2_1_9_1","first-page":"1363","article-title":"Coordination as distributed search in a hierarchical behavior space. Systems, Man and Cybernetics","volume":"21","author":"Durfee E.","year":"1991","unstructured":"E. Durfee and T. Montgomery . Coordination as distributed search in a hierarchical behavior space. Systems, Man and Cybernetics , IEEE Transactions on , 21 ( 6 ): 1363 -- 1378 , nov\/dec 1991 . E. Durfee and T. Montgomery. Coordination as distributed search in a hierarchical behavior space. Systems, Man and Cybernetics, IEEE Transactions on, 21(6):1363--1378, nov\/dec 1991.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/788020.788924"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SE4SG.2012.6225719"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SE4SG.2012.6225710"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-28356-0_5"},{"key":"e_1_3_2_1_14_1","series-title":"Lecture Notes in Computer Science","first-page":"113","volume-title":"Computer Performance Evaluation: Modelling Techniques and Tools","author":"Kwiatkowska M.","year":"2002","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker . Prism: Probabilistic symbolic model checker . In T. Field, P. Harrison, J. Bradley, and U. Harder, editors, Computer Performance Evaluation: Modelling Techniques and Tools , volume 2324 of Lecture Notes in Computer Science , pages 113 -- 140 . Springer Berlin\/Heidelberg , 2002 . M. Kwiatkowska, G. Norman, and D. Parker. Prism: Probabilistic symbolic model checker. In T. Field, P. Harrison, J. Bradley, and U. Harder, editors, Computer Performance Evaluation: Modelling Techniques and Tools, volume 2324 of Lecture Notes in Computer Science, pages 113--140. Springer Berlin\/Heidelberg, 2002."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/55483.55496"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MPAE.2005.1507024"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081180.1081193"},{"key":"e_1_3_2_1_18_1","series-title":"Lecture Notes in Computer Science","first-page":"75","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"Selic B.","year":"2004","unstructured":"B. Selic . On the semantic foundations of standard uml 2.0 . In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real-Time Systems , volume 3185 of Lecture Notes in Computer Science , pages 75 -- 76 . Springer Berlin\/Heidelberg , 2004 . B. Selic. On the semantic foundations of standard uml 2.0. In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real-Time Systems, volume 3185 of Lecture Notes in Computer Science, pages 75--76. Springer Berlin\/Heidelberg, 2004."},{"issue":"6","key":"e_1_3_2_1_19_1","first-page":"491","article-title":"A dynamic programming approach to trajectory planning of robotic manipulators. Automatic Control","volume":"31","author":"Shin K.","year":"1986","unstructured":"K. Shin and N. McKay . A dynamic programming approach to trajectory planning of robotic manipulators. Automatic Control , IEEE Transactions on , 31 ( 6 ): 491 -- 500 , jun 1986 . K. Shin and N. McKay. A dynamic programming approach to trajectory planning of robotic manipulators. Automatic Control, IEEE Transactions on, 31(6):491--500, jun 1986.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_20_1","first-page":"451","volume-title":"Proceedings of the first international conference on simulation of adaptive behavior on From animals to animats","author":"Steels L.","year":"1990","unstructured":"L. Steels . Towards a theory of emergent functionality . In Proceedings of the first international conference on simulation of adaptive behavior on From animals to animats , pages 451 -- 461 , Cambridge, MA, USA , 1990 . MIT Press. L. Steels. Towards a theory of emergent functionality. In Proceedings of the first international conference on simulation of adaptive behavior on From animals to animats, pages 451--461, Cambridge, MA, USA, 1990. MIT Press."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1995.525508"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/850949.853618"}],"event":{"name":"MODELS '12: ACM\/IEEE 15th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Innsbruck Austria","acronym":"MODELS '12"},"container-title":["Proceedings of the 2012 Extreme Modeling Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2467307.2467315","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2467307.2467315","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:36:00Z","timestamp":1750235760000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2467307.2467315"}},"subtitle":["merging behavior space exploration and model-based software engineering"],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":22,"alternative-id":["10.1145\/2467307.2467315","10.1145\/2467307"],"URL":"https:\/\/doi.org\/10.1145\/2467307.2467315","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]},"assertion":[{"value":"2012-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}