|
||
---|---|---|
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-01206522v1
Communication dans un congrès
Approche pour la Vérification Formelle de Propriétés : Application au Développement Industriel de Logiciels Embarqués JDIM’14, Jun 2014, Mostaganem, Algeria |
||
hal-00738735v1
Article dans une revue
Improving Model Checking with Context Modelling Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩ ![]() |
||
hal-00676423v1
Chapitre d'ouvrage
Context Aware Model-Checking for Embedded Software Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012 |
||
hal-01006647v1
Article dans une revue
Modélisation UML d'un régulateur de vitesse automobile Génie logiciel, C & S, 2014, 109 |
||
hal-01326351v1
Article dans une revue
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-01006676v1
Article dans une revue
Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCS Génie logiciel, C & S, 2014, 109 |
||
hal-01298895v1
Communication dans un congrès
Towards Distributed Solution to the State Explosion Problem INDIA 2016, Jan 2016, Vishakapatnam, India. ⟨10.1007/978-81-322-2755-7_56⟩ |
||
hal-01006656v1
Article dans une revue
Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD Génie logiciel, C & S, 2014, 109 |
||
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-01090466v1
Chapitre d'ouvrage
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-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-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-00663182v1
Communication dans un congrès
Towards an Enactment Mechanism for MODAL Process Models ECMFA 2011, Jun 2011, United Kingdom |
||
hal-01090362v1
Communication dans un congrès
Towards a Dynamic Infrastructure for Playing withSystems of Systems ECSA 2014, Aug 2014, Vienne, Austria |
||
hal-01156518v1
Communication dans un congrès
A Role Language to Interpret Multi-Formalism System of Systems Models Syscon 2015, IEEE, Apr 2015, Vancouver, Canada |
||
hal-01156537v1
Communication dans un congrès
A Formal, Model-driven Design Flow for System Simulation and Multi-core Implementation SIES 2015, University of Siegen, Jun 2015, Siegen, Germany |
||
hal-01156533v1
Communication dans un congrès
An approach for describing concurrency and communication of heterogeneous systems BM-FA'11, Jun 2011, Birmingham, United Kingdom |
||
hal-00728364v1
Communication dans un congrès
MHPM : Multi-Scale Hybrid Programming Model A flexible parallelization Medthodology HPCC 2012, Jun 2012, Liverpool, United Kingdom |
||
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-01326340v1
Communication dans un congrès
Validation formelle d’implantation de patrons de sécurité : Application aux SCADA AFADL 2016, Jun 2016, Besançon, France |
||
hal-01326333v1
Communication dans un congrès
Formalisation d’une Approche Compositionnelle de Patrons de Propriétés AFADL 2016, i, Jun 2016, Besançon, France |
||
hal-01326520v1
Communication dans un congrès
From Smalltalk to Silicon: Towards a methodology to turn Smalltalk code into FPGA IWST 14, Aug 2014, Cambridge, United Kingdom |
||
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-00744434v1
Article dans une revue
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩ ![]() |
||
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⟩ |
||
hal-01137744v1
Communication dans un congrès
Optimisation globale basée sur les contracteurs : Application au contrôle aérien ROADEF 2015, société Française de Recherche Opérationnelle et Aide à la Décision, Feb 2015, Marseille, France |
||
|