HALathon 2021 UPPA

Autres publications que vous pouvez déposer

Types HAL	OUV	Ouvrage (y compris édition critique et traduction)
	COUV	Chapitre d'ouvrage
	DOUV	Direction d'ouvrage, Proceedings, Dossier
	ART	Article [avec commité de lecture = non]
	OTHER	Autre publication
	LECTURE	Cours

#	Type	Année	Titre	doi	Notice HAL
1	COUV	2019	Formal Modeling and Verification of Cloud Elasticity with Maude and LTL	10.1007/978-3-030-32213-7_5	hal-02417562
2	COUV	2018	A BRS Based Approach for Modeling Elastic Cloud Systems	10.1007/978-3-319-91764-1_1	hal-02417541

Khaled Khebbeb, Nabil Hameurlain, Faiza Belala. Formal Modeling and Verification of Cloud Elasticity with Maude and LTL. Attiogbé C., Ferrarotti F., Maabout S. (eds) New Trends in Model and Data Engineering. MEDI 2019. Communications in Computer and Information Science, vol 1085. Springer, Cham, pp.64-77, 2019, ⟨10.1007/978-3-030-32213-7_5⟩. ⟨hal-02417562⟩
Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala. A BRS Based Approach for Modeling Elastic Cloud Systems. Braubach L. et al. (eds) Service-Oriented Computing – ICSOC 2017 Workshops. ICSOC 2017. Lecture Notes in Computer Science, vol 10797. Springer, Cham, pp.5-17, 2018, ⟨10.1007/978-3-319-91764-1_1⟩. ⟨hal-02417541⟩