Personal profile
Fingerprint
Dive into the research topics where Amel Mammar 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
-
A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDs
Cartellier, Q., Frappier, M. & Mammar, A., 1 Jan 2026, Software Engineering and Formal Methods - 23rd International Conference, SEFM 2025, Proceedings. Bianculli, D. & Gomez-Martinez, E. (eds.). Springer Science and Business Media Deutschland GmbH, p. 157-164 8 p. (Lecture Notes in Computer Science; vol. 16192 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
An Iterative Formal Model-Driven Approach to Railway Systems Validation
Yar, A., Idani, A., Ledru, Y., Collart-Dutilleul, S., Mammar, A. & Vega, G., 1 Jan 2025, Engineering of Complex Computer Systems - 28th International Conference, ICECCS 2024, Proceedings. Bai, G., Ishikawa, F., Ait-Ameur, Y. & Papadopoulos, G. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 272-289 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14784 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Modeling and Verification of Solidity Smart Contracts with the B Method
Baba, F., Mammar, A., Frappier, M. & Laleau, R., 1 Jan 2025, Engineering of Complex Computer Systems - 28th International Conference, ICECCS 2024, Proceedings. Bai, G., Ishikawa, F., Ait-Ameur, Y. & Papadopoulos, G. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 159-178 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14784 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Modeling and verifying an arrival manager using the formal Event-B method
Mammar, A. & Leuschel, M., 1 Jan 2025, (Accepted/In press) In: International Journal on Software Tools for Technology Transfer.Research output: Contribution to journal › Article › peer-review
-
A formal approach for the correct deployment of cloud applications
Mammar, A., Belguidoum, M. & Hiba, S. H., 1 Jan 2024, In: Science of Computer Programming. 232, 103048.Research output: Contribution to journal › Article › peer-review
Open Access -
An Event-B Model of a Mechanical Lung Ventilator
Mammar, A., 1 Jan 2024, Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Proceedings. Bonfanti, S., Gargantini, A., Scandurra, P., Leuschel, M. & Riccobene, E. (eds.). Springer Science and Business Media Deutschland GmbH, p. 307-323 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14759 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
An Event-B model of an automotive adaptive exterior light system
Mammar, A., Frappier, M. & Laleau, R., 1 Jun 2024, In: International Journal on Software Tools for Technology Transfer. 26, 3, p. 331-346 16 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Modeling of a speed control system using Event-B
Mammar, A. & Frappier, M., 1 Jun 2024, In: International Journal on Software Tools for Technology Transfer. 26, 3, p. 347-363 17 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Modeling and Verifying an Arrival Manager Using Event-B
Mammar, A. & Leuschel, M., 1 Jan 2023, Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Proceedings. Glässer, U., Creissac Campos, J., Méry, D. & Palanque, P. (eds.). Springer Science and Business Media Deutschland GmbH, p. 321-339 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14010 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Proving Local Invariants in ASTDs
Cartellier, Q., Frappier, M. & Mammar, A., 1 Jan 2023, Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Proceedings. Li, Y. & Tahar, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 228-246 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14308 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access