Hélène Leroux

According to our database, Hélène Leroux authored at least 6 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Interpreted synchronous extension of time Petri nets.

Karen Godary-Dejean, Hélène Leroux, David Andreu

Discret. Event Dyn. Syst., 2022

2015

Handling Exceptions in Petri Net-Based Digital Architecture: From Formalism to Implementation on FPGAs.

Hélène Leroux, David Andreu, Karen Godary-Dejean

IEEE Trans. Ind. Informatics, 2015

2014

Méthodologie de conception d'architectures numériques complexes: du formalisme à l'implémentation en passant par l'analyse, préservation de la conformité. Application aux neuroprothèses. (A methodology for the design of complex digital architectures: from formalism to implementation, taking into account formal analysis. Application to neuroprosthetics).

Hélène Leroux

PhD thesis, 2014

Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions.

Hélène Leroux, Karen Godary-Dejean, David Andreu

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation.

Hélène Leroux, Karen Godary-Dejean, Guillaume Coppey, David Andreu

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2014

2013

Complex Digital System Design: A Methodology and Its Application to Medical Implants.

Hélène Leroux, Karen Godary-Dejean, David Andreu

Proceedings of the Formal Methods for Industrial Critical Systems, 2013