Annie Ressouche

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 5

Top Topics

Description Language

Spiking Neural Networks

Temporal Properties

Top Venues

Frontiers Comput. Sci.

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)
Elisabetta De Maria, Daniel Gaffé, Cédric Girard Riboulleau, Annie Ressouche
A Model-checking Approach to Reduce Spiking Neural Networks. BIOINFORMATICS (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)
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)
Daniel Gaffé, Annie Ressouche
Algebraic Framework for Synchronous Language Semantics. TASE (2013)
Annie Ressouche, Jean-Yves Tigli, Oscar Carrillo
Toward Validated Composition in Component-Based Adaptive Middleware. SC@TOOLS (2011)
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)
Sabine Moisan, Annie Ressouche, Jean-Paul Rigault
Towards Formalizing Behavioral Substitutability in Component Frameworks. SEFM (2004)
Annie Ressouche, Jean-Yves Tigli, Valine Roy, Daniel Cheung-Foo-Wo
SAS architecture: verification oriented formal modeling of concrete critical systems. SMC (2003)
Sabine Moisan, Annie Ressouche, Jean-Paul Rigault
Blocks, a component framework with checking facilities for knowledge-based systems. Informatica (Slovenia) 25 (4) (2001)
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
The FC2TOOLS Set. CAV (1996)
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
The FC2TOOLS Set (Tool Demonstration). TACAS (1996)
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
The FC2TOOLS Set. AMAST (1996)
Robert de Simone, Annie Ressouche
Compositional Semantics of ESTEREL and Verification by Compositional Reductions. CAV (1994)