 |
 |
 |
 |
|
|
||
|---|---|---|
|
lirmm-01064146v1
Communication dans un congrès
Hélène Leroux, Karen Godary-Dejean, David Andreu. Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions WODES: Workshop on Discrete Event Systems, May 2014, Cachan, France. 12th IFAC IEEE International Workshop on Discrete Event Systems, pp.1-6, 2014, <http://wodes2014.lurpa.ens-cachan.fr/> |
||
|
lirmm-01064165v1
Communication dans un congrès
Hélène Leroux, Karen Godary-Dejean, David Andreu. Complex Digital System Design: a methodology and its application to medical implants FMICS: Formal Methods for Industrial Critical Systems, Sep 2013, Madrid, Spain. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'13), 2013, <http://lvl.info.ucl.ac.be/Fmics2013> |
||
|
lirmm-01064174v1
Poster
Hélène Leroux, Karen Godary-Dejean, Guillaume Coppey, David Andreu. Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation ISVLSI: IEEE Computer Society Annual Symposium on VLSI, Jul 2014, Tampa, Florida, United States. 2014, Proceedings of the 2014 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) |
||
|
lirmm-00194273v1
Communication dans un congrès
Karen Godary-Dejean, David Andreu, Guillaume Souquet. Sliding Time Interval based MAC Protocol and its Temporal Validation IFAC. FET'07: 7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems, Nov 2007, Toulouse, France, France. pp.119-126, 2007, <http://www.fet2007.org/> |
||
|
lirmm-00804362v1
Communication dans un congrès
Karen Godary-Dejean, Romain Richard, Gregory Angles, David Andreu. LPT - A Tool for Parametric TPN Validation VECoS: Verification and Evaluation of Computer and Communication Systems, Aug 2012, Paris, France. 6th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2012, <vecos.ensta-paristech.fr/2012/> |
||
|
hal-00789796v1
Communication dans un congrès
Karen Godary-Dejean, David Andreu, Richard Romain. Temporal bounds verification of the STIMAP protocol RTNS: Real-Time and Network Systems, Sep 2011, Nantes, France. 19th International Conference on Real-Time and Network Systems, 2011 |
||
|
lirmm-01241168v1
Article dans une revue
Hélène Leroux, David Andreu, Karen Godary-Dejean. Handling Exceptions in Petri Net-Based Digital Architecture: From Formalism to Implementation on FPGAs IEEE Transactions on Industrial Informatics, Institute of Electrical and Electronics Engineers, 2015, 11 (4), pp.897-906. <http://tii.ieee-ies.org/>. <10.1109/TII.2015.2435696> |
||
|
lirmm-00679892v2
Article dans une revue
Karen Godary-Dejean, David Andreu. Formal Validation of a Deterministic MAC Protocol ACM Transactions on Embedded Computing Systems (TECS), ACM, 2013, 12 (1), pp.N/A |
||
|
|
||