SAMOVAR - SAMOVAR
Telecom SudParis
9 rue Charles Fourier
91011 EVRY CEDEX

Fax : +33 (0) 1 60 76 20 80

Pr. Amel MAMMAR

Professeur
ACMES

amel.mammar[@-Code to remove to avoid SPAM-]telecom-sudparis.eu

Article dans une revue

2024

ref_biblio
Amel Mammar, Meriem Belguidoum, Saddam Hocine. A Formal approach for the correct deployment of cloud applications. Science of Computer Programming, 2024, ⟨10.1016/j.scico.2023.103048⟩. ⟨hal-04344435⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04344435/file/SCP_CouldServices.pdf BibTex

2022

ref_biblio
Imed Abbassi, Amel Mammar, Mohamed Graiet. A Correct-by-construction model for verifying transactional composite services configuration. IEEE Transactions on Services Computing, 2022, 15 (5), pp.2511 - 2525. ⟨10.1109/TSC.2021.3072327⟩. ⟨hal-03545911⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Meryem Afendi, R√©gine Laleau. Modeling and proving hybrid programs with event-B: an approach by generalization and instantiation. Science of Computer Programming, 2022, 222 (102856), ⟨10.1016/j.scico.2022.102856⟩. ⟨hal-03916799⟩
Accès au bibtex
BibTex

2021

ref_biblio
Amel Mammar, Lazhar Hamel, Mohamed Graiet. An Event-B-based approach to model and verify behaviors for component-based applications. The Computer Journal, 2021, 65 (10), pp.2780-2800. ⟨10.1093/comjnl/bxab115⟩. ⟨hal-03545928⟩
Accès au bibtex
BibTex

2020

ref_biblio
Steve Jeffrey Tueno Fotso, Marc Frappier, R√©gine Laleau, Amel Mammar. Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. International Journal on Software Tools for Technology Transfer, 2020, 22 (3), pp.349-363. ⟨10.1007/s10009-019-00542-2⟩. ⟨hal-02975778⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, R√©gine Laleau. A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. International Journal on Software Tools for Technology Transfer, 2020, 22 (3), pp.333-347. ⟨10.1007/s10009-019-00543-1⟩. ⟨hal-02975774⟩
Accès au bibtex
BibTex

2019

ref_biblio
Nina Huynh, Marc Frappier, Herman Pooda, Amel Mammar, R√©gine Laleau. SGAC: a multi-layered access control model with conflict resolution strategy. The Computer Journal, 2019, 62 (12), pp.1707-1733. ⟨10.1093/comjnl/bxz039⟩. ⟨hal-02403976⟩
Accès au bibtex
BibTex
ref_biblio
Jlassi Sindyana, Amel Mammar, Imed Abbassi, Mohamed Graiet. Towards correct cloud resource allocation in FOSS applications. Future Generation Computer Systems, 2019, 91 (392-406), ⟨10.1016/j.future.2018.08.030⟩. ⟨hal-02403919⟩
Accès au bibtex
BibTex
ref_biblio
Lionel Tidjon, Marc Frappier, Amel Mammar. Intrusion detection systems: a cross-domain overview. Communications Surveys and Tutorials, IEEE Communications Society, 2019, 21 (4), pp.3639 - 3681. ⟨10.1109/COMST.2019.2922584⟩. ⟨hal-02403911⟩
Accès au bibtex
BibTex

2018

ref_biblio
Raphael Chane-Yack-Fa, Marc Frappier, Amel Mammar, Alain Finkel. Parameterized verification of monotone information systems. Formal Aspects of Computing, 2018, 30 (3-4), pp.463 - 489. ⟨10.1007/s00165-018-0460-8⟩. ⟨hal-01847131⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01847131/file/Chane-Yack-Fa2018.pdf BibTex

2017

ref_biblio
Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata. A verification and deployment approach for elastic component-based applications. Formal Aspects of Computing, 2017, 29 (6), pp.987 - 1011. ⟨10.1007/s00165-017-0425-3⟩. ⟨hal-01692537⟩
Accès au bibtex
BibTex
ref_biblio
Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul. Towards correct cloud resource allocation in business processes. IEEE Transactions on Services Computing, 2017, 10 (1), pp.23 - 36. ⟨10.1109/TSC.2016.2594062⟩. ⟨hal-01575735⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Thi Mai Nguyen, R√©gine Laleau. A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter. Information and Software Technology, 2017, 92, pp.158 - 178. ⟨10.1016/j.infsof.2017.08.001⟩. ⟨hal-01692569⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, R√©gine Laleau. Modeling a landing gear system in Event-B. International Journal on Software Tools for Technology Transfer, 2017, 19 (2), pp.167 - 186. ⟨10.1007/s10009-015-0391-0⟩. ⟨hal-01254980⟩
Accès au bibtex
BibTex

2016

ref_biblio
Nghi Huynh, Marc Frappier, Amel Mammar, R√©gine Laleau, Jules Desharnais. A formal validation of the RBAC ANSI 2012 standard using B. Science of Computer Programming, 2016, 131, pp.76 - 93. ⟨10.1016/j.scico.2016.04.011⟩. ⟨hal-01390991⟩
Accès au bibtex
BibTex
ref_biblio
Mohamed-Anis Zemni, Amel Mammar, Nejib Ben Hadj Alouane. An automated approach for merging business process fragments. Computers in Industry, 2016, 82, pp.104 - 118. ⟨10.1016/j.compind.2016.05.002⟩. ⟨hal-01346029⟩
Accès au bibtex
BibTex

2015

ref_biblio
Amel Mammar, Marc Frappier. Proof-based verification approaches for dynamic properties : application to the information system domain. Formal Aspects of Computing, 2015, 27 (2), pp.335 - 374. ⟨10.1007/s00165-014-0323-x⟩. ⟨hal-01200474⟩
Accès au bibtex
BibTex

2012

ref_biblio
Natalia Kushik, Amel Mammar, Ana Rosa Cavalli, Nina Yevtushenko, Willy Ronald Jimenez Freitez, et al.. A SPIN-based approach for detecting vulnerabilities in C programs. Automatic control and computer sciences, 2012, 46 (7), pp.379-386. ⟨10.3103/S0146411612070115⟩. ⟨hal-00772243⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Wissam Mallouli, Ana Rosa Cavalli. A systematic approach to integrate common timed security rules within a TEFSM-based system specification. Information and Software Technology, 2012, 54 (1), pp.87-98. ⟨10.1016/j.infsof.2011.07.004⟩. ⟨hal-00711778⟩
Accès au bibtex
BibTex
ref_biblio
Nahid Shahmehri, Amel Mammar, Edgardo Montes de Oca, David Byers, Ana Rosa Cavalli, et al.. An advanced approach for modeling and detecting software vulnerabilities. Information and Software Technology, 2012, 54 (9), pp.997-1013. ⟨10.1016/j.infsof.2012.03.004⟩. ⟨hal-00739075⟩
Accès au bibtex
BibTex

2009

ref_biblio
Amel Mammar. A systematic approach to generate B preconditions : application to the database domain. Software and Systems Modeling, 2009, 8 (3), pp.385-401. ⟨10.1007/s10270-008-0098-8⟩. ⟨hal-00566987⟩
Accès au bibtex
BibTex

2008

ref_biblio
Amel Mammar, R√©gine Laleau. Impl√©mentation JAVA d'une sp√©cification B: Application aux bases de donn√©es. Revue des Sciences et Technologies de l'Information - S√©rie TSI : Technique et Science Informatiques, 2008, 27 (5), pp.537--570. ⟨hal-01224657⟩
Accès au bibtex
BibTex

2006

ref_biblio
Amel Mammar, R√©gine Laleau. A formal approach based on UML and B for the specification and development of database applications. Automated Software Engineering, 2006, 13 (4), pp.497-528. ⟨hal-00147056⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, R√©gine Laleau. From a B formal specification to an executable code: application to the relational database domain. Information and Software Technology, 2006, 28 (4), pp.253-279. ⟨hal-00145868⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, R√©gine Laleau. UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method.. Journal of Database Management, 2006, 17 (4), pp.70-89. ⟨hal-01224665⟩
Accès au bibtex
BibTex

Communication dans un congrès

2023

ref_biblio
Meryem Afendi, Amel Mammar, R√©gine Laleau. A tool-supported approach for modeling and verifying hybrid systems using EVENT-B and the differential equation solver SAGEMATH. 18th International Conference on Software Technologies (ICSOFT), Jul 2023, Rome, Italy. pp.71-83, ⟨10.5220/0012080900003538⟩. ⟨hal-04344606⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04344606/file/ICSOFT.pdf BibTex
ref_biblio
Quelen Cartellier, Marc Frappier, Amel Mammar. Proving local invariants in ASTDs. International Conference on Formal Engineering Methods (ICFEM ), Nov 2023, Brisbane, QLD, Australia. ⟨10.1007/978-981-99-7584-6_14⟩. ⟨hal-04344486⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04344486/file/PO_ASTD_GRIC_Overleaf.pdf BibTex

2022

ref_biblio
Meryem Afendi, Amel Mammar, R√©gine Laleau. Building correct hybrid systems using Event-B and sagemath: Illustration by the hybrid smart heating system case study. 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS), Mar 2022, Hiroshima, Japan. ⟨10.1109/ICECCS54210.2022.00019⟩. ⟨hal-03916803⟩
Accès au bibtex
BibTex

2020

ref_biblio
Meryem Afendi, R√©gine Laleau, Amel Mammar. Modelling hybrid programs with Event-B. ABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, ULM, Germany. pp.139-154, ⟨10.1007/978-3-030-48077-6_10⟩. ⟨hal-02975782⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Marc Frappier, R√©gine Laleau. An Event-B model of an automotive adaptive exterior light system. ABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, Ulm, Germany. pp.351-366, ⟨10.1007/978-3-030-48077-6_28⟩. ⟨hal-02975783⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Marc Frappier. Modeling of a speed control system using Event-B. ABZ 2020: 7th international conference on Rigorous State-Based Methods, May 2020, Ulm, Germany. pp.367-381, ⟨10.1007/978-3-030-48077-6_29⟩. ⟨hal-02975785⟩
Accès au bibtex
BibTex
ref_biblio
Lionel Nganyewou Tidjon, Marc Frappier, Amel Mammar. Intrusion detection using ASTDs. AINA 2020: 34th international conference on Advanced Information Networking and Applications, Apr 2020, Caserta, Italy. pp.1397-1411, ⟨10.1007/978-3-030-44041-1_118⟩. ⟨hal-02975779⟩
Accès au bibtex
BibTex

2019

ref_biblio
Steve Jeffrey Tueno Fotso, R√©gine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, et al.. Assessment of a formal requirements modeling approach on a transportation system. ICFEM 2019: 21st International Conference on Formal Engineering Methods, Nov 2019, Shenzhen, China. pp.470-486, ⟨10.1007/978-3-030-32409-4_29⟩. ⟨hal-02386946⟩
Accès au bibtex
BibTex
ref_biblio
Steve Jeffrey Tueno Fotso, R√©gine Laleau, Hector Ruiz Barradas, Marc Frappier, Amel Mammar. A formal requirements modeling approach: application to rail communication. ICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. pp.170-177, ⟨10.5220/0007809701700177⟩. ⟨hal-02403931⟩
Accès au bibtex
BibTex

2018

ref_biblio
Steve Jeffrey Tueno Fotso, Marc Frappier, R√©gine Laleau, Amel Mammar. Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Jun 2018, Southampton, United Kingdom. pp.262-276, ⟨10.1007/978-3-319-91271-4_18⟩. ⟨hal-01797811⟩
Accès au bibtex
BibTex
ref_biblio
Steve Jeffrey Tueno Fotso, Amel Mammar, R√©gine Laleau, Marc Frappier. Event-B expression and verification of translation rules between SysML/KAOS domain models and B system specifications. ABZ 2018 : 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. pp.55--70, ⟨10.1007/978-3-319-91271-4_5⟩. ⟨hal-01797812⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, R√©gine Laleau. An Event-B model of the hybrid ERTMS/ETCS level 3 standard. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, Jun 2018, Southampton, United Kingdom. pp.353-366, ⟨10.1007/978-3-319-91271-4_24⟩. ⟨hal-01797810⟩
Accès au bibtex
BibTex
ref_biblio
Lionel Tidjon, Marc Frappier, Michael Leuschel, Amel Mammar. Extended algebraic state-transition diagrams. ICECCS 2018: 23rd International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia. pp.146 - 155, ⟨10.1109/ICECCS2018.2018.00023⟩. ⟨hal-01963140⟩
Accès au bibtex
BibTex
ref_biblio
Steve Tueno, Marc Frappier, R√©gine Laleau, Amel Mammar. Back propagating B system updates on SysML/KAOS domain models. ICECCS 2018: 23rd International Conference on Engineering of Complex Computer Systems, Dec 2018, Melbourne, Australia. pp.160 - 169, ⟨10.1109/ICECCS2018.2018.00025⟩. ⟨hal-01963152⟩
Accès au bibtex
BibTex
ref_biblio
Steve Tueno, Marc Frappier, R√©gine Laleau, Amel Mammar, Michael Leuschel. Formalisation of SysML/KAOS goal assignments with B system component decompositions. IFM 2018: 14th International Conference on Integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.377 - 397, ⟨10.1007/978-3-319-98938-9_22⟩. ⟨hal-01885098⟩
Accès au bibtex
BibTex

2017

ref_biblio
Nghi Huynh, Marc Frappier, Amel Mammar, R√©gine Laleau. Verification of SGAC Access Control Policies Using Alloy and ProB. 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Jan 2017, Singapore, Singapore. pp.120 - 123, ⟨10.1109/HASE.2017.24⟩. ⟨hal-01574899⟩
Accès au bibtex
BibTex
ref_biblio
Steve Tueno, R√©gine Laleau, Amel Mammar, Marc Frappier. Towards using ontologies for domain modeling within the SysML/KAOS approach. REW 2017: IEEE 25th International Requirements Engineering Conference Workshops, Sep 2017, Lisbon, Portugal. pp.1 - 5, ⟨10.1109/REW.2017.22⟩. ⟨hal-01692857⟩
Accès au bibtex
BibTex

2016

ref_biblio
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. Formal verification of cloud resource allocation in business processes using Event-B. AINA 2016 : 30th International Conference on Advanced Information Networking and Applications, Mar 2016, Crans-Montana, Switzerland. pp.746 - 753, ⟨10.1109/AINA.2016.126⟩. ⟨hal-01341653⟩
Accès au bibtex
BibTex
ref_biblio
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. A formal guidance approach for correct process configuration. ICSOC 2016 : 14th International Conference on Service-Oriented Computing, Oct 2016, Banff, Canada. pp.483 - 498, ⟨10.1007/978-3-319-46295-0_30⟩. ⟨hal-01425991⟩
Accès au bibtex
BibTex
ref_biblio
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. An event-B based approach for ensuring correct configurable business processes. ICWS 2016 : 23rd IEEE International Conference on Web Services, Jun 2016, San Francisco, United States. pp.460 - 467, ⟨10.1109/ICWS.2016.66⟩. ⟨hal-01359893⟩
Accès au bibtex
BibTex
ref_biblio
Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, R√©gine Laleau. SGAC: a patient-centered access control method. RCIS 2016 : 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. pp.1 - 12, ⟨10.1109/RCIS.2016.7549286⟩. ⟨hal-01359877⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Thi Mai Nguyen, R√©gine Laleau. Formal development of a secure access control filter. HASE 2016 : 17th International Symposium on High-Assurance Systems Engineering, Jan 2016, Orlando, Florida, United States. pp.173 - 180, ⟨10.1109/HASE.2016.10⟩. ⟨hal-01298113⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, R√©gine Laleau. On the use of domain and system knowledge modeling in goal-based Event-B specifications. ISOLA 2016 : 7th International Symposium on Leveraging Applications of Formal Methods, Oct 2016, Corfu, Greece. pp.325 - 339, ⟨10.1007/978-3-319-47166-2_23⟩. ⟨hal-01425977⟩
Accès au bibtex
BibTex
ref_biblio
Thi Mai Nguyen, Amel Mammar, R√©gine Laleau, Samir Hameg. A tool for the generation of a secure access control filter. RCIS 2016 : 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. pp.1 - 12, ⟨10.1109/RCIS.2016.7549285⟩. ⟨hal-01359879⟩
Accès au bibtex
BibTex

2014

ref_biblio
Fama Diagne, Amel Mammar, Marc Frappier. A tool for verifying dynamic properties in B. SEFM 2014 : 12th International Conference on Software Engineering and Formal Methods, Sep 2014, Grenoble, France. pp.290 - 295, ⟨10.1007/978-3-319-10431-7_23⟩. ⟨hal-01264805⟩
Accès au bibtex
BibTex
ref_biblio
Nghi Huynh, Marc Frappier, Amel Mammar, R√©gine Laleau, Jules Desharnais. Validating the RBAC ANSI 2012 standard using B. ABZ 2014 : 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2014, Toulouse, France. pp.255 - 270, ⟨10.1007/978-3-662-43652-3_22⟩. ⟨hal-01264810⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Marc Frappier. Verifying the precedence property pattern using the B Method. HASE 2014 : 15th International Symposium on High Assurance System Engineering, Jan 2014, Miami, United States. ⟨10.1109/HASE.2014.40⟩. ⟨hal-00958505⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, R√©gine Laleau. A proved approach for building correct instances of UML associations : multiplicities satisfaction. APSEC 2014 : 21st Asia-Pacific Software Engineering Conference, Dec 2014, Jeju, South Korea. pp.438 - 445, ⟨10.1109/APSEC.2014.103⟩. ⟨hal-01257892⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, R√©gine Laleau. Modeling a landing gear system in Event-B. ABZ 2014 : 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2014, Toulouse, France. pp.80 - 94, ⟨10.1007/978-3-319-07512-9_6⟩. ⟨hal-01254981⟩
Accès au bibtex
BibTex
ref_biblio
Mohamed-Anis Zemni, Amel Mammar, Nejib Ben Hadj Alouane. Formal approach for generating privacy preserving user requirements-based business process fragments. ACSC 2014 : 37th Australasian Computer Science Conference , Jan 2014, Auckland, New Zealand. pp.89 - 98. ⟨hal-01290711⟩
Accès au bibtex
BibTex
ref_biblio
Mohamed-Anis Zemni, Nejib Ben Hadj Alouane, Amel Mammar. Business process fragments behavioral merge. COOPIS 2014 : International Conference on Cooperative Information Systems, Oct 2014, Amantea, Italy. pp.112 - 129, ⟨10.1007/978-3-662-45563-0_7⟩. ⟨hal-01263178⟩
Accès au bibtex
BibTex
ref_biblio
Mohamed-Anis Zemni, Amel Mammar, Nejib Ben Hadj Alouane. A behavior-aware systematic approach for merging business process fragments. ICECCS 2014 : 19th International Conference on Engineering of Complex Computer Systems, Aug 2014, Tianjin, China. pp.194 - 197, ⟨10.1109/ICECCS.2014.35⟩. ⟨hal-01264795⟩
Accès au bibtex
BibTex

2013

ref_biblio
Mohamed-Anis Zemni, Nejib Ben Hadj Alouane, Amel Mammar. Process decomposition based on semantics and privacy-aware requirements-driven approach. IIWAS 2013 : 15 th International Conference on Information Integration and Web-based Applications & Services, Dec 2013, Vienna, Austria. pp.654 - 657, ⟨10.1145/2539150.2539258⟩. ⟨hal-01263179⟩
Accès au bibtex
BibTex

2012

ref_biblio
Marc Frappier, Amel Mammar. An assertions-based approach to verifying the absence property pattern. 23rd IEEE International Symposium on Software Reliability Engineering (ISSRE'12), Nov 2012, Dallas, TX, United States. pp.361-370, ⟨10.1109/ISSRE.2012.11⟩. ⟨hal-00816403⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Marc Frappier, Raphael Chane-Yack-Fa. Proving the absence property pattern using the B method. HASE 2012 : 14th IEEE International High Assurance Systems Engineering Symposium, Oct 2012, Omaha, United States. pp.167-170, ⟨10.1109/HASE.2012.26⟩. ⟨hal-00767744⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00767744/file/mammar2012.pdf BibTex

2011

ref_biblio
Marc Frappier, Amel Mammar. Proving non-interference on reachability properties : a refinement approach. APSEC 2011 : 18th Asia Pacific Software Engineering Conference, Dec 2011, Ho Chi Minh, Vietnam. pp.25 - 32, ⟨10.1109/APSEC.2011.35⟩. ⟨hal-01302414⟩
Accès au bibtex
BibTex
ref_biblio
Mariem Graa, Nora Cuppens-Boulahia, Fabien Autrel, Hanieh Azkia, Fr√©d√©ric Cuppens, et al.. Using requirements engineering in an automatic security policy derivation process. DPM - SETOP 2011 : 6th International Workshop on Data Privacy Management and 4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium. pp.155-172, ⟨10.1007/978-3-642-28879-1_11⟩. ⟨hal-00738844⟩
Accès au bibtex
BibTex
ref_biblio
Natalia Kushik, Amel Mammar, Ana Rosa Cavalli, Nina Yevtushenko, Edgardo Montes de Oca. A SPIN-based approach for detecting vulnerabilities in C programs. PSSV 2011 : 2nd Workshop on Program Semantics, Specification and Verification : Theory and Applications, Jun 2011, St Petersburg, Russia. pp.131 - 143. ⟨hal-01465027⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Marc Frappier, Fama Diagne. A proof-based approach to verifying reachability properties. SAC 2011 : 26th Symposium on Applied Computing, Mar 2011, Taichung, Taiwan. pp.1651 - 1657, ⟨10.1145/1982185.1982531⟩. ⟨hal-01303017⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Ana Rosa Cavalli, Willy Ronald Jimenez Freitez, Wissam Mallouli, Edgardo Montes de Oca. Using testing techniques for vulnerability detection in C programs. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.80-96, ⟨10.1007/978-3-642-24580-0_7⟩. ⟨hal-01303013⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01303013/file/978-3-642-24580-0_7_Chapter.pdf BibTex
ref_biblio
Amel Mammar. An overview of a proof-based approach to detecting C vulnerabilities. SAC 2011 : 26th Symposium on Applied Computing, Mar 2011, Taichung, Taiwan. pp.1343 - 1344, ⟨10.1145/1982185.1982476⟩. ⟨hal-01303015⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Pengfei Liu. A proof-based approach to detect vulnerabilities in C programs. SERP 2011 : International Conference on Software Engineering Research and Practice, Jul 2011, Las Vegas, United States. pp.464 - 470. ⟨hal-01302477⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01302477/file/Mammar2011.pdf BibTex

2010

ref_biblio
Marc Frappier, Fama Diagne, Amel Mammar. Proving reachability in B using substitution refinement. WOBD 2010 : Workshop on B Dissemination, Nov 2010, Natal, Brazil. ⟨hal-01306195⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, Fama Diagne, Marc Frappier. A proof-based approach to verifying reachability properties. WOBD 2010 : Workshop on B Dissemination, Nov 2010, Natal, Brazil. ⟨hal-01306183⟩
Accès au bibtex
BibTex

2009

ref_biblio
Willy Ronald Jimenez Freitez, Amel Mammar, Ana Rosa Cavalli. Software vulnerabilities, prevention and detection methods : a review. SEC-MDA 2009 : Security in Model Driven Architecture , Jun 2009, Enschede, Netherlands. pp.1 - 11. ⟨hal-01367445⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01367445/file/GET_sec-mda09.pdf BibTex
ref_biblio
Wissam Mallouli, Amel Mammar, Ana Rosa Cavalli. A formal framework to integrate timed security rules within a TEFSM-based system specification. APSEC 2009 : 16th AsiaPacific Software Engineering Conference, Dec 2009, Batu Ferringhi, Malaysia. pp.489 - 496, ⟨10.1109/APSEC.2009.52⟩. ⟨hal-00444089⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00444089/file/mallouli2009.pdf BibTex
ref_biblio
Wissam Mallouli, Amel Mammar, Ana Cavalli. Prise en Compte de R√®gles de S√©curit√© Temporelles dans une Sp√©ciÔ¨Ācation TEFSM d'un Syst√®me. CFIP'2009, Oct 2009, Strasbourg, France. ⟨inria-00419463⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00419463/file/34.pdf BibTex
ref_biblio
Amel Mammar, Ana Rosa Cavalli, Edgardo Montes de Oca, Shanai Ardi, David Byers, et al.. Mod√©lisation et d√©tection formelles de vuln√©rabilit√©s logicielles par le test passif. SAR-SSI 2009 : 4eme Conf√©rence sur la S√©curit√© des Architectures R√©seaux et des Syst√®mes d'Information , Jun 2009, Luchon, France. ⟨hal-00444066⟩
Accès au bibtex
BibTex

2008

ref_biblio
Salimeh Behnia, Amel Mammar, Jean-Marc Mota, Nicolas Breton, Paul Caspi, et al.. Industrialising a proof-based verification approach of computerised interlocking systems. COMPRAIL '08 : Eleventh International Conference on Computer System Design and Operation in the Railway and Other Transit Systems, Sep 2008, Toledo, Spain. ⟨10.2495/CR080151⟩. ⟨hal-00796378⟩
Accès au bibtex
BibTex
ref_biblio
Wissam Mallouli, Amel Mammar, Ana Rosa Cavalli. Modeling system security rules with time constraints using timed extended finite state machines. DS-RT 2008 : 12th IEEE/ACM International Symposium on Distributed Simulation an Real Time Applications, Oct 2008, Vancouver, Canada. pp.173 - 180, ⟨10.1109/DS-RT.2008.22⟩. ⟨hal-01380237⟩
Accès au bibtex
BibTex

2006

ref_biblio
Amel Mammar, Fr√©d√©ric Gervais, R√©gine Laleau. Systematic Identification of Preconditions from Set-Based Integrity Constraints. INFORSID'06, Hammamet, Tunisie, Jan 2006, X, France. pp.595-610. ⟨hal-01125172⟩
Accès au bibtex
BibTex

2004

ref_biblio
Amel Mammar, R√©gine Laleau. UML2SQL : un environnement int√©gr√© pour le d√©veloppement d'impl√©mentations relationnelles √† partir de diagrammes UML. Approches Formelles dans l'Assistance au D√©veloppement de Logiciels, AFADL'04, 2004, Besan√ɬßon, France. pp.333--336. ⟨hal-01224669⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, R√©gine Laleau. UML2SQL: Un environment int√©gr√© pour le d√©veloppement d'impl√©mentations relationnelles √† partir de diagrammes UML. AFADL'04, Jan 2004, X, France. ⟨hal-01124911⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, R√©gine Laleau. G√©n√©ration de code ex√©cutable √† partir d'une sp√©cification B : applications aux bases de donn√©es. Approches Formelles dans l'Assistance au D√©veloppement de Logiciels, AFADL'04, 2004, Besan√ɬßon, France. pp.77--91. ⟨hal-01224671⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar, R√©gine Laleau. G√©n√©ration de code √† partir d'une sp√©cification B: application aux bases de donn√©es. AFADL'04, Jan 2004, X, France. ⟨hal-01124909⟩
Accès au bibtex
BibTex

2003

ref_biblio
Amel Mammar, R√©gine Laleau. Design of an Automatic Prover Dedicated to the Refinement of Database Applications. FM'2003, Springer-Verlag, LNCS n¬į 2805, pp 834-854, Pise,Italy, Jan 2003, X, France. ⟨hal-01124709⟩
Accès au bibtex
BibTex

2001

ref_biblio
R√©gine Laleau, Amel Mammar. An Automatic Generation of B Specifications from Well-defined UML Notations for Database Applications. Int. Symp. on Programming Systems, Alger, Alg√©rie, Jan 2001, X, France. ⟨hal-01124660⟩
Accès au bibtex
BibTex
ref_biblio
Amel Mammar. Une approche formelle par raffinement pour le d√©veloppement d'applications bases de donn√©es s√Ľres. 19√®me congr√©s INFORSID, Gen√®ve, Suisse, Jan 2001, X, France. ⟨hal-01124663⟩
Accès au bibtex
BibTex

2000

ref_biblio
R√©gine Laleau, Amel Mammar. A Generic Process to Refine a B Specification into a Relational Database Implementation. First Int. Conf. of B and Z users (ZB2000), Springer-Verlag, LNCS n¬į 1878, York, UK, Jan 2000, X, France. ⟨hal-01124529⟩
Accès au bibtex
BibTex
ref_biblio
R√©gine Laleau, Amel Mammar. An Overview of a Method and its support Tool for Generating B Specifications from UML Notations. 15th IEEE Int. Conf. on Automated Software Engineering (ASE2000), Grenoble, France, Jan 2000, X, France. ⟨hal-01124519⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

2021

ref_biblio
Steve Jeffrey Tueno Fotso, R√©gine Laleau, Amel Mammar, Marc Frappier. Integrating domain modeling within a formal requirements engineering method. Implicit and explicit semantics integration in proof-based developments of discrete systems: communications of NII Shonan meetings, Springer, pp.39-58, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_3⟩. ⟨hal-03545897⟩
Accès au bibtex
BibTex

2014

ref_biblio
Jean-Marc Mota, Evguenia Dmitrieva, Amel Mammar, Paul Caspi, Nicolas Breton, et al.. Safety demonstration for a rail signaling application in nominal and degraded modes using formal proof. Formal methods applied to complex systems, ISTE-Wiley, pp.71 - 113, 2014, Computer Engineering Series, 978-1-84821-632-7. ⟨10.1002/9781119004707.ch4⟩. ⟨hal-01464432⟩
Accès au bibtex
BibTex

2012

ref_biblio
Jean-Marc Mota, Evguenia Dmitrieva, Amel Mammar, Paul Caspi, Salimeh Behnia, et al.. D√©monstration de la s√©curit√© d'une application de signalisation en mode nominal et en modes d√©grad√©s par la preuve formelle. Techniques industrielles de mod√©lisation formelle pour le transport, Hermes-Lavoisier, pp.145-185, 2012, 978-2-7462-3230-3. ⟨hal-00766909⟩
Accès au bibtex
BibTex
ref_biblio
Jean-Marc Mota, Evguenia Dmitrieva, Amel Mammar, Paul Caspi, Salimeh Behnia, et al.. D√©monstration de la s√©curit√© d'une application de signalisation en mode nominal et en modes d√©grad√©s par la preuve formelle. Techniques industrielles de mod√©lisation formelle pour le transport, Herm√®s-Lavoisier, pp.145-185, 2012, 978-2-7462-3230-3. ⟨hal-00796381⟩
Accès au bibtex
BibTex

2010

ref_biblio
Wissam Mallouli, Mounir Lallali, Amel Mammar, Gerardo Morales, Ana Rosa Cavalli. Modeling and testing secure web applications. Web-based information technologies and distributed systems, Atlantis Press, pp.207-255, 2010, Atlantis Ambient and Pervasive Intelligence, ⟨10.1007/978-94-91216-32-9_10⟩. ⟨hal-00673835⟩
Accès au bibtex
BibTex

2009

ref_biblio
Amel Mammar, R√©gine Laleau. UB2SQL : a tool for building database applications using UML and B formal method. Database technologies : concepts, methodologies, tools, and applications, IGI Global, pp.1168-1188, 2009, ⟨10.4018/978-1-60566-058-5.ch067⟩. ⟨hal-00597321⟩
Accès au bibtex
BibTex

2008

ref_biblio
Amel Mammar, R√©gine Laleau. UB2SQL : a tool for building database applications using UML and B formal method. Advanced principles for improving database design, systems modeling, and software development, Information Science Publishing, pp.111 - 131, 2008, Advances in Database Research, 978-1-60566-172-8. ⟨10.4018/978-1-60566-172-8.ch007⟩. ⟨hal-01326381⟩
Accès au bibtex
BibTex

2006

ref_biblio
R√©gine Laleau, Amel Mammar. From UML Diagrams to B Specifications. Henri Habrias, France Marc Frappier. Software Specification Methods : an Overview Using a Case Study, ISTE - London, pp.59 - 80, 2006. ⟨hal-00145958⟩
Accès au bibtex
BibTex

Rapport

2019

ref_biblio
Steve Jeffrey Tueno Fotso, Amel Mammar, R√©gine Laleau, Marc Frappier. Formal representation of SysML/KAOS domain model. [Research Report] LACL, Universit√© Paris-Est/Cr√©teil. 2019. ⟨hal-02874826⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02874826/file/Domain_Model_Formalization-formal_syntax_for_rules-Mars2019.pdf BibTex

2004

ref_biblio
R√©gine Laleau, Amel Mammar. UML2SQL: An Integrated Environment for the Development of UML and SQL Specifications. [Research Report] CEDRIC-04-643, CEDRIC Lab/CNAM. 2004. ⟨hal-01124913⟩
Accès au bibtex
BibTex

2001

ref_biblio
R√©gine Laleau, Amel Mammar. R√©utilisation des preuves dans le processus de raffinement B. [Research Report] CEDRIC-01-377, CEDRIC Lab/CNAM. 2001. ⟨hal-01124730⟩
Accès au bibtex
BibTex
ref_biblio
R√©gine Laleau, Amel Mammar. Un exemple de g√©n√©ration d'une impl√©mentation relationnelle √† partir d'une sp√©cification B. [Research Report] CEDRIC-01-368, CEDRIC Lab/CNAM. 2001. ⟨hal-01124723⟩
Accès au bibtex
BibTex

2000

ref_biblio
R√©gine Laleau, Amel Mammar. Using a Formal Refinement to Derive Relational Database Implementations from B Specifications. [Research Report] CEDRIC-00-86, CEDRIC Lab/CNAM. 2000. ⟨hal-01124516⟩
Accès au bibtex
BibTex

1999

ref_biblio
Philippe Facon, R√©gine Laleau, Amel Mammar, Fiona Polack. Formal Specification of the UML Metamodel for Building Rigorous Caise Tools. [Research Report] CEDRIC-99-91, CEDRIC Lab/CNAM. 1999. ⟨hal-01124520⟩
Accès au bibtex
BibTex
ref_biblio
Philippe Facon, R√©gine Laleau, Amel Mammar. Combining UML with the B Formal Method for the Specification of Database Applications. [Research Report] CEDRIC-99-87, CEDRIC Lab/CNAM. 1999. ⟨hal-01124517⟩
Accès au bibtex
BibTex