Research output per year
Research output per year
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 Access2 Citations (Scopus) -
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
Open Access1 Citation (Scopus) -
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
Open Access -
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 Access3 Citations (Scopus) -
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 Access2 Citations (Scopus) -
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 Access3 Citations (Scopus) -
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 Access1 Citation (Scopus) -
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 Access3 Citations (Scopus) -
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 Access4 Citations (Scopus)