{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:03:28Z","timestamp":1730275408949,"version":"3.28.0"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,17]],"date-time":"2022-05-17T00:00:00Z","timestamp":1652745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,17]],"date-time":"2022-05-17T00:00:00Z","timestamp":1652745600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5,17]]},"DOI":"10.1109\/isorc52572.2022.9812832","type":"proceedings-article","created":{"date-parts":[[2022,7,6]],"date-time":"2022-07-06T19:42:30Z","timestamp":1657136550000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Utilising Kronecker Algebra to Detect Unexpected Behaviour in Distributed Systems"],"prefix":"10.1109","author":[{"given":"Patrick","family":"Denzler","sequence":"first","affiliation":[{"name":"TU Wien,Institute of Computer Engineering,Vienna,Austria"}]},{"given":"Johann","family":"Blieberger","sequence":"additional","affiliation":[{"name":"TU Wien,Institute of Computer Engineering,Vienna,Austria"}]},{"given":"Wolfgang","family":"Kastner","sequence":"additional","affiliation":[{"name":"TU Wien,Institute of Computer Engineering,Vienna,Austria"}]}],"member":"263","reference":[{"journal-title":"Kronecker Products and Matrix Calculus With Applications","year":"2018","author":"graham","key":"ref39"},{"journal-title":"Tech Rep","article-title":"Shared Memory Concurrent System Verification using Kronecker Algebra","year":"2011","author":"mittermayr","key":"ref38"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.11.007"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44618-4_37"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919093"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2012.6378114"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90278-A"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/317795.317819"},{"key":"ref35","first-page":"298","article-title":"Über eine gewise Determinante","volume":"3","author":"zehfuss","year":"1858","journal-title":"Zeitschrift fü r Mathematik und Physik"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2009.15"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2010.29"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054102000935"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10452-7_2"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503503"},{"key":"ref14","article-title":"Designing a multi-agent solution for a bookstore with the PASSI methodology","volume":"57","author":"burrafato","year":"2002","journal-title":"AOIS CAiSE"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1086\/286529"},{"journal-title":"Emergent Evolution","year":"1923","author":"morgan","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.2307\/2014779"},{"journal-title":"Ph D Dissertation","article-title":"Causal architecture, complexity and self-organization in time series and cellular automata","year":"2001","author":"shalizi","key":"ref18"},{"key":"ref19","first-page":"327","article-title":"Characterizing emergent phenomena (1): a critical review","volume":"9","author":"bonabeau","year":"1995","journal-title":"Revue Internationale de Systémique"},{"journal-title":"ITU-TS Recommendation Z 120 Message Sequence Chart (MSC)","year":"1997","author":"mauw","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s11465-018-0483-0"},{"journal-title":"Object-Oriented Analysis and Design with Applications","year":"1994","author":"booch","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.06.143"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2021.03.001"},{"journal-title":"From MSCs to Statecharts","first-page":"61","year":"1999","author":"kr\u00fcger","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.cirp.2021.05.008"},{"key":"ref8","first-page":"96","article-title":"Emergence and self-organisation: a statement of similarities and differences","author":"de wolf","year":"2004","journal-title":"Proceedings of the International Workshop on Engineering Self-Organising Applications 2004"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3019597"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45117-6_33"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74240-1_8"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2523639"},{"key":"ref20","first-page":"347","article-title":"Characterizing emergent phenomena (2): a conceptual framework","volume":"9","author":"bonabeau","year":"1995","journal-title":"Revue Internationale de Systémique"},{"key":"ref22","first-page":"1","article-title":"Artificial life","volume":"vi","author":"langton","year":"1989","journal-title":"Artificial Life"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1086\/289163"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.3406\/intel.1997.1559"},{"journal-title":"The Society of Mind","year":"1988","author":"minsky","key":"ref23"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1080\/00221309.1947.9918144","article-title":"Principles of the self-organizing dynamic system","volume":"37","author":"w r a m d","year":"1947","journal-title":"The Journal of General Psychology"},{"journal-title":"Ph D Dissertation","article-title":"On the design of devices with emergent semantic functions","year":"1989","author":"cariani","key":"ref25"}],"event":{"name":"2022 IEEE 25th International Symposium On Real-Time Distributed Computing (ISORC)","start":{"date-parts":[[2022,5,17]]},"location":"V\u00e4ster\u00e5s, Sweden","end":{"date-parts":[[2022,5,18]]}},"container-title":["2022 IEEE 25th International Symposium On Real-Time Distributed Computing (ISORC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9812705\/9812710\/09812832.pdf?arnumber=9812832","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,5]],"date-time":"2022-08-05T00:45:57Z","timestamp":1659660357000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9812832\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,17]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/isorc52572.2022.9812832","relation":{},"subject":[],"published":{"date-parts":[[2022,5,17]]}}}
