{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:37:57Z","timestamp":1755999477663,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":80,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN-2022-04357"],"award-info":[{"award-number":["RGPIN-2022-04357"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Nemzeti Kutat\u00e1si, Fejleszt\u00e9si \u00e9s Innovaci\u00f3s Alap","award":["2019-1.3.1-KK-2019-00004"],"award-info":[{"award-number":["2019-1.3.1-KK-2019-00004"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,23]]},"DOI":"10.1145\/3550355.3552448","type":"proceedings-article","created":{"date-parts":[[2022,10,24]],"date-time":"2022-10-24T22:44:57Z","timestamp":1666651497000},"page":"43-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["System architecture synthesis for performability by logic solvers"],"prefix":"10.1145","author":[{"given":"M\u00e1t\u00e9","family":"F\u00f6ldi\u00e1k","sequence":"first","affiliation":[{"name":"Budapest University of Technology and Economics, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krist\u00f3f","family":"Marussy","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e1niel","family":"Varr\u00f3","sequence":"additional","affiliation":[{"name":"McGill University, Montreal, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Istv\u00e1n","family":"Majzik","sequence":"additional","affiliation":[{"name":"Budapest University of Technology and Economics, Budapest, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Csaba Debreceni, \u00c1bel Heged\u00fcs, and \u00c1kos Horv\u00e1th.","author":"Abdeen Hani","year":"2014","unstructured":"Hani Abdeen , D\u00e1niel Varr\u00f3 , Houari Sahraoui , Andr\u00e1s Szabolcs Nagy , Csaba Debreceni, \u00c1bel Heged\u00fcs, and \u00c1kos Horv\u00e1th. 2014 . Multi-objective optimization in rule-based design space exploration. In ASE. ACM , 289--300. Hani Abdeen, D\u00e1niel Varr\u00f3, Houari Sahraoui, Andr\u00e1s Szabolcs Nagy, Csaba Debreceni, \u00c1bel Heged\u00fcs, and \u00c1kos Horv\u00e1th. 2014. Multi-objective optimization in rule-based design space exploration. In ASE. ACM, 289--300."},{"key":"e_1_3_2_1_2_1","volume-title":"Workshop on Generative Techniques in the Context of Model Driven Architecture, OOPSLA.","author":"Agrawal Aditya","year":"2002","unstructured":"Aditya Agrawal , Tihamer Levendovszky , Jon Sprinkle , Feng Shi , and Gabor Karsai . 2002 . Generative Programming via Graph Transformations in the Model-Driven Architecture . In Workshop on Generative Techniques in the Context of Model Driven Architecture, OOPSLA. Aditya Agrawal, Tihamer Levendovszky, Jon Sprinkle, Feng Shi, and Gabor Karsai. 2002. Generative Programming via Graph Transformations in the Model-Driven Architecture. In Workshop on Generative Techniques in the Context of Model Driven Architecture, OOPSLA."},{"key":"e_1_3_2_1_3_1","unstructured":"Airlines electronic engineering committee (AEEC). 2006. Avionics application software standard interface - ARINC specification 653 - part 1 (supplement 2 - required services).  Airlines electronic engineering committee (AEEC). 2006. Avionics application software standard interface - ARINC specification 653 - part 1 (supplement 2 - required services)."},{"volume-title":"Symbolic execution of high-level transformations","author":"Al-Sibahi Ahmad Salim","key":"e_1_3_2_1_4_1","unstructured":"Ahmad Salim Al-Sibahi , Aleksandar S. Dimovski , and Andrzej Wasowski . 2016. Symbolic execution of high-level transformations . In SLE. Springer , 207--220. Ahmad Salim Al-Sibahi, Aleksandar S. Dimovski, and Andrzej Wasowski. 2016. Symbolic execution of high-level transformations. In SLE. Springer, 207--220."},{"volume-title":"ArcheOpterix: An extendable tool for architecture optimization of AADL models","author":"Aleti Aldeida","key":"e_1_3_2_1_5_1","unstructured":"Aldeida Aleti , Stefan Bj\u00f6rnander , Lars Grunske , and Indika Meedeniya . 2009. ArcheOpterix: An extendable tool for architecture optimization of AADL models . In MOMPES. IEEE , 61--71. Aldeida Aleti, Stefan Bj\u00f6rnander, Lars Grunske, and Indika Meedeniya. 2009. ArcheOpterix: An extendable tool for architecture optimization of AADL models. In MOMPES. IEEE, 61--71."},{"key":"e_1_3_2_1_6_1","volume-title":"EASIER: An Evolutionary Approach for Multi-objective Software ArchItecturE Refactoring","author":"Arcelli Davide","year":"2018","unstructured":"Davide Arcelli , Vittorio Cortellessa , Mattia D'Emidio , and Daniele Di Pompeo . 2018 . EASIER: An Evolutionary Approach for Multi-objective Software ArchItecturE Refactoring . In ISCA. IEEE , 105--114. Davide Arcelli, Vittorio Cortellessa, Mattia D'Emidio, and Daniele Di Pompeo. 2018. EASIER: An Evolutionary Approach for Multi-objective Software ArchItecturE Refactoring. In ISCA. IEEE, 105--114."},{"key":"e_1_3_2_1_7_1","unstructured":"AUTOSAR Consortium. 2013. The AUTOSAR standard. https:\/\/www.autosar.org\/  AUTOSAR Consortium. 2013. The AUTOSAR standard. https:\/\/www.autosar.org\/"},{"key":"e_1_3_2_1_8_1","unstructured":"Aren A. Babikian Oszk\u00e1r Semer\u00e1th Chuning Li Krist\u00f3f Marussy and D\u00e1niel Varr\u00f3. 2021. Automated generation of consistent diverse and structurally realistic graph models. Softw. Syst. Model. (2021).  Aren A. Babikian Oszk\u00e1r Semer\u00e1th Chuning Li Krist\u00f3f Marussy and D\u00e1niel Varr\u00f3. 2021. Automated generation of consistent diverse and structurally realistic graph models. Softw. Syst. Model. (2021)."},{"volume-title":"Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems","author":"Bernardi Simona","key":"e_1_3_2_1_9_1","unstructured":"Simona Bernardi , Susanna Donatelli , and Giovanna Dondossola . 2004. Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems . Springer , 36--51. Simona Bernardi, Susanna Donatelli, and Giovanna Dondossola. 2004. Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. Springer, 36--51."},{"key":"e_1_3_2_1_10_1","volume-title":"Petriu","author":"Bernardi Simona","year":"2012","unstructured":"Simona Bernardi , Jos\u00e9 Merseguer , and Dorina C . Petriu . 2012 . Dependability modeling and analysis of software systems specified with UML. ACM Comput. Surv . 45, 1 (2012). Simona Bernardi, Jos\u00e9 Merseguer, and Dorina C. Petriu. 2012. Dependability modeling and analysis of software systems specified with UML. ACM Comput. Surv. 45, 1 (2012)."},{"key":"e_1_3_2_1_11_1","volume-title":"TACAS (LNCS","volume":"199","author":"Bj\u00f8rner Nikolaj S.","year":"2015","unstructured":"Nikolaj S. Bj\u00f8rner , Anh-Dung Phan , and Lars Fleckenstein . 2015 . vZ - An Optimizing SMT Solver . In TACAS (LNCS , Vol. 9035). Springer, 194-- 199 . Nikolaj S. Bj\u00f8rner, Anh-Dung Phan, and Lars Fleckenstein. 2015. vZ - An Optimizing SMT Solver. In TACAS (LNCS, Vol. 9035). Springer, 194--199."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00914-w"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Alexandru Burdusel Steffen Zschaler and Daniel Str\u00fcber. 2018. MDEoptimiser: A Search Based Model Engineering Tool. In MODELS. ACM 12--16.  Alexandru Burdusel Steffen Zschaler and Daniel Str\u00fcber. 2018. MDEoptimiser: A Search Based Model Engineering Tool. In MODELS. ACM 12--16.","DOI":"10.1145\/3270112.3270130"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA-C.2019.00036"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Jordi Cabot Robert Claris\u00f3 and Daniel Riera. 2007. UMLtoCSP: a tool for the formal verification of UML\/OCL models using constraint programming. In ASE. ACM 547--548.  Jordi Cabot Robert Claris\u00f3 and Daniel Riera. 2007. UMLtoCSP: a tool for the formal verification of UML\/OCL models using constraint programming. In ASE. ACM 547--548.","DOI":"10.1145\/1321631.1321737"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_20"},{"key":"e_1_3_2_1_17_1","volume-title":"Romina Eramo, and Alfonso Pierantonio.","author":"Cicchetti Antonio","year":"2010","unstructured":"Antonio Cicchetti , Davide Di Ruscio , Romina Eramo, and Alfonso Pierantonio. 2010 . JTL : A Bidirectional and Change Propagating Transformation Language. In SLE (LNCS , Vol. 6563). Springer, 183-- 202 . Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, and Alfonso Pierantonio. 2010. JTL: A Bidirectional and Change Propagating Transformation Language. In SLE (LNCS, Vol. 6563). Springer, 183--202."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2020.106362"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.06.001"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.6028\/NIST.SP.1500-201"},{"key":"e_1_3_2_1_21_1","volume-title":"Davis and Alan Burns","author":"Robert","year":"2008","unstructured":"Robert I. Davis and Alan Burns . 2008 . Response Time Upper Bounds for Fixed Priority Real-Time Systems. In RTSS. IEEE , 407--418. Robert I. Davis and Alan Burns. 2008. Response Time Upper Bounds for Fixed Priority Real-Time Systems. In RTSS. IEEE, 407--418."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-009-9049-z"},{"key":"e_1_3_2_1_25_1","volume-title":"OSS4MDE@MODELS (CEUR Workshop Proceedings","author":"Eder Johannes","year":"1835","unstructured":"Johannes Eder and Sebastian Voss . 2016. Usable Design Space Exploration in AutoFOCUS3 . In OSS4MDE@MODELS (CEUR Workshop Proceedings , Vol. 1835). CEUR-WS.org, 51-- 58 . http:\/\/ceur-ws.org\/Vol- 1835 \/paper08.pdf Johannes Eder and Sebastian Voss. 2016. Usable Design Space Exploration in AutoFOCUS3. In OSS4MDE@MODELS (CEUR Workshop Proceedings, Vol. 1835). CEUR-WS.org, 51--58. http:\/\/ceur-ws.org\/Vol-1835\/paper08.pdf"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227159"},{"volume-title":"ICMT@STAF (LNCS","author":"Fleck Martin","key":"e_1_3_2_1_27_1","unstructured":"Martin Fleck , Javier Troya , and Manuel Wimmer . 2016. Search-Based Model Transformations with MOMoT . In ICMT@STAF (LNCS , Vol. 9765). Springer, 79-- 87 . Martin Fleck, Javier Troya, and Manuel Wimmer. 2016. Search-Based Model Transformations with MOMoT. In ICMT@STAF (LNCS, Vol. 9765). Springer, 79--87."},{"volume-title":"Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering","author":"Gerasimou Simos","key":"e_1_3_2_1_28_1","unstructured":"Simos Gerasimou , Giordano Tamburrelli , and Radu Calinescu . 2015. Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering . In ASE. IEEE. Simos Gerasimou, Giordano Tamburrelli, and Radu Calinescu. 2015. Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering. In ASE. IEEE."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.04.001"},{"volume-title":"Model-Based Safety Analysis for Vehicle Guidance Systems","author":"Ghadhab Majdi","key":"e_1_3_2_1_30_1","unstructured":"Majdi Ghadhab , Sebastian Junges , Joost-Pieter Katoen , Matthias Kuntz , and Matthias Volk . 2017. Model-Based Safety Analysis for Vehicle Guidance Systems . In SAFECOMP. Springer , 3--19. Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, and Matthias Volk. 2017. Model-Based Safety Analysis for Vehicle Guidance Systems. In SAFECOMP. Springer, 3--19."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-010-0155-y"},{"key":"e_1_3_2_1_32_1","volume-title":"7th Int. Conf.","volume":"368","author":"Gilmore Stephen","year":"1994","unstructured":"Stephen Gilmore and Jane Hillston . 1994 . The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Computer Performance Evaluation, Modeling Techniques and Tools , 7th Int. Conf. , Vienna, Austria, May 3--6 , 1994, Proceedings (LNCS, Vol. 794), G\u00fcnter Haring and Gabriele Kotsis (Eds.). Springer, 353-- 368 . Stephen Gilmore and Jane Hillston. 1994. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Computer Performance Evaluation, Modeling Techniques and Tools, 7th Int. Conf., Vienna, Austria, May 3--6, 1994, Proceedings (LNCS, Vol. 794), G\u00fcnter Haring and Gabriele Kotsis (Eds.). Springer, 353--368."},{"volume-title":"Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (LNCS","author":"Gilmore Stephen","key":"e_1_3_2_1_33_1","unstructured":"Stephen Gilmore , Jane Hillston , and Natalia Zon . 2016. Abstract Interpretation of PEPA Models . In Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (LNCS , Vol. 9560), Christian W. Probst, Chris Hankin, and Ren\u00e9 Rydhof Hansen (Eds.). Springer, 140-- 158 . Stephen Gilmore, Jane Hillston, and Natalia Zon. 2016. Abstract Interpretation of PEPA Models. In Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (LNCS, Vol. 9560), Christian W. Probst, Chris Hankin, and Ren\u00e9 Rydhof Hansen (Eds.). Springer, 140--158."},{"key":"e_1_3_2_1_34_1","series-title":"Handbook of Approximation Algorithms and Metaheuristics","volume-title":"Methologies and Traditional Applications","author":"Glover Fred W.","unstructured":"Fred W. Glover , Manuel Laguna , and Rafael Mart\u00ed . 2018. Principles and Strategies of Tabu Search . In Handbook of Approximation Algorithms and Metaheuristics , Second Edition, Volume 1 : Methologies and Traditional Applications . Chapman and Hall\/CRC , 361--377. Fred W. Glover, Manuel Laguna, and Rafael Mart\u00ed. 2018. Principles and Strategies of Tabu Search. In Handbook of Approximation Algorithms and Metaheuristics, Second Edition, Volume 1: Methologies and Traditional Applications. Chapman and Hall\/CRC, 361--377."},{"key":"e_1_3_2_1_35_1","volume-title":"Models in Software Engineering, Workshops and Symposia at MODELS","author":"G\u00f6nczy L\u00e1szl\u00f3","year":"2008","unstructured":"L\u00e1szl\u00f3 G\u00f6nczy , Zsolt D\u00e9ri , and D\u00e1niel Varr\u00f3 . 2008. Model Transformations for Performability Analysis of Service Configurations . In Models in Software Engineering, Workshops and Symposia at MODELS 2008 , Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers (LNCS, Vol. 5421), Michel R. V . Chaudron (Ed.). Springer , 153--166. L\u00e1szl\u00f3 G\u00f6nczy, Zsolt D\u00e9ri, and D\u00e1niel Varr\u00f3. 2008. Model Transformations for Performability Analysis of Service Configurations. In Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers (LNCS, Vol. 5421), Michel R. V. Chaudron (Ed.). Springer, 153--166."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0163-1"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2017.7943953"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2019.18.3.a6"},{"key":"e_1_3_2_1_40_1","volume-title":"DSN Workshops. Springer.","author":"Joshi Anjali","year":"2017","unstructured":"Anjali Joshi , Steve Vestal , and Pam Binns . 2017 . Automatic generation of static fault trees from AADL models . In DSN Workshops. Springer. Anjali Joshi, Steve Vestal, and Pam Binns. 2017. Automatic generation of static fault trees from AADL models. In DSN Workshops. Springer."},{"key":"e_1_3_2_1_41_1","volume-title":"An Approach for Effective Design Space Exploration. In Monterey Workshop. Springer, 33--54","author":"Kang Eunsuk","year":"2010","unstructured":"Eunsuk Kang , Ethan Jackson , and Wolfram Schulte . 2010 . An Approach for Effective Design Space Exploration. In Monterey Workshop. Springer, 33--54 . Eunsuk Kang, Ethan Jackson, and Wolfram Schulte. 2010. An Approach for Effective Design Space Exploration. In Monterey Workshop. Springer, 33--54."},{"volume-title":"Lazy proofs for DPLL(T)-based SMT solvers","author":"Katz Guy","key":"e_1_3_2_1_42_1","unstructured":"Guy Katz , Clark W. Barrett , Cesare Tinelli , Andrew Reynolds , and Liana Hadarean . 2016. Lazy proofs for DPLL(T)-based SMT solvers . In FMCAD. IEEE , 93--100. Guy Katz, Clark W. Barrett, Cesare Tinelli, Andrew Reynolds, and Liana Hadarean. 2016. Lazy proofs for DPLL(T)-based SMT solvers. In FMCAD. IEEE, 93--100."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2013-5371"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1162\/106365600568167"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2009.07.007"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.09.026"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Heiko Koziolek and Ralf Reussner. 2008. A Model Transformation from the Palladio Component Model to Layered Queueing Networks. (2008) 58--57.  Heiko Koziolek and Ralf Reussner. 2008. A Model Transformation from the Palladio Component Model to Layered Queueing Networks. (2008) 58--57.","DOI":"10.1007\/978-3-540-69814-2_6"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21952-8_21"},{"volume-title":"Verification of Probabilistic Real-Time Systems","author":"Kwiatkowska Maria","key":"e_1_3_2_1_49_1","unstructured":"Maria Kwiatkowska , Gethin Normath , and David Parker . 2011. PRISM 4.0 : Verification of Probabilistic Real-Time Systems . In CAV. Springer , 585--591. Maria Kwiatkowska, Gethin Normath, and David Parker. 2011. PRISM 4.0: Verification of Probabilistic Real-Time Systems. In CAV. Springer, 585--591."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2011.5949650"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"crossref","unstructured":"Yi Li Aws Albarghouthi Zachary Kincaid Arie Gurfinkel and Marsha Chechik. 2014. Symbolic optimization with SMT solvers. In POPL. ACM 607--618.  Yi Li Aws Albarghouthi Zachary Kincaid Arie Gurfinkel and Marsha Chechik. 2014. Symbolic optimization with SMT solvers. In POPL. ACM 607--618.","DOI":"10.1145\/2578855.2535857"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"crossref","unstructured":"Juan Pablo L\u00f3pez-Grao Jos\u00e9 Merseguer and Javier Campos. 2004. From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. In WOSP. ACM 25--36.  Juan Pablo L\u00f3pez-Grao Jos\u00e9 Merseguer and Javier Campos. 2004. From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. In WOSP. ACM 25--36.","DOI":"10.1145\/974043.974048"},{"volume-title":"Architecting Dependable Systems","author":"Majzik Istv\u00e1n","key":"e_1_3_2_1_53_1","unstructured":"Istv\u00e1n Majzik , Andr\u00e1s Pataricza , and Andrea Bondavalli . 2002. Stochastic Dependability Analysis of System Architecture Based on UML Models . In Architecting Dependable Systems . Springer , 219--244. Istv\u00e1n Majzik, Andr\u00e1s Pataricza, and Andrea Bondavalli. 2002. Stochastic Dependability Analysis of System Architecture Based on UML Models. In Architecting Dependable Systems. Springer, 219--244."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"crossref","unstructured":"Panagiotis Manolios Daron Vroon and Gayatri Subramanian. 2007. Automating component-based system assembly. In ISSTA. ACM 61--72.  Panagiotis Manolios Daron Vroon and Gayatri Subramanian. 2007. Automating component-based system assembly. In ISSTA. ACM 61--72.","DOI":"10.1145\/1273463.1273473"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1712605.1712624"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.3025732"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000259.2000275"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1982.1676110"},{"key":"e_1_3_2_1_59_1","unstructured":"Moulaye Ndiaye Jean-Fran\u00e7ois P\u00e9tin Jean-Philippe Georges and Jacques Camerini. 2016. Practical Use of Coloured Petri Nets for the Design and Performance Assessment of Distributed Automation Architectures. In PNSE. CEUR-WS 113--131. http:\/\/ceur-ws.org\/Vol-1591\/paper10.pdf  Moulaye Ndiaye Jean-Fran\u00e7ois P\u00e9tin Jean-Philippe Georges and Jacques Camerini. 2016. Practical Use of Coloured Petri Nets for the Design and Performance Assessment of Distributed Automation Architectures. In PNSE. CEUR-WS 113--131. http:\/\/ceur-ws.org\/Vol-1591\/paper10.pdf"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87405-8_20"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-021-00889-8"},{"key":"e_1_3_2_1_64_1","volume-title":"Isomorphism Checking in GROOVE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1","author":"Rensink Arend","year":"2006","unstructured":"Arend Rensink . 2006. Isomorphism Checking in GROOVE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 ( 2006 ). Arend Rensink. 2006. Isomorphism Checking in GROOVE. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 1 (2006)."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"crossref","unstructured":"Thomas W Reps Mooly Sagiv and Reinhard Wilhelm. 2004. Static program analysis via 3-valued logic. In CAV. 15--30.  Thomas W Reps Mooly Sagiv and Reinhard Wilhelm. 2004. Static program analysis via 3-valued logic. In CAV. 15--30.","DOI":"10.1007\/978-3-540-27813-9_2"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16145-2_4"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_13"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"crossref","unstructured":"Oszk\u00e1r Semer\u00e1th Aren A. Babikian Anqi Li Krist\u00f3f Marussy and D\u00e1niel Varr\u00f3. 2020. Automated generation of consistent models with structural and attribute constraints. In MODELS. ACM 18--199.  Oszk\u00e1r Semer\u00e1th Aren A. Babikian Anqi Li Krist\u00f3f Marussy and D\u00e1niel Varr\u00f3. 2020. Automated generation of consistent models with structural and attribute constraints. In MODELS. ACM 18--199.","DOI":"10.1145\/3365438.3410962"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-Companion.2019.00034"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-015-0485-x"},{"key":"e_1_3_2_1_71_1","volume-title":"Andr\u00e1s Szabolcs Nagy, and D\u00e1niel Varr\u00f3","author":"Semer\u00e1th Oszk\u00e1r","year":"2018","unstructured":"Oszk\u00e1r Semer\u00e1th , Andr\u00e1s Szabolcs Nagy, and D\u00e1niel Varr\u00f3 . 2018 . A Graph Solver for the Automated Generation of Consistent Domain-Specific Models. In ICSE. ACM. Oszk\u00e1r Semer\u00e1th, Andr\u00e1s Szabolcs Nagy, and D\u00e1niel Varr\u00f3. 2018. A Graph Solver for the Automated Generation of Consistent Domain-Specific Models. In ICSE. ACM."},{"key":"e_1_3_2_1_72_1","volume-title":"PPAM (LNTCS","volume":"401","author":"Skaruz Jaroslaw","year":"2013","unstructured":"Jaroslaw Skaruz , Artur Niewiadomski , and Wojciech Penczek . 2013 . Evolutionary Algorithms for Abstract Planning . In PPAM (LNTCS , Vol. 8384). Springer, 392-- 401 . Jaroslaw Skaruz, Artur Niewiadomski, and Wojciech Penczek. 2013. Evolutionary Algorithms for Abstract Planning. In PPAM (LNTCS, Vol. 8384). Springer, 392--401."},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3381032"},{"key":"e_1_3_2_1_74_1","volume-title":"Merks","author":"Steinberg Dave","year":"2009","unstructured":"Dave Steinberg , Frank Budinsky , Marcelo Paternostro , and Ed Merks . 2009 . EMF : Eclipse Modeling Framework (2 ed.). Addison-Wesley Prof . Dave Steinberg, Frank Budinsky, Marcelo Paternostro, and Ed Merks. 2009. EMF: Eclipse Modeling Framework (2 ed.). Addison-Wesley Prof."},{"key":"e_1_3_2_1_75_1","volume-title":"Raffaela Groner, Timo Kehrer, Manuel Ohrndorf, and Matthias Tichy.","author":"Str\u00fcber Daniel","year":"2017","unstructured":"Daniel Str\u00fcber , Kristopher Born , Kanwal Daud Gill , Raffaela Groner, Timo Kehrer, Manuel Ohrndorf, and Matthias Tichy. 2017 . Henshin : A Usability-Focused Framework for EMF Model Transformation Development. In ICGT@STAF (LNCS , Vol. 10373). Springer, 196-- 208 . Daniel Str\u00fcber, Kristopher Born, Kanwal Daud Gill, Raffaela Groner, Timo Kehrer, Manuel Ohrndorf, and Matthias Tichy. 2017. Henshin: A Usability-Focused Framework for EMF Model Transformation Development. In ICGT@STAF (LNCS, Vol. 10373). Springer, 196--208."},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.18"},{"key":"e_1_3_2_1_77_1","volume-title":"Sahner","author":"Trivedi Kishor S.","year":"1993","unstructured":"Kishor S. Trivedi , Gianfranco Ciardo , Manish Malhotra , and Robin A . Sahner . 1993 . Dependability and Performability Analysis. In SIGMETRICS (LNCS , Vol. 729). Springer, 587-- 612 . Kishor S. Trivedi, Gianfranco Ciardo, Manish Malhotra, and Robin A. Sahner. 1993. Dependability and Performability Analysis. In SIGMETRICS (LNCS, Vol. 729). Springer, 587--612."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.01.004"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.08.026"},{"volume-title":"Automatic Synthesis of Static Fault Trees from System Models","author":"Xiang Jianwen","key":"e_1_3_2_1_80_1","unstructured":"Jianwen Xiang , Kazuo Yanoo , Yoshiharu Maeno , and Kumiko Tadano . 2011. Automatic Synthesis of Static Fault Trees from System Models . In SSIRI. IEEE. Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, and Kumiko Tadano. 2011. Automatic Synthesis of Static Fault Trees from System Models. In SSIRI. IEEE."},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2012.11.003"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1162\/106365600568202"}],"event":{"name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"],"location":"Montreal Quebec Canada","acronym":"MODELS '22"},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550355.3552448","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550355.3552448","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:08Z","timestamp":1750183688000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550355.3552448"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":80,"alternative-id":["10.1145\/3550355.3552448","10.1145\/3550355"],"URL":"https:\/\/doi.org\/10.1145\/3550355.3552448","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}