Publications HAL de Franck,GRAMMONT du labo/EPI Jean Alexandre Dieudonné

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
https://hal.science/hal-03053930/file/archetypes-fcs-hal.pdf 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
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
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
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
https://inria.hal.science/hal-01643862/file/DLMG17CSBIO-sigconf-author-paper.pdf 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
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
https://hal.science/hal-01292321/file/elife-09531-v1.pdf 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
https://inria.hal.science/hal-01377288/file/DMGRG16HSBfinal.pdf 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
https://hal.science/hal-01316924/file/neurocomputingMuzyEtAl.pdf 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
https://inria.hal.science/hal-01349019/file/RR-8937.pdf 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
https://hal.science/hal-00757323/file/rev3_mtgaue.pdf 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
https://hal.science/hal-00789127/file/revision_PV.pdf 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
https://hal.science/hal-01100718/file/reviewneuroP.pdf 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
https://hal.science/hal-00914718/file/sfds_tuleau.pdf.pdf BibTex

2011

Ouvrages

titre
Naturalizing Intention in action
auteur
Franck Grammont, Dorothée Legrand, Pierre Livet
article
MIT Press. 2011
Accès au bibtex
BibTex