2021
Article dans une revue
- titre
- On the Use of Formal Methods to Model and Verify Neuronal Archetypes
- auteur
- Elisabetta de Maria, Abdorrahim Bahrami, Thibaud L'Yvonnet, Amy Felty, Daniel Gaffé, Annie Ressouche, Franck Grammont
- article
- Frontiers of Computer Science, 2021, 16, pp.28
- Accès au texte intégral et bibtex
-
2019
Chapitre d'ouvrage
- titre
- Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free
- auteur
- Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont
- article
- SPRINGER. Communications in Computer and Information Science book series, extended selected paper from Biomedical Engineering Systems and Technologies conference (BIOSTEC 2018), , pp.167-191, 2019, ⟨10.1007/978-3-030-29196-9_10⟩
- Accès au bibtex
-
2018
Article dans une revue
- titre
- Iterative Specification as a Modeling and Simulation Formalism for I/O General Systems
- auteur
- Alexandre Muzy, Bernard P Zeigler, Franck Grammont
- article
- IEEE Systems Journal, 2018, 12 (3), pp.2982-2993. ⟨10.1109/JSYST.2017.2728861⟩
- Accès au bibtex
-
Communication dans un congrès
- titre
- Computer-Aided Formal Proofs about Dendritic Integration within a Neuron
- auteur
- Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont
- article
- BIOINFORMATICS 2018 - 9th International Conference on Bioinformatics Models, Methods and Algorithms, Jan 2018, Funchal Madeira, Portugal. pp.12
- Accès au bibtex
-
2017
Communication dans un congrès
- titre
- Modelling and Formal Verification of Neuronal Archetypes Coupling
- auteur
- Elisabetta de Maria, Thibaud L 'Yvonnet, Daniel Gaffé, Annie Ressouche, Franck Grammont
- article
- CSBio 2017 - 8th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2017, Nha Trang, Vietnam. pp.3-10, ⟨10.1145/3156346.3156348⟩
- Accès au texte intégral et bibtex
-
2016
Article dans une revue
- titre
- Area-specific development of distinct projection neuron subclasses is regulated by postnatal epigenetic modifications
- auteur
- Franck Grammont, Kawssar Harb, Elia Magrinelli, Céline Nicolas, Nikita Lukianets, Laura Frangeul, Mariel Pietri, Tao Sun, Guillaume Sandoz, Denis Jabaudon, Michèle Studer, Christian Alfano
- article
- eLife, 2016, 5, ⟨10.7554/eLife.09531⟩
- Accès au bibtex
-
- titre
- Area-specific development of distinct projection neuron subclasses is regulated by postnatal epigenetic modifications
- auteur
- Kawssar Harb, Elia Magrinelli, Céline Nicolas, Nikita Lukianets, Laura Frangeul, Mariel Pietri, Tao Sun, Guillaume Sandoz, Franck Grammont, Denis Jabaudon, Michè Le Studer, Christian Alfano
- article
- eLife, 2016, ⟨10.7554/eLife.09531.020⟩
- Accès au texte intégral et bibtex
-
Communication dans un congrès
- titre
- Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems
- auteur
- Elisabetta de Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont
- article
- HSB 2016 - 5th International Workshop Hybrid Systems Biology, Oct 2016, Grenoble, France. pp.15, ⟨10.1007/978-3-319-47151-8_7⟩
- Accès au texte intégral et bibtex
-
- titre
- Parallel and pseudorandom discrete event system specification vs. networks of spiking neurons: Formalization and preliminary implementation results
- auteur
- Alexandre Muzy, Matthieu Lerasle, Franck Grammont, van Toan Dao, David R.C. Hill
- article
- The 2016 International Conference on High Performance Computing & Simulation (HPCS 2016), International Workshop on Parallel Computations for Neural Networks (PCNN 2016), Jul 2016, Innsbruck, Austria
- Accès au texte intégral et bibtex
-
Rapport
- titre
- Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models
- auteur
- Elisabetta de Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont
- article
- [Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21
- Accès au texte intégral et bibtex
-
2014
Article dans une revue
- titre
- Multiple Tests based on a Gaussian Approximation of the Unitary Events method with delayed coincidence count
- auteur
- Christine Tuleau-Malot, Amel Rouis, Franck Grammont, Patricia Reynaud-Bouret
- article
- Neural Computation, 2014, pp.1408-1454. ⟨10.1162/NECO_a_00604⟩
- Accès au texte intégral et bibtex
-
- titre
- Goodness-of-fit tests and nonparametric adaptive estimation for spike train analysis
- auteur
- Patricia Reynaud-Bouret, Vincent Rivoirard, Franck Grammont, Christine Tuleau-Malot
- article
- Journal of Mathematical Neuroscience, 2014, pp.4:3. ⟨10.1186/2190-8567-4-3⟩
- Accès au texte intégral et bibtex
-
- titre
- Goodness-of-Fit Tests and Nonparametric Adaptive Estimation for Spike Train Analysis
- auteur
- Patricia Reynaud-Bouret, Vincent Rivoirard, Franck Grammont, Christine Tuleau-Malot
- article
- Journal of Mathematical Neuroscience, 2014, 4, pp.3 - 330325. ⟨10.1109/TIT.1981.1056305⟩
- Accès au texte intégral et bibtex
-
2013
Communication dans un congrès
- titre
- Tests d'adéquation pour les processus de Poisson et les processus de Hawkes
- auteur
- Christine Malot, Patricia Reynaud-Bouret, Vincent Rivoirard, Franck Grammont
- article
- 45ème Journées de Statistique, May 2013, Toulouse, France. pp
- Accès au texte intégral et bibtex
-
2011
Ouvrages
- titre
- Naturalizing Intention in action
- auteur
- Franck Grammont, Dorothée Legrand, Pierre Livet
- article
- MIT Press. 2011
- Accès au bibtex
-