 |
|
|
||
|---|---|---|
| hal-01203701v1
Communication dans un congrès
Context-Aware Verification of a Cruise-Control System MEDI 2014, Sep 2015, Larnaca, Cyprus. pp.53-64, ⟨10.1007/978-3-319-11587-0_7⟩ |
||
| hal-01298623v1
Article dans une revue
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-00471931v1
Communication dans un congrès
USER CONTEXT MODELS : A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS 12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.1 |
||
| hal-01298704v1
Communication dans un congrès
A High-level Formalism to Elaborate Context for a Context-aware Verification Approach ICIST 2016, Mar 2016, Barcelone, Spain |
||
| hal-01373287v1
Article dans une revue
Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2016, ⟨10.1002/stvr.1611⟩  |
||
| hal-00441929v1
Communication dans un congrès
Context: An Information Medium for Dynamic and Collaborative Situations IEEE International Conference on Information Reuse and Integration, Sep 2006, Waikoloa, United States. pp.226-231 |
||
| hal-00676640v1
Communication dans un congrès
Context Aware Model Exploration with OBP tool to Improve Model-Checking ERTS 2012, Feb 2012, Toulouse, France |
||
| hal-01936730v1
Article dans une revue
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-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-01006697v1
Communication dans un congrès
Context-aware Veri cation of a Landing Gear System ABZ 2014, Jun 2014, Toulouse, France. pp.52-65 |
||
| hal-00635763v1
Communication dans un congrès
Modèles orientés utilisateurs pour la vérification formelle en contexte industriel IDM'11, Jun 2011, Lille, France |
||
| hal-00635653v1
Communication dans un congrès
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation Topcased days, Feb 2011, Toulouse, France |
||
| hal-00635904v1
Communication dans un congrès
User context models : a framework to ease software formal verifications ICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal |
||
| hal-00636875v1
Communication dans un congrès
Use Cases Modeling for Scalable Model-Checking APSEC'11, Dec 2011, Minh City, Vietnam |
||
| hal-00636878v1
Communication dans un congrès
Reducing State Explosion with Context Modeling for Model-Checking HASE'11, Nov 2011, Boca Ranton, United States |
||
| hal-00470523v1
Communication dans un congrès
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩ |
||
| tel-00728431v1
Thèse
Intégration des activités de preuve dans le processus de développement de logiciels pour les systèmes embarqués Génie logiciel [cs.SE]. Télécom Bretagne, Université de Bretagne-Sud, 2012. Français |
||
| hal-01561299v1
Article dans une revue
Reconstruction of Dispersion Curves in the Frequency-Wavenumber Domain Using Compressed Sensing on a Random Array IEEE Journal of Oceanic Engineering, Institute of Electrical and Electronics Engineers, 2017, 42 (4), pp.914-922. ⟨10.1109/JOE.2016.2644780⟩ |
||
| hal-01373335v1
Article dans une revue
Environment-driven reachability for timed systems International Journal on Software Tools for Technology Transfer, Springer Verlag, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩ |
||
|
|
||