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
AI4SE
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
|
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
|
|
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
|
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...