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


...
hal-01119571v1  Communication dans un congrès
Vincent RibaudCiprian TeodorovZoé DreyLuka LerouxPhilippe Dhaussy. Techniques and Challenges for Trace Processing from a Model-Checking Perspective
International Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
...
hal-01933792v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Problem-Oriented Approach to Critical System Design and Diagnosis Support
1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
...
hal-01933794v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. Domain-oriented Verification Management
8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39
...
hal-01559688v1  Communication dans un congrès
Vincent LeildeVincent RibaudCiprian TeodorovPhilippe Dhaussy. A Diagnosis Framework for Critical Systems Verification
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
...
hal-01406604v1  Communication dans un congrès
Vincent LeildeVincent RibaudPhilippe Dhaussy. Model-based Diagnosis Patterns for Model Checking
PAME 2016, Oct 2016, St Malo, France. pp.7-12
...
hal-02552069v1  Article dans une revue
Hassan HarbHussein MroueAli MansourAbbass NasserEduardo Motta Cruz. A Hadoop-Based Platform for Patient Classification and Disease Diagnosis in Healthcare Applications
Sensors (basel, Switzerland), 2020, Special Issue Sensor and Systems Evaluation for Telemedicine and eHealth, 20 (7), pp.1931-1 - 1931-20. ⟨10.3390/s20071931⟩