Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Compilation modulaire d'un langage synchrone Spécification, simulation, implémentation et vérification d'applications synchrones., and . Technique et Science Informatiques, 30 (4): 441-471 (2011)Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems., , , , and . HSB, volume 9957 of Lecture Notes in Computer Science, page 97-112. (2016)On the use of formal methods to model and verify neuronal archetypes., , , , , , and . Frontiers Comput. Sci., 16 (3): 163404 (2022)Concurrent Control Systems: From Grafcet to VHDL., , and . EUROMICRO, page 1230-1234. IEEE Computer Society, (2000)Formal Neuron Models: Delays Offer a Simplified Dendritic Integration for Free., , , , and . BIOSTEC (Selected Papers), volume 1024 of Communications in Computer and Information Science, page 167-191. Springer, (2018)Modular Compilation of a Synchronous Language, , and . CoRR, (2008)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).. University of Nice Sophia Antipolis, France, (1996)Computer-aided Formal Proofs about Dendritic Integration within a Neuron., , , , and . BIOINFORMATICS, page 49-60. SciTePress, (2018)The Clem Toolkit., and . ASE, page 495-496. IEEE Computer Society, (2008)A Synchronous Approach to Activity Recognition., , , and . ICSC, page 304-305. IEEE Computer Society, (2018)