{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:03Z","timestamp":1750220343572,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T00:00:00Z","timestamp":1648425600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003185","name":"Fraunhofer-Gesellschaft","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,3,28]]},"DOI":"10.1145\/3517343.3517362","type":"proceedings-article","created":{"date-parts":[[2022,5,4]],"date-time":"2022-05-04T07:28:08Z","timestamp":1651649288000},"page":"61-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and analyzing neuromorphic SNNs as discrete event systems"],"prefix":"10.1145","author":[{"given":"Johannes","family":"Leugering","sequence":"first","affiliation":[{"name":"Fraunhofer Institute for Integrated Circuits, Germany"}]}],"member":"320","published-online":{"date-parts":[[2022,5,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"volume-title":"SystemC: From the Ground Up, David\u00a0C","author":"Black C.","key":"e_1_3_2_1_2_1","unstructured":"David\u00a0 C. Black , Jack Donovan , Bill Bunton , and Anna Keist . 2010. Overview of SystemC . In SystemC: From the Ground Up, David\u00a0C . Black, Jack Donovan, Bill Bunton, and Anna Keist (Eds.). Springer US , Boston, MA , 19\u201330. https:\/\/doi.org\/10.1007\/978-0-387-69958-5_2 10.1007\/978-0-387-69958-5_2 David\u00a0C. Black, Jack Donovan, Bill Bunton, and Anna Keist. 2010. Overview of SystemC. In SystemC: From the Ground Up, David\u00a0C. Black, Jack Donovan, Bill Bunton, and Anna Keist (Eds.). Springer US, Boston, MA, 19\u201330. https:\/\/doi.org\/10.1007\/978-0-387-69958-5_2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10827-007-0038-6"},{"key":"e_1_3_2_1_4_1","volume-title":"Cassandras and St\u00e9phane Lafortune","author":"G.","year":"2021","unstructured":"Christos\u00a0 G. Cassandras and St\u00e9phane Lafortune . 2021 . Introduction to Discrete-Event Simulation. In Introduction to Discrete Event Systems. Springer International Publishing , Cham, 593\u2013651. https:\/\/doi.org\/10.1007\/978-3-030-72274-6_10 10.1007\/978-3-030-72274-6_10 Christos\u00a0G. Cassandras and St\u00e9phane Lafortune. 2021. Introduction to Discrete-Event Simulation. In Introduction to Discrete Event Systems. Springer International Publishing, Cham, 593\u2013651. https:\/\/doi.org\/10.1007\/978-3-030-72274-6_10"},{"volume-title":"Introduction to discrete event systems","author":"Cassandras G","key":"e_1_3_2_1_5_1","unstructured":"Christos\u00a0 G Cassandras and St\u00e9phane Lafortune . 2021. Introduction to discrete event systems . Springer Nature , Switzerland . https:\/\/doi.org\/10.1007\/978-3-030-72274-6 OCLC: 1242796896. 10.1007\/978-3-030-72274-6 Christos\u00a0G Cassandras and St\u00e9phane Lafortune. 2021. Introduction to discrete event systems. Springer Nature, Switzerland. https:\/\/doi.org\/10.1007\/978-3-030-72274-6 OCLC: 1242796896."},{"key":"e_1_3_2_1_6_1","volume-title":"Cassandras and St\u00e9phane Lafortune","author":"G.","year":"2021","unstructured":"Christos\u00a0 G. Cassandras and St\u00e9phane Lafortune . 2021 . Petri Nets. In Introduction to Discrete Event Systems. Springer International Publishing , Cham, 259\u2013302. https:\/\/doi.org\/10.1007\/978-3-030-72274-6_4 10.1007\/978-3-030-72274-6_4 Christos\u00a0G. Cassandras and St\u00e9phane Lafortune. 2021. Petri Nets. In Introduction to Discrete Event Systems. Springer International Publishing, Cham, 259\u2013302. https:\/\/doi.org\/10.1007\/978-3-030-72274-6_4"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.1993.343220"},{"key":"e_1_3_2_1_8_1","unstructured":"Giovanni Ciatto Elisabetta De\u00a0Maria and Cinzia Di\u00a0Giusto. 2017. Modeling Third Generation Neural Networks as Timed Automata and verifying their behavior through Temporal Logic. Research Report. Universit\u00e9 C\u00f4te d\u2019Azur CNRS I3S France. https:\/\/hal.archives-ouvertes.fr\/hal-01473941  Giovanni Ciatto Elisabetta De\u00a0Maria and Cinzia Di\u00a0Giusto. 2017. Modeling Third Generation Neural Networks as Timed Automata and verifying their behavior through Temporal Logic. Research Report. Universit\u00e9 C\u00f4te d\u2019Azur CNRS I3S France. https:\/\/hal.archives-ouvertes.fr\/hal-01473941"},{"key":"#cr-split#-e_1_3_2_1_9_1.1","doi-asserted-by":"crossref","unstructured":"Edmund\u00a0M. Clarke Thomas\u00a0A. Henzinger Helmut Veith and Roderick Bloem (Eds.). 2018. Handbook of Model Checking. Springer International Publishing Cham. https:\/\/doi.org\/10.1007\/978-3-319-10575-8 10.1007\/978-3-319-10575-8","DOI":"10.1007\/978-3-319-10575-8"},{"key":"#cr-split#-e_1_3_2_1_9_1.2","doi-asserted-by":"crossref","unstructured":"Edmund\u00a0M. Clarke Thomas\u00a0A. Henzinger Helmut Veith and Roderick Bloem (Eds.). 2018. Handbook of Model Checking. Springer International Publishing Cham. https:\/\/doi.org\/10.1007\/978-3-319-10575-8","DOI":"10.1007\/978-3-319-10575-8"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551274"},{"key":"e_1_3_2_1_11_1","first-page":"5","article-title":"Advancing Neuromorphic Computing With Loihi","volume":"109","author":"Davies Mike","year":"2021","unstructured":"Mike Davies , Andreas Wild , Garrick Orchard , Yulia Sandamirskaya , Gabriel A.\u00a0 Fonseca Guerra , Prasad Joshi , Philipp Plank , and Sumedh\u00a0 R. Risbud . 2021 . Advancing Neuromorphic Computing With Loihi : A Survey of Results and Outlook. Proc. IEEE 109 , 5 (May 2021), 911\u2013934. https:\/\/doi.org\/10.1109\/JPROC.2021.3067593 10.1109\/JPROC.2021.3067593 Mike Davies, Andreas Wild, Garrick Orchard, Yulia Sandamirskaya, Gabriel A.\u00a0Fonseca Guerra, Prasad Joshi, Philipp Plank, and Sumedh\u00a0R. Risbud. 2021. Advancing Neuromorphic Computing With Loihi: A Survey of Results and Outlook. Proc. IEEE 109, 5 (May 2021), 911\u2013934. https:\/\/doi.org\/10.1109\/JPROC.2021.3067593","journal-title":"A Survey of Results and Outlook. Proc. IEEE"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3156346.3156350"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-019-09727-9"},{"key":"e_1_3_2_1_14_1","first-page":"2","article-title":"Spiking Neural P Systems","volume":"71","author":"Ionescu Mihai","year":"2006","unstructured":"Mihai Ionescu , Gheorghe P\u0103un , and Takashi Yokomori . 2006 . Spiking Neural P Systems . Fundamenta Informaticae 71 , 2 - 3 (Jan. 2006), 279\u2013308. https:\/\/content.iospress.com\/articles\/fundamenta-informaticae\/fi71-2-3-08 Mihai Ionescu, Gheorghe P\u0103un, and Takashi Yokomori. 2006. Spiking Neural P Systems. Fundamenta Informaticae 71, 2-3 (Jan. 2006), 279\u2013308. https:\/\/content.iospress.com\/articles\/fundamenta-informaticae\/fi71-2-3-08","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1088\/2634-4386\/abf151"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2004.04.001"},{"key":"#cr-split#-e_1_3_2_1_18_1.1","doi-asserted-by":"crossref","unstructured":"Elisabetta\u00a0De Maria and Cinzia\u00a0Di Giusto. 2018. Parameter Learning for Spiking Neural Networks Modelled as Timed Automata Vol.\u00a02. SCITEPRESS 17-28. https:\/\/doi.org\/10.5220\/0006530300170028 10.5220\/0006530300170028","DOI":"10.5220\/0006530300170028"},{"key":"#cr-split#-e_1_3_2_1_18_1.2","doi-asserted-by":"crossref","unstructured":"Elisabetta\u00a0De Maria and Cinzia\u00a0Di Giusto. 2018. Parameter Learning for Spiking Neural Networks Modelled as Timed Automata Vol.\u00a02. SCITEPRESS 17-28. https:\/\/doi.org\/10.5220\/0006530300170028","DOI":"10.5220\/0006530300170028"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1088\/2634-4386\/ac0242"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2009.5179043"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.3389\/fnins.2018.00774"},{"volume-title":"Time and Petri Nets","author":"Popova-Zeugmann Louchka","key":"e_1_3_2_1_22_1","unstructured":"Louchka Popova-Zeugmann . 2013. Time and Petri Nets . Springer Science & Business Media . Louchka Popova-Zeugmann. 2013. Time and Petri Nets. Springer Science & Business Media."}],"event":{"name":"NICE 2022: Neuro-Inspired Computational Elements Conference","acronym":"NICE 2022","location":"Virtual Event USA"},"container-title":["Neuro-Inspired Computational Elements Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3517343.3517362","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3517343.3517362","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:16:59Z","timestamp":1750191419000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3517343.3517362"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,28]]},"references-count":23,"alternative-id":["10.1145\/3517343.3517362","10.1145\/3517343"],"URL":"https:\/\/doi.org\/10.1145\/3517343.3517362","relation":{},"subject":[],"published":{"date-parts":[[2022,3,28]]},"assertion":[{"value":"2022-05-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}