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é (1996)

Concurrent Control Systems: From Grafcet to VHDL. - Frédéric Mallet; Daniel Gaffé; Fernand Boéri (EUROMICRO, 2000)

The Clem Toolkit. - Daniel Gaffé; Annie Ressouche (ASE, 2008)

Modular Compilation of a Synchronous Language - Annie Ressouche; Daniel Gaffé; Valérie Roy (CoRR, 2008)

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)

Algebraic Framework for Synchronous Language Semantics. - Daniel Gaffé; Annie Ressouche (TASE, 2013)

AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems. - Mariem Abdelmoula; Daniel Gaffé; Michel Auguin (ICTSS, 2014)

Safe Composition in Middleware for the Internet of Things. - Ines Sarray; Annie Ressouche; Daniel Gaffé; Jean-Yves Tigli; Stephane Lavirotte (M4IoT@Middleware, 2015)

Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems. - Elisabetta De Maria; Alexandre Muzy; Daniel Gaffé; Annie Ressouche; Franck Grammont (HSB, 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 (ICSPCS, 2016)

Modelling and Formal Verification of Neuronal Archetypes Coupling. - Elisabetta De Maria; Thibaud L'Yvonnet; Daniel Gaffé; Annie Ressouche; Franck Grammont (CSBio, 2017)

An activity description language for activity recognition. - Ines Sarray; Annie Ressouche; Sabine Moisan; Jean-Paul Rigault; Daniel Gaffé (IINTEC, 2017)

Computer-aided Formal Proofs about Dendritic Integration within a Neuron. - Ophélie Guinaudeau; Gilles Bernot; Alexandre Muzy; Daniel Gaffé; Franck Grammont (BIOINFORMATICS, 2018)

Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free. - Ophélie Guinaudeau; Gilles Bernot; Alexandre Muzy; Daniel Gaffé; Franck Grammont (BIOSTEC (Selected Papers), 2018)

A Model-checking Approach to Reduce Spiking Neural Networks. - Elisabetta De Maria; Daniel Gaffé; Cédric Girard Riboulleau; Annie Ressouche (BIOINFORMATICS, 2018)

A Synchronous Approach to Activity Recognition. - Ines Sarray; Jean-Paul Rigault; Sabine Moisan; Daniel Gaffé (ICSC, 2018)

Synchronous approach for modeling spiking neurons. - Marino Rasamuel; Daniel Gaffé; Timothée Levi; Benoît Miramond (BioCAS, 2019)

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)