Personal profile
Education/Academic qualification
HDR
Fingerprint
Dive into the research topics where Rabéa Ameur-Boulifa is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Addressing Input/Output Composition Through Open Automata Representation
Ameur-Boulifa, R. & Mechiouri, S. C., 1 Jan 2025, Research in Computer Science - 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, Proceedings. Aissani, D., Barkaoui, K. & Roche, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 203-218 16 p. (Communications in Computer and Information Science; vol. 2462 CCIS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Formal Verification of the Correctness and Soundness of a Pomset-to-LTS Transformation Algorithm
Bezza, A., Benaboud, R., Maarouk, T. M. & Ameur-Boulifa, R., 1 Jan 2025, In: Journal of Communications Software and Systems. 21, 4, p. 404-413 10 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Compositional equivalences based on open pNets
Ameur-Boulifa, R., Henrio, L. & Madelaine, E., 1 Feb 2023, In: Journal of Logical and Algebraic Methods in Programming. 131, 100842.Research output: Contribution to journal › Article › peer-review
Open Access -
Refinements for Open Automata
Ameur-Boulifa, R., Corradi, Q., Henrio, L. & Madelaine, E., 1 Jan 2023, Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Proceedings. Ferreira, C. & Willemse, T. A. C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 11-29 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14323 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Detection of leaks through exception mechanisms
Kissi, S. Y., Seladji, Y. & Ameur-Boulifa, R., 1 Jan 2022, ICAASE 2022 - 5th Edition of the International Conference on Advanced Aspects of Software Engineering, Proceedings. Institute of Electrical and Electronics Engineers Inc., (ICAASE 2022 - 5th Edition of the International Conference on Advanced Aspects of Software Engineering, Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Security Vulnerabilities Detection Through Assertion-Based Approach
Kissi, S. Y., Ameur-Boulifa, R. & Seladji, Y., 1 Jan 2022, Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 381-387 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13299 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Detection of security vulnerabilities induced by integer errors
Kissi, S. Y., Seladji, Y. & Ameur-Boulifa, R., 1 Jan 2021, Proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021. Fill, H.-G., van Sinderen, M., Maciaszek, L. & Maciaszek, L. (eds.). SciTePress, p. 177-184 8 p. (Proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Towards compositional verification of synchronous reactive systems
Chabane, S., Ameur-Boulifa, R. & Mohamed, M., 1 Jan 2021, In: International Journal of Critical Computer-Based Systems. 10, 2, p. 120-142 23 p.Research output: Contribution to journal › Article › peer-review
-
Formalization and Refinement Proof for Embedded Systems
Bezza, A., Merah, E., Ameur-Boulifa, R., Benaboud, R. & Messaoud Maarouk, T., 15 Dec 2020, ISIA 2020 - Proceedings, 4th International Symposium on Informatics and its Applications. Institute of Electrical and Electronics Engineers Inc., 9416544. (ISIA 2020 - Proceedings, 4th International Symposium on Informatics and its Applications).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
From formal test objectives to TTCN-3 for verifying etcs complex software control systems
Ameur-Boulifa, R., Cavalli, A. & Maag, S., 1 Jan 2020, Software Technologies - 14th International Conference, ICSOFT 2019, Revised Selected Papers. van Sinderen, M., Maciaszek, L. A. & Maciaszek, L. A. (eds.). Springer, p. 156-178 23 p. (Communications in Computer and Information Science; vol. 1250 CCIS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review