|
||
---|---|---|
hal-01716143v1
Article dans une revue
Distributed algorithm to fight the state explosion problem INDERSCIENCE International Journal of Internet Technology and Secured Transactions., Inderscience Enterprises, 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩ |
||
hal-02441878v1
Communication dans un congrès
Automatic Verification of BPMN Models 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France |
||
hal-01933794v1
Communication dans un congrès
Domain-oriented Verification Management 8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.30-39 |
||
hal-01203649v1
Communication dans un congrès
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
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-00678272v1
Communication dans un congrès
Framework for Integrating ESL Tools PMDE 2011, Jun 2011, United Kingdom |
||
hal-00635555v1
Communication dans un congrès
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 |
||
hal-00912574v1
Communication dans un congrès
A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States |
||
hal-00912587v1
Communication dans un congrès
Enhance the reusability of Models and their Behavioral correctness MODELS 2013 - Workshop GEMOC, Sep 2013, Miami, United States |
||
hal-00636875v1
Communication dans un congrès
Use Cases Modeling for Scalable Model-Checking APSEC'11, Dec 2011, Minh City, Vietnam |
||
hal-00738772v1
Communication dans un congrès
Model-Based Product Line Evolution: an Incremental Growing by Extension 16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114 |
||
hal-00635653v1
Communication dans un congrès
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation Topcased days, Feb 2011, Toulouse, France |
||
|