Complex Digital System Design: A Methodology and Its Application to Medical Implants. - Hélène Leroux; Karen Godary-Dejean; David Andreu 001 (FMICS, 2013)

Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation. - Hélène Leroux; Karen Godary-Dejean; Guillaume Coppey; David Andreu 001 (ISVLSI, 2014)

Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions. - Hélène Leroux; Karen Godary-Dejean; David Andreu 001 (WODES, 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 (2014)

Handling Exceptions in Petri Net-Based Digital Architecture: From Formalism to Implementation on FPGAs. - Hélène Leroux; David Andreu 001; Karen Godary-Dejean (IEEE Trans. Ind. Informatics, 2015)

Interpreted synchronous extension of time Petri nets. - Karen Godary-Dejean; Hélène Leroux; David Andreu 001 (Discret. Event Dyn. Syst., 2022)