{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:13Z","timestamp":1750306273683,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,12,7]],"date-time":"2017-12-07T00:00:00Z","timestamp":1512604800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,12,7]]},"DOI":"10.1145\/3156346.3156348","type":"proceedings-article","created":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T14:50:46Z","timestamp":1513176646000},"page":"3-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Modelling and Formal Verification of Neuronal Archetypes Coupling"],"prefix":"10.1145","author":[{"given":"Elisabetta","family":"De Maria","sequence":"first","affiliation":[{"name":"Universit\u00e9 C\u00f4te d'Azur, CNRS, France"}]},{"given":"Thibaud","family":"L'Yvonnet","sequence":"additional","affiliation":[{"name":"Universit\u00e9 C\u00f4te d'Azur, CNRS, France"}]},{"given":"Daniel","family":"Gaff\u00e9","sequence":"additional","affiliation":[{"name":"Universit\u00e9 C\u00f4te d'Azur, CNRS, LEAT, France"}]},{"given":"Annie","family":"Ressouche","sequence":"additional","affiliation":[{"name":"Universit\u00e9 C\u00f4te d'Azur, INRIA, France"}]},{"given":"Franck","family":"Grammont","sequence":"additional","affiliation":[{"name":"Universit\u00e9 C\u00f4te d'Azur, CNRS, LJAD, France"}]}],"member":"320","published-online":{"date-parts":[[2017,12,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551274"},{"volume-title":"HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings, Eugenio Cinquemani and Alexandre Donz\u00e9 (Eds.). 97--112","author":"De Maria E.","key":"e_1_3_2_1_2_1","unstructured":"E. De Maria , A. Muzy , D. Gaff\u00e9 , A. Ressouche , and F. Grammont . 2016. Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems. In Hybrid Systems Biology - 5th International Workshop , HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings, Eugenio Cinquemani and Alexandre Donz\u00e9 (Eds.). 97--112 . E. De Maria, A. Muzy, D. Gaff\u00e9, A. Ressouche, and F. Grammont. 2016. Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems. In Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings, Eugenio Cinquemani and Alexandre Donz\u00e9 (Eds.). 97--112."},{"key":"e_1_3_2_1_3_1","volume-title":"Research Report 8937. UCA, Inria","author":"De Maria E.","year":"2016","unstructured":"E. De Maria , A. Muzy , D. Gaff\u00e9 , A. Ressouche , and F. Grammont . 2016 . Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models. Research Report 8937. UCA, Inria ; UCA, I3S; UCA, LEAT; UCA, LJAD. 21 pages. https:\/\/hal.inria.fr\/hal-01349019 E. De Maria, A. Muzy, D. Gaff\u00e9, A. Ressouche, and F. Grammont. 2016. Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models. Research Report 8937. UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 21 pages. https:\/\/hal.inria.fr\/hal-01349019"},{"volume-title":"Workshop on \"Neuromorphic and Brain-Based Computing Systems\"","author":"Fiack L.","key":"e_1_3_2_1_4_1","unstructured":"L. Fiack , B. Miramond , and L. Rodriguez . 2015. A neural processing unit for self-organizing maps . In Workshop on \"Neuromorphic and Brain-Based Computing Systems\" . Grenoble, France. L. Fiack, B. Miramond, and L. Rodriguez. 2015. A neural processing unit for self-organizing maps. In Workshop on \"Neuromorphic and Brain-Based Computing Systems\". Grenoble, France."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"G. Hagen and C. Tinelli. 2008. Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques. In 2008 Formal Methods in Computer-Aided Design. 1--9.   G. Hagen and C. Tinelli. 2008. Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques. In 2008 Formal Methods in Computer-Aided Design. 1--9.","DOI":"10.1109\/FMCAD.2008.ECP.19"},{"key":"e_1_3_2_1_6_1","volume-title":"10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings (Lecture Notes in Computer Science), Alan J. Hu and Moshe Y. Vardi (Eds.)","volume":"1427","author":"Halbwachs N.","year":"1998","unstructured":"N. Halbwachs . 1998 . Synchronous Programming of Reactive Systems. In Computer Aided Verification , 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings (Lecture Notes in Computer Science), Alan J. Hu and Moshe Y. Vardi (Eds.) , Vol. 1427 . Springer, 1--16. N. Halbwachs. 1998. Synchronous Programming of Reactive Systems. In Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings (Lecture Notes in Computer Science), Alan J. Hu and Moshe Y. Vardi (Eds.), Vol. 1427. Springer, 1--16."},{"volume-title":"Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93","author":"Halbwachs N.","key":"e_1_3_2_1_7_1","unstructured":"N. Halbwachs , F. Lagnier , and P. Raymond . 1993. Synchronous observers and the verification of reactive systems . In Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93 , M. Nivat, C. Rattray, T. Rus, and G. Scollo (Eds.). Workshops in Computing, Springer Verlag, Twente. N. Halbwachs, F. Lagnier, and P. Raymond. 1993. Synchronous observers and the verification of reactive systems. In Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, M. Nivat, C. Rattray, T. Rus, and G. Scollo (Eds.). Workshops in Computing, Springer Verlag, Twente."},{"volume-title":"ASIAN'99","author":"Halbwachs N.","key":"e_1_3_2_1_8_1","unstructured":"N. Halbwachs and P. Raymond . 1999. Validation of Synchronous Reactive Systems: from Formal Verification to Automatic Testing . In ASIAN'99 , Asian Computing Science Conference. LNCS 1742, Springer Verlag, Phuket (Thailand). N. Halbwachs and P. Raymond. 1999. Validation of Synchronous Reactive Systems: from Formal Verification to Automatic Testing. In ASIAN'99, Asian Computing Science Conference. LNCS 1742, Springer Verlag, Phuket (Thailand)."},{"key":"e_1_3_2_1_9_1","first-page":"335","article-title":"Organization of behavior. New York: Wiley","volume":"6","author":"Hebb D. O.","year":"1949","unstructured":"D. O. Hebb . 1949 . Organization of behavior. New York: Wiley . The Journal of Physiology 6 , 307 (1949), 335 . D. O. Hebb. 1949. Organization of behavior. New York: Wiley. The Journal of Physiology 6, 307 (1949), 335.","journal-title":"The Journal of Physiology"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1113\/jphysiol.1952.sp004764"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2004.832719"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024480913162"},{"key":"e_1_3_2_1_13_1","first-page":"620","article-title":"Recherches quantitatives sur l'excitation electrique des nerfs traitee comme une polarization","volume":"9","author":"Lapicque L.","year":"1907","unstructured":"L. Lapicque . 1907 . Recherches quantitatives sur l'excitation electrique des nerfs traitee comme une polarization . J Physiol Pathol Gen 9 (1907), 620 -- 635 . L. Lapicque. 1907. Recherches quantitatives sur l'excitation electrique des nerfs traitee comme une polarization. J Physiol Pathol Gen 9 (1907), 620--635.","journal-title":"J Physiol Pathol Gen"},{"key":"e_1_3_2_1_14_1","first-page":"4","article-title":"Networks of Spiking Neurons: The Third Generation of Neural Network Models","volume":"14","author":"Maas W.","year":"1997","unstructured":"W. Maas . 1997 . Networks of Spiking Neurons: The Third Generation of Neural Network Models . Trans. Soc. Comput. Simul. Int. 14 , 4 (Dec. 1997), 1659--1671. W. Maas. 1997. Networks of Spiking Neurons: The Third Generation of Neural Network Models. Trans. Soc. Comput. Simul. Int. 14, 4 (Dec. 1997), 1659--1671.","journal-title":"Trans. Soc. Comput. Simul. Int."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"W. S. McCulloch and W. Pitts. 1943. A logical calculus of the ideas immanent in nervous activity. The bulletin of mathematical biophysics 5 4 (1943) 115--133.  W. S. McCulloch and W. Pitts. 1943. A logical calculus of the ideas immanent in nervous activity. The bulletin of mathematical biophysics 5 4 (1943) 115--133.","DOI":"10.1007\/BF02478259"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"H. Paugam-Moisy and S. M. Bohte. 2012. Computing with Spiking Neuron Networks. In Handbook of Natural Computing. 335--376.  H. Paugam-Moisy and S. M. Bohte. 2012. Computing with Spiking Neuron Networks. In Handbook of Natural Computing. 335--376.","DOI":"10.1007\/978-3-540-92910-9_10"},{"key":"e_1_3_2_1_17_1","unstructured":"D. Purves G. J. Augustine D. Fitzpatrick W. C. Hall A.S. LaMantia J. O. McNamara and S. M. Williams (Eds.). 2006. Neuroscience (3rd ed.). Sinauer Associates Inc.  D. Purves G. J. Augustine D. Fitzpatrick W. C. Hall A.S. LaMantia J. O. McNamara and S. M. Williams (Eds.). 2006. Neuroscience (3rd ed.). Sinauer Associates Inc."}],"event":{"name":"CSBio '17: 8th International Conference on Computational Systems-Biology and Bioinformatics","sponsor":["SOICT School of Information and Communication Technology - HUST","NAFOSTED The National Foundation for Science and Technology Development","KMUTT King Mongkut's University of Technology Thonburi"],"location":"Nha Trang City Viet Nam","acronym":"CSBio '17"},"container-title":["Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3156346.3156348","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3156346.3156348","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:38:44Z","timestamp":1750221524000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3156346.3156348"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,7]]},"references-count":17,"alternative-id":["10.1145\/3156346.3156348","10.1145\/3156346"],"URL":"https:\/\/doi.org\/10.1145\/3156346.3156348","relation":{},"subject":[],"published":{"date-parts":[[2017,12,7]]},"assertion":[{"value":"2017-12-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}