{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:43:49Z","timestamp":1742913829834,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471501"},{"type":"electronic","value":"9783319471518"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-47151-8_7","type":"book-chapter","created":{"date-parts":[[2016,9,25]],"date-time":"2016-09-25T16:30:46Z","timestamp":1474821046000},"page":"97-112","source":"Crossref","is-referenced-by-count":8,"title":["Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems"],"prefix":"10.1007","author":[{"given":"Elisabetta","family":"De Maria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Muzy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Gaff\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Annie","family":"Ressouche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franck","family":"Grammont","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,25]]},"reference":[{"unstructured":"Luke webpage. http:\/\/www.it.uu.se\/edu\/course\/homepage\/pins\/vt11\/lustre","key":"7_CR1"},{"unstructured":"Nuxmv webpage. https:\/\/nuxmv.fbk.eu\/","key":"7_CR2"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/3-540-15670-4_19","volume-title":"Seminar on Concurrency","author":"G Berry","year":"1985","unstructured":"Berry, G., Cosserat, L.: The ESTEREL synchronous programming language and its mathematical semantics. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds.) CONCURRENCY 1984. LNCS, vol. 197, pp. 389\u2013448. Springer, Heidelberg (1985). doi: 10.1007\/3-540-15670-4_19"},{"issue":"1","key":"7_CR4","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1109\/TNN.1998.655048","volume":"9","author":"S Das","year":"1998","unstructured":"Das, S.: Elements of artificial neural networks [book reviews]. IEEE Trans. Neural Netw. 9(1), 234\u2013235 (1998)","journal-title":"IEEE Trans. Neural Netw."},{"doi-asserted-by":"crossref","unstructured":"De Maria, E., Muzy, A., Gaff\u00e9, D., Ressouche, A., Grammont, F.: Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models. Research report 8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD, July 2016. https:\/\/hal.inria.fr\/hal-01349019","key":"7_CR5","DOI":"10.1007\/978-3-319-47151-8_7"},{"issue":"1","key":"7_CR6","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.entcs.2005.07.017","volume":"144","author":"A Franz\u00e9n","year":"2006","unstructured":"Franz\u00e9n, A.: Using satisfiability modulo theories for inductive verification of lustre programs. Electron. Notes Theor. Comput. Sci. 144(1), 19\u201333 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"7_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511815706","volume-title":"Spiking Neuron Models: An Introduction","author":"W Gerstner","year":"2002","unstructured":"Gerstner, W., Kistler, W.: Spiking Neuron Models: An Introduction. Cambridge University Press, New York (2002)"},{"doi-asserted-by":"crossref","unstructured":"Hagen, G., Tinelli, C.: Scaling up the formal verification of lustre programs with SMT-based techniques. In: Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, pp. 1\u20139, 17\u201320 November 2008","key":"7_CR8","DOI":"10.1109\/FMCAD.2008.ECP.19"},{"key":"7_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous Programming of Reactive Systems","author":"N Halbwachs","year":"1993","unstructured":"Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer Academic, Dordrecht (1993)"},{"key":"7_CR10","series-title":"Workshops in Computing","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-1-4471-3227-1_8","volume-title":"Algebraic Methodology and Software Technology (AMAST \u201993)","author":"N Halbwachs","year":"1994","unstructured":"Halbwachs, N., Lagnier, F., Raymond, P.: Synchronous observers and the verification of reactive systems. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds.) Algebraic Methodology and Software Technology (AMAST \u201993). Workshops in Computing, pp. 83\u201396. Springer, London (1994)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-46674-6_1","volume-title":"Advances in Computing Science - ASIAN\u201999","author":"N Halbwachs","year":"1999","unstructured":"Halbwachs, N., Raymond, P.: Validation of synchronous reactive systems: from formal verification to automatic testing. In: Thiagarajan, P.S., Yap, R.H.C. (eds.) ASIAN 1999. LNCS, vol. 1742, p. 1. Springer, Heidelberg (1999)"},{"issue":"1","key":"7_CR12","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1024480913162","volume":"23","author":"B Jeannet","year":"2003","unstructured":"Jeannet, B.: Dynamic partitioning in linear relation analysis: application to the verification of reactive systems. Formal Methods Syst. Des. 23(1), 5\u201337 (2003)","journal-title":"Formal Methods Syst. Des."},{"key":"7_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1162\/neco.1996.8.1.1","volume":"8","author":"W Maass","year":"1995","unstructured":"Maass, W., Graz, T.U.: Lower bounds for the computational power of networks of spiking neurons. Neural Comput. 8, 1\u201340 (1995)","journal-title":"Neural Comput."},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-662-49122-5_8","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A Mar\u00e9chal","year":"2016","unstructured":"Mar\u00e9chal, A., Fouilh\u00e9, A., King, T., Monniaux, D., P\u00e9rin, M.: Polyhedral approximation of multivariate polynomials using Handelman\u2019s theorem. In: Jobstmann, B., Leino, K.R.M. (eds.) Verification, Model Checking, and Abstract Interpretation. LNCS, vol. 9583, pp. 166\u2013184. Springer, Heidelberg (2016)"},{"issue":"2","key":"7_CR15","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1038\/nrn1848","volume":"7","author":"H Markram","year":"2006","unstructured":"Markram, H.: The blue brain project. Nat. Rev. Neurosci. 7(2), 153\u2013160 (2006)","journal-title":"Nat. Rev. Neurosci."},{"issue":"5\u20136","key":"7_CR16","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/BF00319514","volume":"56","author":"K Matsuoka","year":"1987","unstructured":"Matsuoka, K.: Mechanisms of frequency and pattern control in the neural rhythm generators. Biol. Cybern. 56(5\u20136), 345\u2013353 (1987)","journal-title":"Biol. Cybern."},{"issue":"4","key":"7_CR17","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF02478259","volume":"5","author":"WS McCulloch","year":"1943","unstructured":"McCulloch, W.S., Pitts, W.: A logical calculus of the ideas immanent in nervous activity. Bull. Math. Biophys. 5(4), 115\u2013133 (1943)","journal-title":"Bull. Math. Biophys."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47151-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T20:24:46Z","timestamp":1568406286000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47151-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471501","9783319471518"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47151-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}