Daniel Gaffé

Publication Activity (10 Years)

Years Active: 2000-2022
Publications (10 Years): 10

Top Topics

Activity Recognition

Description Language

Reactive Systems

Temporal Properties

Top Venues

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)
Marino Rasamuel, Daniel Gaffé, Timothée Levi, Benoît Miramond
Synchronous approach for modeling spiking neurons. BioCAS (2019)
Elisabetta De Maria, Daniel Gaffé, Cédric Girard Riboulleau, Annie Ressouche
A Model-checking Approach to Reduce Spiking Neural Networks. BIOINFORMATICS (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)
Ines Sarray, Jean-Paul Rigault, Sabine Moisan, Daniel Gaffé
A Synchronous Approach to Activity Recognition. ICSC (2018)
Elisabetta De Maria, Thibaud L'Yvonnet, Daniel Gaffé, Annie Ressouche, Franck Grammont
Modelling and Formal Verification of Neuronal Archetypes Coupling. CSBio (2017)
Ines Sarray, Annie Ressouche, Sabine Moisan, Jean-Paul Rigault, Daniel Gaffé
An activity description language for activity recognition. IINTEC (2017)
Calypso Barnes, François Verdier, Alain Pegatoquet, Daniel Gaffé, Jean-Marie Cottin
Wireless sensor network protocol property validation through the system's simulation in a dedicated framework. ICSPCS (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)
Ines Sarray, Annie Ressouche, Daniel Gaffé, Jean-Yves Tigli, Stephane Lavirotte
Safe Composition in Middleware for the Internet of Things. M4IoT@Middleware (2015)
Mariem Abdelmoula, Daniel Gaffé, Michel Auguin
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems. ICTSS (2014)
Daniel Gaffé, Annie Ressouche
Algebraic Framework for Synchronous Language Semantics. TASE (2013)
Daniel Gaffé, Annie Ressouche
Compilation modulaire d'un langage synchrone Spécification, simulation, implémentation et vérification d'applications synchrones. Tech. Sci. Informatiques 30 (4) (2011)
Annie Ressouche, Daniel Gaffé, Valérie Roy
Modular Compilation of a Synchronous Language CoRR (2008)
Daniel Gaffé, Annie Ressouche
The Clem Toolkit. ASE (2008)
Frédéric Mallet, Daniel Gaffé, Fernand Boéri
Concurrent Control Systems: From Grafcet to VHDL. EUROMICRO (2000)