Accéder directement au contenu Accéder directement à la navigation


hal-02354322v1  Article dans une revue
Adjali SaadiaYahiaoui TayebBelkadi MustaphaJean Marc Laurens. Iterative method to analyze the flow behavior around a cavitating hydrofoil
Journal of Flow Visualization and Image Processing, Begell House, 2019, 26 (2), pp.185-207. ⟨10.1615/JFlowVisImageProc.2019030191⟩
hal-01326351v1  Article dans une revue
Nadia MenadPhilippe DhaussyZoé DreyRachida Mekki. TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION
Computing and Informatics, Slovak University Press, Bratislava, 2016, 35, pp.1001-1031
hal-01936730v1  Article dans une revue
Amel BenabbouSafia Nait BahloulPhilippe Dhaussy. Precise use cases in a context-aware model-checking approach
International Journal of Critical Computer-Based Systems, Inderscience, 2018, 8 (3/4), ⟨10.1504/IJCCBS.2018.10017704⟩
...
hal-02306783v1  Communication dans un congrès
Abdelmalek LaidaniMohamed BouhamidaMustapha BenghanemKarl SammutBenoit Clement. A Low-Cost Test Bench for Underwater Thruster Identification
Conference on Control Applications in Marine Systems, Robotics, and Vehicles, Sep 2019, Daejeon, South Korea
hal-00912857v1  Communication dans un congrès
Nadia MenadPhilippe Dhaussy. A Transformation Approach for Multiform Time Requirements
SEFM'13, Sep 2013, Madrid, Spain. pp.16-30