MO
Meriem Ouederni
71%
Libre accès
21
Documents
Affiliations actuelles
- Institut National Polytechnique (Toulouse) (Toulouse INP)
- Institut de recherche en informatique de Toulouse (IRIT)
Identifiants chercheurs
Présentation
Domaines de recherche
Informatique [cs]
Compétences
AI for MBSE
Software Engineering
Formal Methods
Publications
Publications
How AI can advance MDE ?3rd International Conference on Intelligent Systems and Pattern Recognition (ISPR 2023), May 2023, Hammamet, Tunisia. à paraître
Communication dans un congrès
hal-04338171
v1
|
|
|
|
Incremental Construction of Realizable Choreographies11th International Symposium on NASA Formal Methods (NFM 2018), Apr 2018, Newport News, United States. pp.1-19
Communication dans un congrès
hal-02450856
v1
|
|
|
Handling Reparation in Incremental Construction of Realizable Conversation Protocols8th International Conference On Model and Data Engineering (MEDI 2018), Oct 2018, Marrakech, Morocco. pp.159-166
Communication dans un congrès
hal-02486106
v1
|
|
|
Correct-by-Construction Evolution of Realisable Conversation ProtocolsMEDI 2016 - Model and Data Engineering - 6th International Conference, Sep 2016, Almería, Spain. pp.260-273
Communication dans un congrès
hal-02353832
v1
|
|
|
Towards correct Evolution of Conversation Protocols10th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2016), Oct 2016, Tunis, Tunisia. pp.193-201
Communication dans un congrès
hal-03658738
v1
|
|
|
La composition de services dans le monde asynchrone Formalisation et vérification en TLA+14e journees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015), Jun 2015, Bordeaux, France. pp. 34-39
Communication dans un congrès
hal-01343037
v1
|
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based ProtocolsThird International Workshop Formal Techniques for Safety-Critical Systems (FTSCS 2014), Nov 2014, Luxembourg, Luxembourg. pp.1--17, ⟨10.1007/978-3-319-17581-2_6⟩
Communication dans un congrès
hal-03263726
v1
|
|
|
|
Comparator: A Tool for Quantifying Behavioural CompatibilityFASE 2014 - 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. pp.306-309, ⟨10.1007/978-3-642-54804-8_21⟩
Communication dans un congrès
hal-00934057
v1
|
|
|
Compatibility Checking for Asynchronously Communicating SoftwareFACS 2013, Oct 2013, Nanchang, China
Communication dans un congrès
hal-00913665
v1
|
|
|
Counterexample Guided Synthesis of Monitors for Realizability EnforcementAutomated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Oct 2012, Thiruvananthapuram, India. pp.238-253, ⟨10.1007/978-3-642-33386-6_20⟩
Communication dans un congrès
hal-00742159
v1
|
|
|
Client Update: A Solution for Service Evolution8th International Conference on Services Computing (SCC'11), Jul 2011, Washington DC, United States
Communication dans un congrès
hal-00649933
v1
|
|
|
Measuring the Compatibility of Service Interaction Protocols26th ACM Symposium on Applied Computing, ASME, Mar 2011, Taichung, Taiwan
Communication dans un congrès
hal-00650529
v1
|
Quantifying Service Compatibility: A Step Beyond the Boolean Approaches8th International Conference on Service-Oriented Computing (ICSOC'10), Dec 2010, San Francisco, United States. pp.619--626
Communication dans un congrès
inria-00538963
v1
|
|
|
|
Tau Be or not Tau Be? - A Perspective on Service Compatibility and SubstitutabilityInternational Workshop on Component and Service Interoperability (WCSI'10), Jun 2010, Malaga, Spain. pp.57--70
Communication dans un congrès
inria-00539099
v1
|
|
|
Flooding-Based Algorithm for Behavioural Compatibility Measuring[Research Report] Inria Rennes. 2014
Rapport
(rapport de recherche)
hal-01088157
v1
|
Chargement...
Chargement...