Franck Grammont

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
On the use of formal methods to model and verify neuronal archetypes.
Frontiers Comput. Sci., 2022

2018
Iterative Specification as a Modeling and Simulation Formalism for I/O General Systems.
IEEE Syst. J., 2018

Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free.
Proceedings of the Biomedical Engineering Systems and Technologies, 2018

Computer-aided Formal Proofs about Dendritic Integration within a Neuron.
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.
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.
Proceedings of the International Conference on High Performance Computing & Simulation, 2016

Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems.
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.
Neural Comput., 2014

2003
Spike synchronization and firing rate in a population of motor cortical neurons in relation to movement direction and reaction time.
Biol. Cybern., 2003


  Loading...