Franck Grammont

According to our database, Franck Grammont authored at least 9 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

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

Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free.

Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont

Proceedings of the Biomedical Engineering Systems and Technologies, 2018

Computer-aided Formal Proofs about Dendritic Integration within a Neuron.

Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont

Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018), 2018

2017

Modelling and Formal Verification of Neuronal Archetypes Coupling.

Elisabetta De Maria, Thibaud L'Yvonnet, Daniel Gaffé, Annie Ressouche, Franck Grammont

Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics, 2017

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

Proceedings of the International Conference on High Performance Computing & Simulation, 2016

Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems.

Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

2014

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

2003

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