Annie Ressouche

According to our database, Annie Ressouche authored at least 17 papers between 1994 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

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

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

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

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

Toward Validated Composition in Component-Based Adaptive Middleware.

Annie Ressouche, Jean-Yves Tigli, Oscar Carrillo

Proceedings of the Software Composition - 10th International Conference, 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

2004

Towards Formalizing Behavioral Substitutability in Component Frameworks.

Sabine Moisan, Annie Ressouche, Jean-Paul Rigault

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

2003

SAS architecture: verification oriented formal modeling of concrete critical systems.

Annie Ressouche, Jean-Yves Tigli, Valine Roy, Daniel Cheung-Foo-Wo

Proceedings of the IEEE International Conference on Systems, 2003

2001

Blocks, a component framework with checking facilities for knowledge-based systems.

Sabine Moisan, Annie Ressouche, Jean-Paul Rigault

Informatica (Slovenia), 2001

1996

The FC2TOOLS Set (Tool Demonstration).

Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

The FC2TOOLS Set.

Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1994

Compositional Semantics of ESTEREL and Verification by Compositional Reductions.

Robert de Simone, Annie Ressouche

Proceedings of the Computer Aided Verification, 6th International Conference, 1994