{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T05:23:42Z","timestamp":1749878622032},"publisher-location":"Cham","reference-count":69,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319474724"},{"type":"electronic","value":"9783319474748"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-47474-8_11","type":"book-chapter","created":{"date-parts":[[2017,1,23]],"date-time":"2017-01-23T05:32:38Z","timestamp":1485149558000},"page":"337-373","source":"Crossref","is-referenced-by-count":22,"title":["Synthesis and Verification of Self-aware Computing Systems"],"prefix":"10.1007","author":[{"given":"Radu","family":"Calinescu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Autili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"C\u00e1mara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antinisca","family":"Di Marco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simos","family":"Gerasimou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Perucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nils","family":"Jansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ole J.","family":"Mengshoel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Romina","family":"Spalazzese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Tivoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,24]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Rajeev Alur, Thomas\u00a0A. Henzinger, and Orna Kupferman. Alternating-time temporal logic. J. ACM, 49(5):672\u2013713, 2002.","DOI":"10.1145\/585265.585270"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Jesper Andersson, Rog\u00e9rio de\u00a0Lemos, Sam Malek, and Danny Weyns. Modeling dimensions of self-adaptive software systems. In SEfSAS, pages 27\u201347. 2009.","DOI":"10.1007\/978-3-642-02161-9_2"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"M.\u00a0Autili, P.\u00a0Inverardi, and M.\u00a0Tivoli. Automated synthesis of service choreographies. IEEE Software, 32(1):50\u201357, 2015.","DOI":"10.1109\/MS.2014.131"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Marco Autili, Davide Di\u00a0Ruscio, Amleto Di\u00a0Salle, and Alexander Perucci. CHOReOSynt: Enforcing choreography realizability in the future internet. In FSE\u201914, pages 723\u2013726, 2014.","DOI":"10.1145\/2635868.2661667"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Marco Autili, Amleto Di\u00a0Salle, and Massimo Tivoli. Synthesis of resilient choreographies. In Software Engineering for Resilient Systems, pages 94\u2013108. 2013.","DOI":"10.1007\/978-3-642-40894-6_8"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Marco Autili, Leonardo Mostarda, Alfredo Navarra, and Massimo Tivoli. Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems. Journal of Systems and Software, 81(12):2210\u20132236, 2008.","DOI":"10.1016\/j.jss.2008.04.006"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Marco Autili and Massimo Tivoli. Distributed enforcement of service choreographies. In FOCLASA\u201914, pages 18\u201335, 2014.","DOI":"10.4204\/EPTCS.175.2"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, et\u00a0al. Model repair for probabilistic systems. In TACAS\u201911, pages 326\u2013340. 2011.","DOI":"10.1007\/978-3-642-19835-9_30"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Simona Bernardi, Jos\u00e9 Merseguer, and Dorina\u00a0C. Petriu. Model-Driven Dependability Assessment of Software Systems. Springer, 2013.","DOI":"10.1007\/978-3-642-39512-3"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"M.\u00a0Bernardo, P.\u00a0Ciancarini, and L.\u00a0Donatiello. Architecting families of software systems with process algebras. ACM TOSEM, 11:386\u2013426, 2002.","DOI":"10.1145\/606612.606614"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"A.\u00a0Bertolino, A.\u00a0Calabr\u00f2, F.\u00a0Di Giandomenico, et\u00a0al. On-the-fly dependable mediation between heterogeneous networked systems. In ICSOFT\u201911, pages 20\u201337, 2012.","DOI":"10.1007\/978-3-642-36177-7_2"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Andrea Bianco and Luca de\u00a0Alfaro. Model checking of probabalistic and nondeterministic systems. In FSTTCS, pages 499\u2013513, 1995.","DOI":"10.1007\/3-540-60692-0_70"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Radu Calinescu, Simos Gerasimou, and Alec Banks. Self-adaptive software with decentralised control loops. In FASE\u201915, pages 235\u2013251. 2015.","DOI":"10.1007\/978-3-662-46675-9_16"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, et\u00a0al. Formal verification with confidence intervals to establish quality of service properties of software systems. IEEE Transactions on Reliability, pages 1\u201316, 2015.","DOI":"10.1109\/TR.2015.2452931"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, and Raffaela Mirandola. Self-adaptive software needs quantitative verification at runtime. Communications of the ACM, 55(9):69\u201377, 2012.","DOI":"10.1145\/2330667.2330686"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Radu Calinescu, Kenneth Johnson, and Yasmin Rafiq. Developing self-verifying service-based systems. In ASE\u201913, pages 734\u2013737, 2013.","DOI":"10.1109\/ASE.2013.6693145"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Radu Calinescu, Yasmin Rafiq, Kenneth Johnson, and Mehmet\u00a0Emin Bakir. Adaptive model learning for continual verification of non-functional properties. In ICPE\u201914, pages 87\u201398, 2014.","DOI":"10.1145\/2568088.2568094"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Javier C\u00e1mara, Gabriel\u00a0A. Moreno, and David Garlan. Stochastic game analysis and latency awareness for proactive self-adaptation. In SEAMS\u201914, pages 155\u2013164, 2014.","DOI":"10.1145\/2593929.2593933"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Milan Ceska, Frits Dannenberg, Marta\u00a0Z. Kwiatkowska, and Nicola Paoletti. Precise parameter synthesis for stochastic biochemical systems. In CMSB\u201914, pages 86\u201398, 2014.","DOI":"10.1007\/978-3-319-12982-2_7"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Taolue Chen, Vojtech Forejt, Marta\u00a0Z. Kwiatkowska, et\u00a0al. Automatic verification of competitive stochastic systems. Formal Methods in System Design, 43(1):61\u201392, 2013.","DOI":"10.1007\/s10703-013-0183-7"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Shang-Wen Cheng, David Garlan, and Bradley\u00a0R. Schmerl. Evaluating the effectiveness of the rainbow self-adaptive system. In SEAMS\u201909, pages 132\u2013141, 2009.","DOI":"10.1109\/SEAMS.2009.5069082"},{"key":"11_CR22","unstructured":"R.M. Chiulli. Quantitative Analysis: An Introduction. Automation and production systems. 1999."},{"key":"11_CR23","unstructured":"A.\u00a0Choi, A.\u00a0Darwiche, L.\u00a0Zheng, and O.\u00a0J. Mengshoel. A tutorial on Bayesian networks for system health management. In Data Mining in Systems Health Management: Detection, Diagnostics, and Prognostics. 2011."},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Vittorio Cortellessa, Antinisca Di Marco, and Paola Inverardi. Model-Based Software Performance Analysis. Springer, 2011.","DOI":"10.1007\/978-3-642-13621-4"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, and Erika \u00c1brah\u00e1m. SMT-RAT: an open source C++ toolbox for strategic and parallel SMT solving. In SAT, volume 9340 of Lecture Notes in Computer Science, pages 360\u2013368. Springer, 2015.","DOI":"10.1007\/978-3-319-24318-4_26"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Conrado Daws. Symbolic and parametric model checking of discrete-time Markov chains. In ICTAC\u201904, pages 280\u2013294, 2004.","DOI":"10.1007\/978-3-540-31862-0_21"},{"key":"11_CR27","doi-asserted-by":"crossref","unstructured":"Rog\u00e9rio de\u00a0Lemos, Holger Giese, Hausi\u00a0A. M\u00fcller, et\u00a0al. Software engineering for self-adaptive systems: A second research roadmap. In SEfSAS II, pages 1\u201332. 2013.","DOI":"10.1007\/978-3-642-35813-5_1"},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Christian Dehnert, Sebastian Junges, Nils Jansen, et\u00a0al. PROPhESY: A probabilistic parameter synthesis tool. In CAV\u201915, pages 214\u2013231, 2015.","DOI":"10.1007\/978-3-319-21690-4_13"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Antinisca Di\u00a0Marco, Paola Inverardi, and Romina Spalazzese. Synthesizing self-adaptive connectors meeting functional and performance concerns. In SEAMS\u201913, pages 133\u2013142, 2013.","DOI":"10.1109\/SEAMS.2013.6595500"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Ilenia Epifani, Carlo Ghezzi, Raffaela Mirandola, and Giordano Tamburrelli. Model evolution by run-time parameter adaptation. In ICSE\u201909, pages 111\u2013121, 2009.","DOI":"10.1109\/ICSE.2009.5070513"},{"key":"11_CR31","unstructured":"European Commission. Digital Agenda for Europe - Future Internet Research and Experimentation (FIRE) initiative, 2015."},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Antonio Filieri, Carlo Ghezzi, and Giordano Tamburrelli. Run-time efficient probabilistic model checking. In ICSE\u201911, pages 341\u2013350, 2011.","DOI":"10.1145\/1985793.1985840"},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, and David Parker. Automated verification techniques for probabilistic systems. In SFM\u201911, pages 53\u2013113, 2011.","DOI":"10.1007\/978-3-642-21455-4_3"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Simos Gerasimou, Radu Calinescu, and Alec Banks. Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. In SEAMS\u201914, pages 115\u2013124, 2014.","DOI":"10.1145\/2593929.2593932"},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Simos Gerasimou, Giordano Tamburrelli, and Radu Calinescu. Search-based synthesis of probabilistic models for quality-of-service software engineering. In ASE\u201915, pages 319\u2013330, 2015.","DOI":"10.1109\/ASE.2015.22"},{"key":"11_CR36","doi-asserted-by":"crossref","unstructured":"Matthias G\u00fcdemann, Gwen Sala\u00fcn, and Meriem Ouederni. Counterexample guided synthesis of monitors for realizability enforcement. In ATVA\u201912, pages 238\u2013253. 2012.","DOI":"10.1007\/978-3-642-33386-6_20"},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"Ernst\u00a0Moritz Hahn, Holger Hermanns, and Lijun Zhang. Probabilistic reachability for parametric Markov models. Software Tools for Technology Transfer, 13(1):3\u201319, 2010.","DOI":"10.1007\/s10009-010-0146-x"},{"key":"11_CR38","doi-asserted-by":"crossref","unstructured":"Hans Hansson and Bengt Jonsson. A logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5):512\u2013535, 1194.","DOI":"10.1007\/BF01211866"},{"key":"11_CR39","doi-asserted-by":"crossref","unstructured":"Markus\u00a0C. Huebscher and Julie\u00a0A. McCann. A survey of autonomic computing \u2013 degrees, models, and applications. ACM Comput. Surv., 40(3):1\u201328, 2008.","DOI":"10.1145\/1380584.1380585"},{"key":"11_CR40","doi-asserted-by":"crossref","unstructured":"P.\u00a0Inverardi, V.\u00a0Issarny, and R.\u00a0Spalazzese. A Theory of Mediators for Eternal CONNECTors. In ISoLA\u201910, pages 236\u2013250, 2010.","DOI":"10.1007\/978-3-642-16561-0_25"},{"key":"11_CR41","doi-asserted-by":"crossref","unstructured":"P.\u00a0Inverardi, R.\u00a0Spalazzese, and M.\u00a0Tivoli. Application-Layer Connector Synthesis. In SFM\u201911, pages 148\u2013190, 2011.","DOI":"10.1007\/978-3-642-21455-4_5"},{"key":"11_CR42","doi-asserted-by":"crossref","unstructured":"Nils Jansen, Florian Corzilius, Matthias Volk, et\u00a0al. Accelerating parametric probabilistic verification. In QEST\u201911, pages 404\u2013420, 2014.","DOI":"10.1007\/978-3-319-10696-0_31"},{"key":"11_CR43","doi-asserted-by":"crossref","unstructured":"Kenneth Johnson, Radu Calinescu, and Shinji Kikuchi. An incremental verification framework for component-based software systems. In CBSE\u201913, pages 33\u201342, 2013.","DOI":"10.1145\/2465449.2465456"},{"key":"11_CR44","doi-asserted-by":"crossref","unstructured":"Dejan Jovanovic and Leonardo\u00a0Mendon\u00e7a de\u00a0Moura. Solving non-linear arithmetic. In IJCAR, pages 339\u2013354, 2012.","DOI":"10.1007\/978-3-642-31365-3_27"},{"key":"11_CR45","doi-asserted-by":"crossref","unstructured":"Joost-Pieter Katoen, Ivan\u00a0S. Zapreev, Ernst\u00a0Moritz Hahn, et\u00a0al. The ins and outs of the probabilistic model checker MRMC. Performance Evaluation, 68(2):90\u2013104, 2011.","DOI":"10.1016\/j.peva.2010.04.001"},{"key":"11_CR46","unstructured":"D.\u00a0Koller and N.\u00a0Friedman. Probabilistic Graphical Methods: Principles and Techniques. MIT Press, 2009."},{"key":"11_CR47","unstructured":"Samuel Kounev, Xiaoyun Zhu, Jeffrey\u00a0O. Kephart, and Marta Kwiatkowska. Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041). Dagstuhl Reports, 5(1):164\u2013196, 2015."},{"key":"11_CR48","doi-asserted-by":"crossref","unstructured":"Jeff Kramer and Jeff Magee. The evolving philosophers problem: Dynamic change management. IEEE Trans. Softw. Eng., 16(11):1293\u20131306, 1990.","DOI":"10.1109\/32.60317"},{"key":"11_CR49","doi-asserted-by":"crossref","unstructured":"Marta Kwiatkowska. Quantitative verification: models, techniques and tools. In ESEC\/FSE\u201907, pages 449\u2013458, 2007.","DOI":"10.1145\/1287624.1287688"},{"key":"11_CR50","doi-asserted-by":"crossref","unstructured":"Marta Kwiatkowska, Gethin Norman, and David Parker. Prism 4.0: Verification of probabilistic real-time systems. In CAV\u201911, pages 585\u2013591, 2011.","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"11_CR51","doi-asserted-by":"crossref","unstructured":"Sam Malek, Nels Beckman, Marija Mikic-Rakic, and Nenad Medvidovic. A framework for ensuring and improving dependability in highly distributed systems. In Architecting Dependable Systems III, pages 173\u2013193. 2004.","DOI":"10.1007\/11556169_8"},{"key":"11_CR52","doi-asserted-by":"crossref","unstructured":"O.\u00a0J. Mengshoel, M.\u00a0Chavira, K.\u00a0Cascio, et\u00a0al. Probabilistic model-based diagnosis: An electrical power system case study. Systems, Man and Cybernetics, 40(5):874\u2013885, 2010.","DOI":"10.1109\/TSMCA.2010.2052037"},{"key":"11_CR53","unstructured":"O.\u00a0J. Mengshoel and J.\u00a0M. Schumann. Software health management with Bayesian networks. In 2nd Intl. Workshop On Software Health Management, 2011."},{"key":"11_CR54","doi-asserted-by":"crossref","unstructured":"Nicola Nostro, Ronima Spalazzese, Felicita Di Giandomenico, and Paola Inverardi. Achieving functional and non functional interoperability through synthesized connectors. Journal of Systems and Software, pages 185\u2013199, 2016.","DOI":"10.1016\/j.jss.2015.09.038"},{"key":"11_CR55","doi-asserted-by":"crossref","unstructured":"J.\u00a0L. Pastrana, E.\u00a0Pimentel, and M.\u00a0Katrib. QoS-enabled and self-adaptive connectors for web services composition and coordination. Comput. Lang. Syst. Struct., 37(1):2\u201323, 2011.","DOI":"10.1016\/j.cl.2010.07.001"},{"key":"11_CR56","doi-asserted-by":"crossref","unstructured":"Shashank Pathak, Erika \u00c1brah\u00e1m, Nils Jansen, et\u00a0al. A greedy approach for the efficient repair of stochastic models. In NFM\u201915, pages 295\u2013309, 2015.","DOI":"10.1007\/978-3-319-17524-9_21"},{"key":"11_CR57","doi-asserted-by":"crossref","unstructured":"Q.\u00a0Qiu, Q.\u00a0Wu, and M.\u00a0Pedram. Stochastic modeling of a power-managed system: construction and optimization. In Intl. Symp. on Low Power Electronics and Design, pages 194\u2013199, 1999.","DOI":"10.1145\/313817.313923"},{"key":"11_CR58","doi-asserted-by":"crossref","unstructured":"B.\u00a0Ricks and O.\u00a0J. Mengshoel. Diagnosis for uncertain, dynamic and hybrid domains using bayesian networks and arithmetic circuits. Intl. Journal of Approximate Reasoning, 55(5):1207\u20131234, 2014.","DOI":"10.1016\/j.ijar.2014.02.005"},{"key":"11_CR59","doi-asserted-by":"crossref","unstructured":"J.\u00a0Schumann, T.\u00a0Mbaya, and O.\u00a0J. Mengshoel. Bayesian software health management for aircraft guidance, navigation, and control. In Prognostics and Health Management Society, 2011.","DOI":"10.36001\/phmconf.2011.v3i1.2022"},{"key":"11_CR60","doi-asserted-by":"crossref","unstructured":"J.\u00a0Schumann, O.\u00a0J. Mengshoel, and T.\u00a0Mbaya. Integrated software and sensor health management for small spacecraft. In Intl. Conf. on Space Mission Challenges for Information Technology, pages 77\u201384, 2011.","DOI":"10.1109\/SMC-IT.2011.25"},{"key":"11_CR61","doi-asserted-by":"crossref","unstructured":"J.\u00a0Schumann, K.\u00a0Y. Rozier, T.\u00a0Reinbacher, et\u00a0al. Towards real-time, on-board, hardware-supported sensor and software health management for unmanned aerial systems. Intl. Journal of Prognostics and Health Management, 6, 2015.","DOI":"10.36001\/ijphm.2015.v6i1.2243"},{"key":"11_CR62","doi-asserted-by":"crossref","unstructured":"J.\u00a0Schumann, A.\u00a0N. Srivastava, and O.\u00a0J. Mengshoel. Who guards the guardians? toward V&V of health management software. In RV\u201910, pages 399\u2013404, 2010.","DOI":"10.1007\/978-3-642-16612-9_30"},{"key":"11_CR63","doi-asserted-by":"crossref","unstructured":"Romina Spalazzese and Paola Inverardi. Mediating connector patterns for components interoperability. In ECSA\u201910, pages 335\u2013343, 2010.","DOI":"10.1007\/978-3-642-15114-9_26"},{"key":"11_CR64","doi-asserted-by":"crossref","unstructured":"Bridget Spitznagel and David Garlan. A compositional formalization of connector wrappers. In ICSE\u201903, pages 374\u2013384, 2003.","DOI":"10.1109\/ICSE.2003.1201216"},{"key":"11_CR65","unstructured":"A.\u00a0Srivastava and J.\u00a0Han, editors. Data Mining in Systems Health Management: Detection, Diagnostics, and Prognostics. Chapman and Hall\/CRC Press, 2011."},{"key":"11_CR66","doi-asserted-by":"crossref","unstructured":"M.\u00a0Tivoli, P.\u00a0Fradet, A.\u00a0Girault, and G.\u00a0G\u00f6\u00dfler. Adaptor synthesis for real-time components. In TACAS\u201907, pages 185\u2013200, 2007.","DOI":"10.1007\/978-3-540-71209-1_16"},{"key":"11_CR67","doi-asserted-by":"crossref","unstructured":"Daniel\u00a0M. Yellin and Robert\u00a0E. Strom. Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst., 19, 1997.","DOI":"10.1145\/244795.244801"},{"key":"11_CR68","unstructured":"L.\u00a0Zheng and O.\u00a0J. Mengshoel. Exploring multiple dimensions of parallelism in junction tree message passing. In UAI Application Workshops, 2013."},{"key":"11_CR69","doi-asserted-by":"crossref","unstructured":"L.\u00a0Zheng and O.\u00a0J. Mengshoel. Optimizing parallel belief propagation in junction trees using regression. In KDD\u201913, pages 757\u2013765, 2013.","DOI":"10.1145\/2487575.2487611"}],"container-title":["Self-Aware Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47474-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,22]],"date-time":"2024-06-22T00:02:12Z","timestamp":1719014532000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47474-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319474724","9783319474748"],"references-count":69,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47474-8_11","relation":{},"subject":[],"published":{"date-parts":[[2017]]}}}