|
||
---|---|---|
hal-00517270v1
Communication dans un congrès
Automatic Formal Model Derivation from Use Cases 6ème Journées sur l'Ingénierie Dirigée par les Modèles (IDM'10), Mars 2010, Pau, 2010, France. pp.Non renseigne |
||
hal-00517292v1
Communication dans un congrès
Vers la gestion de la cohérence dans les processus multi-modèles métier Congrès francophone du management de projet, 2004, France |
||
hal-00517289v1
Communication dans un congrès
Expérimentation d'une technique de vérification formelle dans le cadre d'un processus d'Ingénierie Dirigée par les Modèles Journée GDR STRQdS, Systèmes embarqués : points de vue industriels et académiques, 2005, Paris, France |
||
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⟩ |
||
hal-02270437v1
Communication dans un congrès
Experimentation of Timed Observers for Avionics Models Validation Conference ERTS'06, Jan 2006, Toulouse, France |
||
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-00636875v1
Communication dans un congrès
Use Cases Modeling for Scalable Model-Checking APSEC'11, Dec 2011, Minh City, Vietnam |
||
hal-02929122v1
Communication dans un congrès
Modular Deployment of UML Models for V&V Activities and Embedded Execution MoDeVVa, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419227⟩ |
||
hal-00569028v1
Communication dans un congrès
Automating Context Description for Software Formal Verification Workshop MoDVVa, Model-Driven Engineering, Verification, and Validation, 2010, Oslo, Norway |
||
hal-00635533v1
Communication dans un congrès
Application of partial-order methods for the verification of closed-loop SDL systems SAC'11 - 26th Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. pp.ACM 978-1-4503-0113-8/11/03 |
||
hal-03463358v1
Article dans une revue
Unified verification and monitoring of executable UML specifications. A transformation-free approach Software and Systems Modeling, Springer Verlag, 2021, ⟨10.1007/s10270-021-00923-9⟩ |
||
hal-01864825v1
Communication dans un congrès
An Automated Transformation Approach for Requirement Specification Conf ITQM’16, Aug 2016, Séoul, South Korea |
||
hal-01585318v1
Communication dans un congrès
Towards one Model Interpreter for Both Design and Deployment 3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States |
||
hal-00517274v1
Communication dans un congrès
Vers la génération de modèles de sûreté de fonctionnement conférences LMO'08 et CAL'08, Mar 2008, Montréal, France. pp.Non renseigne |
||
hal-00517290v1
Communication dans un congrès
Implementation of testing automata for timed model validation Movep'04, 2004, Brussel, Belgium |
||
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-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-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-01289454v1
Communication dans un congrès
Model Checking of SCADE Designed Systems 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, 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-02515160v1
Communication dans un congrès
Data Management Mechanisms for Internet of Things: A position paper CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩ |
||
hal-02515359v1
Chapitre d'ouvrage
Proposed Algorithms to the State Explosion Problem Aynur Unal; Malaya Nayak; Durgesh Kumar Mishra; Dharm Singh; Joshi Amit. Smart Trends in Information Technology and Computer Communications. First International Conference, SmartCom 2016, Jaipur, India, August 6–7, 2016, Revised Selected Papers, 628, Springer, pp.211-217, 2016, Communications in Computer and Information Science book series (CCIS), 978-981-10-3433-6 (eBook); 978-981-10-3432-9 (Softcover). ⟨10.1007/978-981-10-3433-6_26⟩ |
||
hal-01802247v1
Communication dans un congrès
Embedded UML Model Execution to Bridge the Gap Between Design and Runtime MDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France |
||
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-01406604v1
Communication dans un congrès
Model-based Diagnosis Patterns for Model Checking PAME 2016, Oct 2016, St Malo, France. pp.7-12 |
||
hal-00517273v1
Communication dans un congrès
Expérimentation d'un langage de contexte et de propriétés pour la validation formelle de modèles logiciels Séminaire Action IDM-INNFORSID : Exigence, Traçabilité et Co-conception dans les processus de développement, 2009, Paris, France |
||
hal-00517288v1
Chapitre d'ouvrage
Model Management for Formal Validation Summer School MDD4DRES, Hermes, pp.149-174, 2006 |
||
hal-00703785v1
Communication dans un congrès
Modélisation algorithmique et synthèse d'architectures assistées par model-checking CAL 2012-, May 2012, Montpellier, France |
||
hal-01206527v1
Communication dans un congrès
Formal Validation with Model-Checking Techniques ICNTC'2012, Dec 2012, Chlef, Algérie |
||
hal-01864787v1
Communication dans un congrès
Model-checking for Secured Component Implementation. 17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States |
||
|