Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

18 résultats
Page :
triés par
Image document

A Model-Driven Tool Chain for OCCI

 Faiez Zalila , Stéphanie Challita , Philippe Merle
25th International Conference on Cooperative Information Systems (CoopIS), Oct 2017, Rhodes, Greece
Communication dans un congrès hal-01583165v1

Preface to the 15th Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE (MoDeVVa 2018, Copenhagen, Denmark)

 Raquel Oliveira , Levi Lucio , Ernesto Posse , Faiez Zalila
15th Workshop Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE - MoDeVVa 2018, 2245, CEUR-WS.org, pp.553-554, 2018, Proceedings of MODELS 2018 Workshops, ISSN: 1613-0073
Proceedings/Recueil des communications hal-03023414v1
Image document

Leveraging formal verification tools for DSML users: a process modeling case study

 Faiez Zalila , Xavier Crégut , Marc Pantel
2012
Pré-publication, Document de travail hal-00720917v1
Image document

Model-Driven Cloud Resource Management with OCCIware

 Faiez Zalila , Stéphanie Challita , Philippe Merle
Future Generation Computer Systems, 2019, 99, pp.260 - 277. ⟨10.1016/j.future.2019.04.015⟩
Article dans une revue hal-02375378v1
Image document

Model-Driven Elasticity Management with OCCI

 Yahya Al-Dhuraibi , Faiez Zalila , Nabil Djarallah , Philippe Merle
IEEE Transactions on Cloud Computing, 2021, 9 (4), pp.1549 - 1562. ⟨10.1109/TCC.2019.2923686⟩
Article dans une revue hal-02375362v1
Image document

Specifying Semantic Interoperability between Heterogeneous Cloud Resources with the FCLOUDS Formal Language

 Stéphanie Challita , Faiez Zalila , Philippe Merle
CLOUD 2018 - 11th IEEE International Conference on Cloud Computing, Jul 2018, San Francisco, United States
Communication dans un congrès hal-01790629v1
Image document

A transformation-driven approach to automate feedback verification results

 Faiez Zalila , Xavier Crégut , Marc Pantel
3rd International Conference On Model and Data Engineering (MEDI 2013), Sep 2013, Amantea, Calabria, Italy. pp. 266-277
Communication dans un congrès hal-01231772v1
Image document

Coordinating Vertical Elasticity of both Containers and Virtual Machines

 Yahya Al-Dhuraibi , Faiez Zalila , Nabil Bachir Djarallah , Philippe Merle
CLOSER 2018 - 8th International Conference on Cloud Computing and Services Science, Mar 2018, Funchal, Madeira, Portugal
Communication dans un congrès hal-01683041v1
Image document

Formal Verification Integration Approach for DSML

 Faiez Zalila , Xavier Crégut , Marc Pantel
MoDELS, Sep 2013, Miami, United States. pp.336-351, ⟨10.1007/978-3-642-41533-3_21⟩
Communication dans un congrès hal-00994413v1
Image document

A transformation-driven approach to generate a DSML verification framework

 Faiez Zalila , Xavier Crégut , Marc Pantel
Model and Data Engineering - Third International Conference, MEDI 2013, Sep 2013, Amantea, Italy. pp.266-277, ⟨10.1007/978-3-642-41366-7_23⟩
Communication dans un congrès hal-00994321v1

Model Execution and Debugging - A Process to Leverage Existing Tools

 Faiez Zalila , Eric Jenn , Marc Pantel
International Conference on Model-Driven Engineering and Software Development, Feb 2017, Porto, Portugal. pp.401--408, ⟨10.5220/0006143104010408⟩
Communication dans un congrès hal-03116284v1
Image document

Model driven simulation of elastic OCCI cloud resources

 Mehdi Ahmed-Nacer , Slim Kallel , Faiez Zalila , Philippe Merle , Walid Gaaloul
The Computer Journal, 2022, 65 (5), pp.1144-1166. ⟨10.1093/comjnl/bxaa159⟩
Article dans une revue hal-02976775v1
Image document

A DSL to Feedback Formal Verification Results

 Faiez Zalila , Xavier Crégut , Marc Pantel
13th Model-Driven Engineering, Verification and Validation Workshop at MODELS conference 2016 (MoDeVVa 2016), Oct 2016, Saint Malo, France. pp.30--39
Communication dans un congrès hal-03172263v1
Image document

Methods and tools for the integration of formal verification in domain-specific languages

 Faiez Zalila
Performance [cs.PF]. Institut National Polytechnique de Toulouse - INPT, 2014. English. ⟨NNT : 2014INPT0092⟩
Thèse tel-04261614v2
Image document

Teaching MDE through the Formal Verification of Process Models

 Benoit Combemale , Xavier Crégut , Arnaud Dieumegard , Marc Pantel , Faiez Zalila
7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Marion Brandsteidl; Andreas Winter, Oct 2011, Wellington, New Zealand
Communication dans un congrès hal-00646426v1
Image document

A user-oriented approach to integrate formal verification activity for DSML

 Faiez Zalila , Xavier Crégut , Marc Pantel
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Communication dans un congrès hal-02272341v1
Image document

A Precise Model for Google Cloud Platform

 Stéphanie Challita , Faiez Zalila , Christophe Gourdin , Philippe Merle
6th IEEE International Conference on Cloud Engineering (IC2E), http://conferences.computer.org/IC2E/2018/, Apr 2018, Orlando, Florida, United States. pp.177-183
Communication dans un congrès hal-01689659v1
Image document

Model-Driven Configuration Management of Cloud Applications with OCCI

 Fabian Korte , Stéphanie Challita , Faiez Zalila , Philippe Merle , Jens Grabowski
CLOSER 2018 - 8th International Conference on Cloud Computing and Services Science, Mar 2018, Funchal, Madeira, Portugal. pp.100-111
Communication dans un congrès hal-01678945v1
Page :