Daniel Gaffé

According to our database, Daniel Gaffé authored at least 18 papers between 1996 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

On the use of formal methods to model and verify neuronal archetypes.

Elisabetta De Maria, Abdorrahim Bahrami, Thibaud L'Yvonnet, Amy P. Felty, Daniel Gaffé, Annie Ressouche, Franck Grammont

Frontiers Comput. Sci., 2022

2019

Synchronous approach for modeling spiking neurons.

Marino Rasamuel, Daniel Gaffé, Timothée Levi, Benoît Miramond

Proceedings of the 2019 IEEE Biomedical Circuits and Systems Conference, 2019

2018

A Synchronous Approach to Activity Recognition.

Ines Sarray, Jean-Paul Rigault, Sabine Moisan, Daniel Gaffé

Proceedings of the 12th IEEE International Conference on Semantic Computing, 2018

A Model-checking Approach to Reduce Spiking Neural Networks.

Elisabetta De Maria, Daniel Gaffé, Cédric Girard Riboulleau, Annie Ressouche

Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018), 2018

Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free.

Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont

Proceedings of the Biomedical Engineering Systems and Technologies, 2018

Computer-aided Formal Proofs about Dendritic Integration within a Neuron.

Ophélie Guinaudeau, Gilles Bernot, Alexandre Muzy, Daniel Gaffé, Franck Grammont

Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2018), 2018

2017

An activity description language for activity recognition.

Ines Sarray, Annie Ressouche, Sabine Moisan, Jean-Paul Rigault, Daniel Gaffé

Proceedings of the International Conference on Internet of Things, 2017

Modelling and Formal Verification of Neuronal Archetypes Coupling.

Elisabetta De Maria, Thibaud L'Yvonnet, Daniel Gaffé, Annie Ressouche, Franck Grammont

Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics, 2017

2016

Wireless sensor network protocol property validation through the system's simulation in a dedicated framework.

Calypso Barnes, François Verdier, Alain Pegatoquet, Daniel Gaffé, Jean-Marie Cottin

Proceedings of the 10th International Conference on Signal Processing and Communication Systems, 2016

Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems.

Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

2015

Safe Composition in Middleware for the Internet of Things.

Ines Sarray, Annie Ressouche, Daniel Gaffé, Jean-Yves Tigli, Stephane Lavirotte

Proceedings of the 2nd Workshop on Middleware for Context-Aware Applications in the IoT, 2015

2014

AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems.

Mariem Abdelmoula, Daniel Gaffé, Michel Auguin

Proceedings of the Testing Software and Systems, 2014

2013

Algebraic Framework for Synchronous Language Semantics.

Daniel Gaffé, Annie Ressouche

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

2011

Compilation modulaire d'un langage synchrone Spécification, simulation, implémentation et vérification d'applications synchrones.

Daniel Gaffé, Annie Ressouche

Tech. Sci. Informatiques, 2011

2008

Modular Compilation of a Synchronous Language

Annie Ressouche, Daniel Gaffé, Valérie Roy

CoRR, 2008

The Clem Toolkit.

Daniel Gaffé, Annie Ressouche

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2000

Concurrent Control Systems: From Grafcet to VHDL.

Frédéric Mallet, Daniel Gaffé, Fernand Boéri

Proceedings of the 26th EUROMICRO 2000 Conference, 2000

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é

PhD thesis, 1996