Filtrer vos résultats
- 86
- 11
- 72
- 18
- 7
- 97
- 9
- 2
- 1
- 1
- 1
- 4
- 10
- 4
- 12
- 1
- 6
- 3
- 6
- 6
- 12
- 3
- 8
- 6
- 4
- 1
- 4
- 1
- 1
- 3
- 80
- 17
- 41
- 29
- 24
- 16
- 13
- 10
- 8
- 4
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 46
- 37
- 25
- 20
- 17
- 14
- 8
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Improving Model Checking with Context ModellingAdvances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩
Article dans une revue
hal-00738735v1
|
||
Proposed Algorithms to the State Explosion ProblemAynur 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⟩
Chapitre d'ouvrage
hal-02515359v1
|
|||
Data Management Mechanisms for Internet of Things: A position paperCSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩
Communication dans un congrès
hal-02515160v1
|
|||
Environment-driven reachability for timed systemsInternational Journal on Software Tools for Technology Transfer, 2017, 19 (2), pp.229-245. ⟨10.1007/s10009-015-0401-2⟩
Article dans une revue
hal-01373335v1
|
|||
Embedded UML Model Execution to Bridge the Gap Between Design and RuntimeMDE@DeRun 2018 : First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Jun 2018, Toulouse, France
Communication dans un congrès
hal-01802247v1
|
|||
Vers la génération de modèles de sûreté de fonctionnementconférences LMO'08 et CAL'08, Mar 2008, Montréal, France. pp.Non renseigne
Communication dans un congrès
hal-00517274v1
|
|||
Implementation of testing automata for timed model validationMovep'04, 2004, Brussel, Belgium
Communication dans un congrès
hal-00517290v1
|
|||
Formalisation d’une Approche Compositionnelle de Patrons de PropriétésAFADL 2016, i, Jun 2016, Besançon, France
Communication dans un congrès
hal-01326333v1
|
|||
TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATIONComputing and Informatics, 2016, 35, pp.1001-1031
Article dans une revue
hal-01326351v1
|
|||
|
Model Checking of SCADE Designed Systems8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Communication dans un congrès
hal-01289454v1
|
||
User context models : a framework to ease software formal verificationsICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal
Communication dans un congrès
hal-00635904v1
|
|||
A High-level Formalism to Elaborate Context for a Context-aware Verification ApproachICIST 2016, Mar 2016, Barcelone, Spain
Communication dans un congrès
hal-01298704v1
|
|||
Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCDGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109
Article dans une revue
hal-01006656v1
|
|||
Systèmes Informatiques de Confince, Objectifs Zéro-DéfautSystèmes Informatiques de Confince, Objectifs Zéro-Défaut, 2002, France. pp./
Communication dans un congrès
hal-00540746v1
|
|||
Partial Order Application for Software Formal VerificationConférence Embedded Real Time Software and Systems (ERTS'10), May 2010, Toulouse, France. pp.Non renseigne
Communication dans un congrès
hal-00517269v1
|
|||
Un langage de contexte de preuve pour la validation formelle de modèles logicielsconférences LMO'08 et CAL'08, Mar 2008, Montréal, Canada. pp.Non renseigne
Communication dans un congrès
hal-00517275v1
|
|||
Extending translation from SDL to PromelaAtelier SéMo'07, 2001, Grenoble, France
Communication dans un congrès
hal-00517295v1
|
|||
Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiquesJournée ADA-France 2007 : méthodes, processus, modèles et outils pour l'ingénierie du logiciel embarqué temps réel critique, 2007, Brest, France
Communication dans un congrès
hal-00517224v1
|
|||
Model-Based AnalysisEmbedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
Chapitre d'ouvrage
hal-00843139v1
|
|||
|
Techniques and Challenges for Trace Processing from a Model-Checking PerspectiveInternational Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
Communication dans un congrès
hal-01119571v1
|
||
A Model Checkable UML Soccer Player3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany
Communication dans un congrès
hal-02375996v1
|
|||
|
A Problem-Oriented Approach to Critical System Design and Diagnosis Support1st International Workshop on Modeling, Verification and Testing of Dependable Critical Systems (DETECT 2018), Oct 2018, Marrakesh, Morocco
Communication dans un congrès
hal-01933792v1
|
||
Modèles orientés utilisateurs pour la vérification formelle en contexte industrielIDM'11, Jun 2011, Lille, France
Communication dans un congrès
hal-00635763v1
|
|||
Model-checking for Secured Component Implementation.17th International Conference on Security and Management (SAM’18), Jul 2018, Las Vegas, United States
Communication dans un congrès
hal-01864787v1
|
|||
Distributed algorithm to fight the state explosion problemINDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2018, 8 (3), pp.398 - 411. ⟨10.1504/IJITST.2018.10014833⟩
Article dans une revue
hal-01716143v1
|
|||
|
Model-based Diagnosis Patterns for Model CheckingPAME 2016, Oct 2016, St Malo, France. pp.7-12
Communication dans un congrès
hal-01406604v1
|
||
Unified LTL Verification and Embedded Execution of UML Models21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
Communication dans un congrès
hal-01887948v1
|
|||
Expérimentation d'un langage de contexte et de propriétés pour la validation formelle de modèles logicielsSéminaire Action IDM-INNFORSID : Exigence, Traçabilité et Co-conception dans les processus de développement, 2009, Paris, France
Communication dans un congrès
hal-00517273v1
|
|||
Model Management for Formal ValidationSummer School MDD4DRES, Hermes, pp.149-174, 2006
Chapitre d'ouvrage
hal-00517288v1
|
|||
Formal Validation with Model-Checking TechniquesICNTC'2012, Dec 2012, Chlef, Algérie
Communication dans un congrès
hal-01206527v1
|