Daniel Gaffé

18 papers A* 1C 1Misc 1Journal 3Unranked 11
YearRankTypeTitle / Venue / Authors
2022 J jnl
On the use of formal methods to model and verify neuronal archetypes.
Frontiers Comput. Sci.
Elisabetta De Maria, Abdorrahim Bahrami, Thibaud L'Yvonnet, Amy P. Felty, Daniel Gaffé, Annie Ressouche, Franck Grammont
2019 — conf
Synchronous approach for modeling spiking neurons.
BioCAS
Marino Rasamuel, Daniel Gaffé, Timothée Levi, Benoît Miramond
2018 — conf
A Model-checking Approach to Reduce Spiking Neural Networks.
BIOINFORMATICS
Elisabetta De Maria, Daniel Gaffé, Cédric Girard Riboulleau, Annie Ressouche
2018 — conf
A Synchronous Approach to Activity Recognition.
ICSC
Ines Sarray, Jean-Paul Rigault, Sabine Moisan, Daniel Gaffé
2018 — conf
Computer-aided Formal Proofs about Dendritic Integration within a Neuron.
BIOINFORMATICS
Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont
2018 — conf
Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free.
BIOSTEC (Selected Papers)
Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont
2017 — conf
An activity description language for activity recognition.
IINTEC
Ines Sarray, Annie Ressouche, Sabine Moisan, Jean-Paul Rigault, Daniel Gaffé
2017 — conf
Modelling and Formal Verification of Neuronal Archetypes Coupling.
CSBio
Elisabetta De Maria, Thibaud L'Yvonnet, Daniel Gaffé, Annie Ressouche, Franck Grammont
2016 — conf
Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems.
HSB
Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont
2016 — conf
Wireless sensor network protocol property validation through the system's simulation in a dedicated framework.
ICSPCS
Calypso Barnes, François Verdier, Alain Pegatoquet, Daniel Gaffé, Jean-Marie Cottin
2015 — conf
Safe Composition in Middleware for the Internet of Things.
M4IoT@Middleware
Ines Sarray, Annie Ressouche, Daniel Gaffé, Jean-Yves Tigli, Stephane Lavirotte
2014 C conf
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems.
ICTSS
Mariem Abdelmoula, Daniel Gaffé, Michel Auguin
2013 Misc conf
Algebraic Framework for Synchronous Language Semantics.
TASE
Daniel Gaffé, Annie Ressouche
2011 J jnl
Compilation modulaire d'un langage synchrone Spécification, simulation, implémentation et vérification d'applications synchrones.
Tech. Sci. Informatiques
Daniel Gaffé, Annie Ressouche
2008 J jnl
Modular Compilation of a Synchronous Language
CoRR
Annie Ressouche, Daniel Gaffé, Valérie Roy
2008 A* conf
The Clem Toolkit.
ASE
Daniel Gaffé, Annie Ressouche
2000 — conf
Concurrent Control Systems: From Grafcet to VHDL.
EUROMICRO
Frédéric Mallet, Daniel Gaffé, Fernand Boéri
1996 — —
Le modèle de Grafcet: réflexion et intégration dans une plate-forme multiformalisme synchrone. (The grafcet model: Discussion and integration in a multiformalism synchronous platform).
Daniel Gaffé