{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:49:07Z","timestamp":1764053347687,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,15]],"date-time":"2014-09-15T00:00:00Z","timestamp":1410739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["EU ICT-611125"],"award-info":[{"award-number":["EU ICT-611125"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004895","name":"European Social Fund","doi-asserted-by":"publisher","award":["TAMOP-4.2.2.C-11\/1\/KONV-2012-0001"],"award-info":[{"award-number":["TAMOP-4.2.2.C-11\/1\/KONV-2012-0001"]}],"id":[{"id":"10.13039\/501100004895","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,15]]},"DOI":"10.1145\/2642937.2643005","type":"proceedings-article","created":{"date-parts":[[2014,9,17]],"date-time":"2014-09-17T14:22:41Z","timestamp":1410963761000},"page":"289-300","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":56,"title":["Multi-objective optimization in rule-based design space exploration"],"prefix":"10.1145","author":[{"given":"Hani","family":"Abdeen","sequence":"first","affiliation":[{"name":"DIRO, Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, Canada"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Budapest, Hungary"}]},{"given":"Houari","family":"Sahraoui","sequence":"additional","affiliation":[{"name":"DIRO, Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, Canada"}]},{"given":"Andr\u00e1s Szabolcs","family":"Nagy","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Budapest, Hungary"}]},{"given":"Csaba","family":"Debreceni","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Budapest, Hungary"}]},{"given":"\u00c1bel","family":"Heged\u00fcs","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Budapest, Hungary"}]},{"given":"\u00c1kos","family":"Horv\u00e1th","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Budapest, Hungary"}]}],"member":"320","published-online":{"date-parts":[[2014,9,15]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"14","volume-title":"Proc. ICGT 2002","volume":"2505","author":"Baldan P.","year":"2002","unstructured":"P. Baldan and B. K\u00f6nig . Approximating the behavior of graph transformation systems . In Proc. ICGT 2002 , volume 2505 of LNCS, pages 14 -- 29 . Springer , 2002 . P. Baldan and B. K\u00f6nig. Approximating the behavior of graph transformation systems. In Proc. ICGT 2002, volume 2505 of LNCS, pages 14--29. Springer, 2002."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.071"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841883_22"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-4821-1_7"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939281.1939293"},{"key":"e_1_3_2_1_6_1","first-page":"167","volume-title":"Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, LNCS 6707","author":"Bergmann G.","year":"2011","unstructured":"G. Bergmann , Z. Ujhelyi , I. R\u00e4th , and D. Varr\u00f3 . A graph query language for emf models. In Theory and Practice of Model Transformations , Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, LNCS 6707 , pages 167 -- 182 . Springer , 2011 . G. Bergmann, Z. Ujhelyi, I. R\u00e4th, and D. Varr\u00f3. A graph query language for emf models. In Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, LNCS 6707, pages 167--182. Springer, 2011."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2010.5586376"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32548-9_35"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"e_1_3_2_1_10_1","volume-title":"Search-based model optimization using model transformations. Technical report","author":"Denil J.","year":"2014","unstructured":"J. Denil , M. Juk\u0161s , C. Verbrugge , and H. Vangheluwe . Search-based model optimization using model transformations. Technical report , McGill University , Canada , 2014 . J. Denil, M. Juk\u0161s, C. Verbrugge, and H. Vangheluwe. Search-based model optimization using model transformations. Technical report, McGill University, Canada, 2014."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.02.061"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841883_29"},{"key":"e_1_3_2_1_13_1","first-page":"2","volume-title":"Proceedings of the 8th European Conference on Modelling Foundations and Applications (ECMFA'12)","author":"Etemaadi R.","year":"2012","unstructured":"R. Etemaadi and M. R. Chaudron . A model-based tool for automated quality-driven design of system architectures . In Proceedings of the 8th European Conference on Modelling Foundations and Applications (ECMFA'12) , pages 2 -- 5 , 2012 . R. Etemaadi and M. R. Chaudron. A model-based tool for automated quality-driven design of system architectures. In Proceedings of the 8th European Conference on Modelling Foundations and Applications (ECMFA'12), pages 2--5, 2012."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34176-2_11"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043662.2043663"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"key":"e_1_3_2_1_17_1","volume-title":"IEEE Symposium on Visual Languages and Human-Centric Computing, VL\/HCC 2011","author":"R\u00e1th I.","year":"2011","unstructured":"\u00c1. Heged\u00fcs, \u00c1. Horv\u00e1th, I. R\u00e1th , M. C. Branco , and D. Varr\u00f3 . Quick fix generation for DSMLs . In IEEE Symposium on Visual Languages and Human-Centric Computing, VL\/HCC 2011 . IEEE Computer Society, 09\/ 2011 2011. \u00c1. Heged\u00fcs, \u00c1. Horv\u00e1th, I. R\u00e1th, M. C. Branco, and D. Varr\u00f3. Quick fix generation for DSMLs. In IEEE Symposium on Visual Languages and Human-Centric Computing, VL\/HCC 2011. IEEE Computer Society, 09\/2011 2011."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100051"},{"key":"e_1_3_2_1_19_1","first-page":"40","article-title":"Towards guided trajectory exploration of graph transformation systems. Electronic Communications of the EASST","volume":"2010","author":"Varr\u00f3 D.","year":"2011","unstructured":"\u00c1. Heged\u00fcs, \u00c1. Horv\u00e1th, and D. Varr\u00f3 . Towards guided trajectory exploration of graph transformation systems. Electronic Communications of the EASST , Petri Nets and Graph Transformations 2010 , 40 , 08\/ 2011 2011. \u00c1. Heged\u00fcs, \u00c1. Horv\u00e1th, and D. Varr\u00f3. Towards guided trajectory exploration of graph transformation systems. Electronic Communications of the EASST, Petri Nets and Graph Transformations 2010, 40, 08\/2011 2011.","journal-title":"Petri Nets and Graph Transformations"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0185-5"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28540-0_16"},{"key":"e_1_3_2_1_22_1","article-title":"An evolutionary many-objective optimization algorithm using reference-point based non-dominated sorting approach, part ii: Handling constraints and extending to an adaptive approach. Evolutionary Computation","author":"Jain H.","year":"2013","unstructured":"H. Jain and K. Deb . An evolutionary many-objective optimization algorithm using reference-point based non-dominated sorting approach, part ii: Handling constraints and extending to an adaptive approach. Evolutionary Computation , IEEE Transactions on , 2013 . H. Jain and K. Deb. An evolutionary many-objective optimization algorithm using reference-point based non-dominated sorting approach, part ii: Handling constraints and extending to an adaptive approach. Evolutionary Computation, IEEE Transactions on, 2013.","journal-title":"IEEE Transactions on"},{"key":"e_1_3_2_1_23_1","first-page":"33","volume-title":"Monterey Workshop","author":"Kang E.","year":"2010","unstructured":"E. Kang , E. K. Jackson , and W. Schulte . An approach for effective design space exploration . In Monterey Workshop , pages 33 -- 54 , 2010 . E. Kang, E. K. Jackson, and W. Schulte. An approach for effective design space exploration. In Monterey Workshop, pages 33--54, 2010."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2662572.2662588"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0175-7"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_13"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.04.056"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2011.01.004"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_19"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25959-6_40"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693134"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1926458.1926464"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2010.25"},{"key":"e_1_3_2_1_34_1","series-title":"LNCS","first-page":"92","volume-title":"Proc. UML 2003:  6th International Conference on the Unified Modeling Language","author":"Varr\u00f3 D.","year":"2003","unstructured":"\u00c1. Schmidt and D. Varr\u00f3 . CheckVML: A tool for model checking visual modeling languages . In P. Stevens, J. Whittle, and G. Booch, editors, Proc. UML 2003: 6th International Conference on the Unified Modeling Language , volume 2863 of LNCS , pages 92 -- 95 , San Francisco, CA , USA, October 20-24 2003 . Springer . \u00c1. Schmidt and D. Varr\u00f3. CheckVML: A tool for model checking visual modeling languages. In P. Stevens, J. Whittle, and G. Booch, editors, Proc. UML 2003: 6th International Conference on the Unified Modeling Language, volume 2863 of LNCS, pages 92--95, San Francisco, CA, USA, October 20-24 2003. Springer."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_34"},{"key":"e_1_3_2_1_36_1","volume-title":"EMF-IncQuery: An Integrated development environment for live model queries. Science of Computer Programming, (0):--","author":"Ujhelyi Z.","year":"2014","unstructured":"Z. Ujhelyi , G. Bergmann , A. Heged\u00fcs , A. Horv\u00e1th , B. Izs\u00f3 , I. R\u00e1th , Z. Szatm\u00e1ri , and D. Varr\u00f3 . EMF-IncQuery: An Integrated development environment for live model queries. Science of Computer Programming, (0):-- , 2014 . Z. Ujhelyi, G. Bergmann, A. Heged\u00fcs, A. Horv\u00e1th, B. Izs\u00f3, I. R\u00e1th, Z. Szatm\u00e1ri, and D. Varr\u00f3. EMF-IncQuery: An Integrated development environment for live model queries. Science of Computer Programming, (0):--, 2014."},{"key":"e_1_3_2_1_37_1","volume-title":"Multi-Objective Search-based Requirements Selection and Optimisation. Phd. thesis","author":"Zhang Y.","year":"2010","unstructured":"Y. Zhang . Multi-Objective Search-based Requirements Selection and Optimisation. Phd. thesis , King's College London , UK , 2010 . Y. Zhang. Multi-Objective Search-based Requirements Selection and Optimisation. Phd. thesis, King's College London, UK, 2010."}],"event":{"name":"ASE '14: ACM\/IEEE International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","M\u00e4lardalen University M\u00e4lardalen University","IEEE CS"],"location":"Vasteras Sweden","acronym":"ASE '14"},"container-title":["Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2642937.2643005","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2642937.2643005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:09Z","timestamp":1750229769000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2642937.2643005"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,15]]},"references-count":37,"alternative-id":["10.1145\/2642937.2643005","10.1145\/2642937"],"URL":"https:\/\/doi.org\/10.1145\/2642937.2643005","relation":{},"subject":[],"published":{"date-parts":[[2014,9,15]]},"assertion":[{"value":"2014-09-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}