Hana Mkaouar

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 4

Top Topics

Owl Dl Ontology

Software Engineers

Formal Semantics

Top Venues

Int. J. Softw. Tools Technol. Transf.

J. Syst. Softw.

Publications

Hana Mkaouar, Dominique Blouin, Etienne Borde
A benchmark of incremental model transformation tools based on an industrial case study with AADL. Softw. Syst. Model. 22 (1) (2023)
Ankica Barisic, Ivan Ruchkin, Dusan Savic, Mustafa Abshir Mohamed, Rima Al Ali, Letitia W. Li, Hana Mkaouar, Raheleh Eslampanah, Moharram Challenger, Dominique Blouin, Oksana Nikiforova, Antonio Cicchetti
Multi-paradigm modeling for cyber-physical systems: A systematic mapping review. J. Syst. Softw. 183 (2022)
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel
A formal approach to AADL model-based software engineering. Int. J. Softw. Tools Technol. Transf. 22 (2) (2020)
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel
An ocarina extension for AADL formal semantics generation. SAC (2018)
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel
From AADL Model to LNT Specification. Ada-Europe (2015)