Franck Grammont

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 7

Top Topics

Capsule Endoscopy

Reactive Systems

Temporal Properties

Top Venues

BIOSTEC (Selected Papers)

Publications

Elisabetta De Maria, Abdorrahim Bahrami, Thibaud L'Yvonnet, Amy P. Felty, Daniel Gaffé, Annie Ressouche, Franck Grammont
On the use of formal methods to model and verify neuronal archetypes. Frontiers Comput. Sci. 16 (3) (2022)
Alexandre Muzy, Bernard P. Zeigler, Franck Grammont
Iterative Specification as a Modeling and Simulation Formalism for I/O General Systems. IEEE Syst. J. 12 (3) (2018)
Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont
Computer-aided Formal Proofs about Dendritic Integration within a Neuron. BIOINFORMATICS (2018)
Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont
Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free. BIOSTEC (Selected Papers) (2018)
Elisabetta De Maria, Thibaud L'Yvonnet, Daniel Gaffé, Annie Ressouche, Franck Grammont
Modelling and Formal Verification of Neuronal Archetypes Coupling. CSBio (2017)
Alexandre Muzy, Matthieu Lerasle, Franck Grammont, Van Toan Dao, David R. C. Hill
Parallel and pseudorandom discrete event system specification vs. networks of spiking neurons: Formalization and preliminary implementation results. HPCS (2016)
Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont
Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems. HSB (2016)
Christine Tuleau-Malot, Amel Rouis, Franck Grammont, Patricia Reynaud-Bouret
Multiple Tests Based on a Gaussian Approximation of the Unitary Events Method with Delayed Coincidence Count. Neural Comput. 26 (7) (2014)