Spike synchronization and firing rate in a population of motor cortical neurons in relation to movement direction and reaction time. - Franck Grammont; Alexa Riehle (Biol. Cybern., 2003)

Multiple Tests Based on a Gaussian Approximation of the Unitary Events Method with Delayed Coincidence Count. - Christine Tuleau-Malot; Amel Rouis; Franck Grammont; Patricia Reynaud-Bouret (Neural Comput., 2014)

Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems. - Elisabetta De Maria; Alexandre Muzy; Daniel Gaffé; Annie Ressouche; Franck Grammont (HSB, 2016)

Parallel and pseudorandom discrete event system specification vs. networks of spiking neurons: Formalization and preliminary implementation results. - Alexandre Muzy; Matthieu Lerasle; Franck Grammont; Van Toan Dao; David R. C. Hill (HPCS, 2016)

Modelling and Formal Verification of Neuronal Archetypes Coupling. - Elisabetta De Maria; Thibaud L'Yvonnet; Daniel Gaffé; Annie Ressouche; Franck Grammont (CSBio, 2017)

Computer-aided Formal Proofs about Dendritic Integration within a Neuron. - Ophélie Guinaudeau; Gilles Bernot; Alexandre Muzy; Daniel Gaffé; Franck Grammont (BIOINFORMATICS, 2018)

Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free. - Ophélie Guinaudeau; Gilles Bernot; Alexandre Muzy; Daniel Gaffé; Franck Grammont (BIOSTEC (Selected Papers), 2018)

Iterative Specification as a Modeling and Simulation Formalism for I/O General Systems. - Alexandre Muzy; Bernard P. Zeigler; Franck Grammont (IEEE Syst. J., 2018)

On the use of formal methods to model and verify neuronal archetypes. - Elisabetta De Maria; Abdorrahim Bahrami; Thibaud L'Yvonnet; Amy P. Felty; Daniel Gaffé; Annie Ressouche; Franck Grammont (Frontiers Comput. Sci., 2022)