Annie Ressouche

18 papers A* 3A 2B 2Misc 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2022 J jnl
On the use of formal methods to model and verify neuronal archetypes.
Frontiers Comput. Sci.
Elisabetta De Maria, Abdorrahim Bahrami, Thibaud L'Yvonnet, Amy P. Felty, Daniel Gaffé, Annie Ressouche, Franck Grammont
2018 — conf
A Model-checking Approach to Reduce Spiking Neural Networks.
BIOINFORMATICS
Elisabetta De Maria, Daniel Gaffé, Cédric Girard Riboulleau, Annie Ressouche
2017 — conf
An activity description language for activity recognition.
IINTEC
Ines Sarray, Annie Ressouche, Sabine Moisan, Jean-Paul Rigault, Daniel Gaffé
2017 — conf
Modelling and Formal Verification of Neuronal Archetypes Coupling.
CSBio
Elisabetta De Maria, Thibaud L'Yvonnet, Daniel Gaffé, Annie Ressouche, Franck Grammont
2016 — conf
Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems.
HSB
Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont
2015 — conf
Safe Composition in Middleware for the Internet of Things.
M4IoT@Middleware
Ines Sarray, Annie Ressouche, Daniel Gaffé, Jean-Yves Tigli, Stephane Lavirotte
2013 Misc conf
Algebraic Framework for Synchronous Language Semantics.
TASE
Daniel Gaffé, Annie Ressouche
2011 J jnl
Compilation modulaire d'un langage synchrone Spécification, simulation, implémentation et vérification d'applications synchrones.
Tech. Sci. Informatiques
Daniel Gaffé, Annie Ressouche
2011 A conf
Toward Validated Composition in Component-Based Adaptive Middleware.
SC
Annie Ressouche, Jean-Yves Tigli, Oscar Carrillo
2008 J jnl
Modular Compilation of a Synchronous Language
CoRR
Annie Ressouche, Daniel Gaffé, Valérie Roy
2008 A* conf
The Clem Toolkit.
ASE
Daniel Gaffé, Annie Ressouche
2004 B conf
Towards Formalizing Behavioral Substitutability in Component Frameworks.
SEFM
Sabine Moisan, Annie Ressouche, Jean-Paul Rigault
2003 B conf
SAS architecture: verification oriented formal modeling of concrete critical systems.
SMC
Annie Ressouche, Jean-Yves Tigli, Valine Roy, Daniel Cheung-Foo-Wo
2001 J jnl
Blocks, a component framework with checking facilities for knowledge-based systems.
Informatica (Slovenia)
Sabine Moisan, Annie Ressouche, Jean-Paul Rigault
1996 A conf
The FC2TOOLS Set (Tool Demonstration).
TACAS
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
1996 — conf
The FC2TOOLS Set.
AMAST
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
1996 A* conf
The FC2TOOLS Set.
CAV
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
1994 A* conf
Compositional Semantics of ESTEREL and Verification by Compositional Reductions.
CAV
Robert de Simone, Annie Ressouche