DA
David Andreu
12
Documents
Présentation
Publications
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 12
- 5
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 4
- 3
- 1
- 1
- 1
- 1
- 1
|
|
Interpreted Synchronous Extension of Time Petri Nets - Definition, Semantics and Formal AnalysisDiscrete Event Dynamic Systems, 2022, 32, pp.27-64. ⟨10.1007/s10626-021-00347-z⟩
Article dans une revue
lirmm-03454630v1
|
Handling Exceptions in Petri Net-Based Digital Architecture: From Formalism to Implementation on FPGAsIEEE Transactions on Industrial Informatics, 2015, 11 (4), pp.897-906. ⟨10.1109/TII.2015.2435696⟩
Article dans une revue
lirmm-01241168v1
|
|
|
|
Formal Validation of a Deterministic MAC ProtocolACM Transactions on Embedded Computing Systems (TECS), 2013, 12 (1), pp.N/A. ⟨10.1145/2406336.2406342⟩
Article dans une revue
lirmm-00679892v2
|
|
|
Analyse de Réseau de Petri Temporels Exécutés de Façon SynchroneMSR: Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France
Communication dans un congrès
lirmm-01591153v1
|
|
|
HIL Simulator for AUV with ContrACTCAR: Control Architectures of Robots, Jun 2015, Lyon, France
Communication dans un congrès
lirmm-02015563v1
|
|
|
Integrating Implementation Properties in Analysis of Petri Nets Handling ExceptionsWODES 2014 - 12th IFAC International Workshop on Discrete Event Systems, May 2014, Paris, France. pp.406-411, ⟨10.3182/20140514-3-FR-4046.00032⟩
Communication dans un congrès
lirmm-01064146v1
|
Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets ImplementationISVLSI: IEEE Computer Society Annual Symposium on VLSI, Jul 2014, Tampa, Florida, United States
Communication dans un congrès
lirmm-01064174v1
|
|
Complex Digital System Design: a methodology and its application to medical implants18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Sep 2013, Madrid, Spain
Communication dans un congrès
lirmm-01064165v1
|
|
|
|
LPT - A Tool for Parametric TPN ValidationVECoS: Verification and Evaluation of Computer and Communication Systems, Aug 2012, Paris, France
Communication dans un congrès
lirmm-00804362v1
|
|
|
Temporal bounds verification of the STIMAP protocolRTNS: Real-Time and Network Systems, Sep 2011, Nantes, France
Communication dans un congrès
hal-00789796v1
|
|
|
Sliding Time Interval based MAC Protocol and its Temporal ValidationFET'07: 7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems, Nov 2007, Toulouse, France, France. pp.119-126
Communication dans un congrès
lirmm-00194273v1
|
Architectures de contrôle pour la robotique - Approches et tendancesTechniques de l’ingénieur, pp.#S7791, 2014
Chapitre d'ouvrage
lirmm-02015617v1
|