Profil personnel
Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDs
Cartellier, Q., Frappier, M. & Mammar, A., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
An Iterative Formal Model-Driven Approach to Railway Systems Validation
Yar, A., Idani, A., Ledru, Y., Collart-Dutilleul, S., Mammar, A. & Vega, G., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Modeling and Verification of Solidity Smart Contracts with the B Method
Baba, F., Mammar, A., Frappier, M. & Laleau, R., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Modeling and verifying an arrival manager using the formal Event-B method
Mammar, A. & Leuschel, M., 1 janv. 2025, (Accepté/En presse) Dans: International Journal on Software Tools for Technology Transfer.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
A formal approach for the correct deployment of cloud applications
Mammar, A., Belguidoum, M. & Hiba, S. H., 1 janv. 2024, Dans: Science of Computer Programming. 232, 103048.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
An Event-B Model of a Mechanical Lung Ventilator
Mammar, A., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
An Event-B model of an automotive adaptive exterior light system
Mammar, A., Frappier, M. & Laleau, R., 1 juin 2024, Dans: International Journal on Software Tools for Technology Transfer. 26, 3, p. 331-346 16 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Modeling of a speed control system using Event-B
Mammar, A. & Frappier, M., 1 juin 2024, Dans: International Journal on Software Tools for Technology Transfer. 26, 3, p. 347-363 17 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Modeling and Verifying an Arrival Manager Using Event-B
Mammar, A. & Leuschel, M., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Proving Local Invariants in ASTDs
Cartellier, Q., Frappier, M. & Mammar, A., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert