Hana Mkaouar

According to our database, Hana Mkaouar authored at least 5 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A benchmark of incremental model transformation tools based on an industrial case study with AADL.

Hana Mkaouar, Dominique Blouin, Etienne Borde

Softw. Syst. Model., February, 2023

2022

Multi-paradigm modeling for cyber-physical systems: A systematic mapping review.

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

J. Syst. Softw., 2022

2020

A formal approach to AADL model-based software engineering.

Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel

Int. J. Softw. Tools Technol. Transf., 2020

2018

An ocarina extension for AADL formal semantics generation.

Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

2015

From AADL Model to LNT Specification.

Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel

Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015