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


hal-00771748v1  Communication dans un congrès
Stephen CreffJoël Champeau. Relationships in Variability Modeling Approaches: A Survey and Classification
5ème journée Lignes de Produits, Nov 2012, Villeneuve d'Ascq, France
hal-01206527v1  Communication dans un congrès
Philippe Dhaussy. Formal Validation with Model-Checking Techniques
ICNTC'2012, Dec 2012, Chlef, Algérie
...
hal-02441878v1  Communication dans un congrès
Mihal BrumbulliEmmanuel GaudinCiprian Teodorov. Automatic Verification of BPMN Models
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
hal-00635969v1  Chapitre d'ouvrage
Jean-Philippe BabauPhilippe DhaussyPierre-Yves Pillain. Model integration for formal qualification of timing-aware software data acquisition components
Model Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010
hal-00862485v1  Chapitre d'ouvrage
Jérôme DelatourJoël Champeau. Modélisation de l'étude de cas avec MARTE
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
hal-01373317v1  Article dans une revue
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. A Parallel Algorithm for the State Space Exploration
Scalable Computing : Practice and Experience, West University of Timisoara, 2016, Scalable Computing: Practice and Experience, 17 (2), pp.129-141. ⟨10.12694/scpe.v17i2.1161⟩
hal-01298623v1  Article dans une revue
Amel BenabbouSafia Nait BahloulDhaussy Philippe. Context-aware approach for formal verification
EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩
hal-00862488v1  Chapitre d'ouvrage
Frédéric BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Analyse à partir du modèle
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
hal-00821955v1  Chapitre d'ouvrage
Jérôme DelatourJoël Champeau. Case Study Modeling Using MARTE
Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
hal-01121845v1  Article dans une revue
Charbel Geryes AounIyas AlloushYvon KermarrecJoël ChampeauOussama Kassem Zein. A Modeling Approach for Marine Observatory
Sensors & Transducers Journal, International Frequency Sensor Association (IFSA), 2015, Sensors & Transducers Journal, 185 (2), pp.129-139
hal-01090466v1  Chapitre d'ouvrage
Nader KhammassiJean-Christophe Le Lann. XPU: A C++ Metaprogramming Approach to Ease Parallelism Expression: Parallelization Methodology, Internal Design and Practical Application
Parallel Programming: Practical Aspects, Models and Current Limitations, NOVA publishers, pp.175-198, 2014, 978-1-60741-263-2
...
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-01203649v1  Communication dans un congrès
Khaoula Es-SalhiSiham Rim BoudaoudCiprian TeodorovZoé DreyVincent Ribaud. KriQL: a query language for the diagnosis of transition systems
15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
...
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-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-00635555v1  Communication dans un congrès
Amine RajiPhilippe DhaussyBenoît Baudry. Formal Extension of Use Cases for Context-Aware Verification
MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand