A formal approach to AADL model-based software engineering H Mkaouar, B Zalila, J Hugues, M Jmaiel International Journal on Software Tools for Technology Transfer 22, 219-247, 2020 | 32 | 2020 |
Multi-paradigm modeling for cyber–physical systems: A systematic mapping review A Barišić, I Ruchkin, D Savić, MA Mohamed, R Al-Ali, LW Li, H Mkaouar, ... Journal of Systems and Software 183, 111081, 2022 | 29 | 2022 |
From AADL model to LNT specification H Mkaouar, B Zalila, J Hugues, M Jmaiel Reliable Software Technologies–Ada-Europe 2015: 20th Ada-Europe …, 2015 | 22 | 2015 |
An ocarina extension for AADL formal semantics generation H Mkaouar, B Zalila, J Hugues, M Jmaiel Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1402-1409, 2018 | 5 | 2018 |
Towards a formal specification for an AADL behavioural subset using the LNT language H Mkaouar, B Zalila, J Hugues, M Jmaiel International Journal of Business and Systems Research 14 (2), 162-190, 2020 | 2 | 2020 |
A benchmark of incremental model transformation tools based on an industrial case study with AADL H Mkaouar, D Blouin, E Borde Software and Systems Modeling 22 (1), 175-201, 2023 | 1 | 2023 |
A formal approach for real-time systems engineering H Mkaouar Ph. D. thesis, University of Sfax, Tunisia, 2019 | 1 | 2019 |
An ontology for multi-paradigm modelling H Giese, D Blouin, R Al-Ali, H Mkaouar, S Bandyopadhyay, M Iacono, ... Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 67-122, 2021 | | 2021 |