Pr. Amel MAMMAR

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2018

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

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

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

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

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

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

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

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

2016

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ref_biblio

Wissam Mallouli, Amel Mammar, Ana Cavalli. Prise en Compte de Règles de Sécurité Temporelles dans une Spécification TEFSM d'un Système. CFIP'2009, Oct 2009, Strasbourg, France. ⟨inria-00419463⟩

Accès au texte intégral et 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

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

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

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

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

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

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

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

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

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

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

2000

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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