G. Cybenko, Approximation by superpositions of a sigmoidal function, Mathematics of Control, Signals, and Systems, vol.27, issue.4, pp.303-314, 1989.
DOI : 10.1090/pspum/028.2/0507425

E. De-maria, A. Muzy, D. Gaffé, A. Ressouche, and F. Grammont, Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems, HSB 2016 -5th International Workshop Hybrid Systems Biology, p.15, 2016.
DOI : 10.1007/BF02478259

URL : https://hal.archives-ouvertes.fr/hal-01377288

E. De-maria, A. Muzy, D. Gaffé, A. Ressouche, and F. Grammont, Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01349019

L. Fiack, B. Miramond, and L. Rodriguez, A neural processing unit for self-organizing maps Neuromorphic and Brain-Based Computing Systems, 2015.

G. Hagen and C. Tinelli, Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques, 2008 Formal Methods in Computer-Aided Design, pp.1-9, 2008.
DOI : 10.1109/FMCAD.2008.ECP.19

N. Halbwachs, Synchronous programming of reactive systems, Computer Aided Verification, 10th International Conference, CAV '98 Proceedings, volume 1427 of Lecture Notes in Computer Science, pp.1-16, 1998.

N. Halbwachs, F. Lagnier, and P. Raymond, Synchronous Observers and the Verification of Reactive Systems, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93 Workshops in Computing, 1993.
DOI : 10.1007/978-1-4471-3227-1_8

N. Halbwachs and P. Raymond, Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing, ASIAN'99, Asian Computing Science Conference, 1999.
DOI : 10.1007/3-540-46674-6_1

D. O. Hebb, Organization of behavior. new york: Wiley, The Journal of Physiology, vol.6, issue.307, p.335, 1949.

A. L. Hodgkin and A. F. Huxley, A quantitative description of membrane current and its application to conduction and excitation in nerve, The Journal of Physiology, vol.117, issue.4, pp.500-544, 1952.
DOI : 10.1113/jphysiol.1952.sp004764

E. M. Izhikevich, Which Model to Use for Cortical Spiking Neurons?, IEEE Transactions on Neural Networks, vol.15, issue.5, pp.1063-1070, 2004.
DOI : 10.1109/TNN.2004.832719

B. Jeannet, Dynamic partitioning in linear relation analysis. application to the verification of reactive systems, Formal Methods in System Design, vol.23, issue.1, pp.5-37, 2003.
DOI : 10.1023/A:1024480913162

L. Lapicque, Recherches quantitatives sur l'excitation electrique des nerfs traitee comme une polarization, J Physiol Pathol Gen, vol.9, pp.620-635, 1907.

W. Maas, Networks of spiking neurons: The third generation of neural network models, Neural Networks, vol.10, issue.9, pp.1659-1671, 1997.
DOI : 10.1016/S0893-6080(97)00011-7

W. S. Mcculloch and W. Pitts, A logical calculus of the ideas immanent in nervous activity. The bulletin of mathematical biophysics, pp.115-133, 1943.

H. Paugam-moisy and S. M. Bohte, Computing with Spiking Neuron Networks, Handbook of Natural Computing, pp.335-376
DOI : 10.1007/978-3-540-92910-9_10

URL : https://hal.archives-ouvertes.fr/hal-01587781