Compositional Semantics of ESTEREL and Verification by Compositional Reductions. - Robert de Simone; Annie Ressouche (CAV, 1994)

The FC2TOOLS Set. - Amar Bouali; Annie Ressouche; Valérie Roy; Robert de Simone (CAV, 1996)

The FC2TOOLS Set (Tool Demonstration). - Amar Bouali; Annie Ressouche; Valérie Roy; Robert de Simone (TACAS, 1996)

Blocks, a component framework with checking facilities for knowledge-based systems. - Sabine Moisan; Annie Ressouche; Jean-Paul Rigault (Informatica (Slovenia), 2001)

SAS architecture: verification oriented formal modeling of concrete critical systems. - Annie Ressouche; Jean-Yves Tigli; Valine Roy; Daniel Cheung-Foo-Wo (SMC, 2003)

Towards Formalizing Behavioral Substitutability in Component Frameworks. - Sabine Moisan; Annie Ressouche; Jean-Paul Rigault (SEFM, 2004)

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

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

Toward Validated Composition in Component-Based Adaptive Middleware. - Annie Ressouche; Jean-Yves Tigli; Oscar Carrillo (SC@TOOLS, 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)

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

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)

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)

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

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)