Amel Mammar

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 48

Top Topics

Business Process

Formal Representation

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Amel Mammar, Marc Frappier, Régine Laleau
An Event-B model of an automotive adaptive exterior light system. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Amel Mammar, Meriem Belguidoum, Saddam Hocine Hiba
A formal approach for the correct deployment of cloud applications. Sci. Comput. Program. 232 (2024)
Amel Mammar, Marc Frappier
Modeling of a speed control system using Event-B. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Amel Mammar
An Event-B Model of a Mechanical Lung Ventilator. ABZ (2024)
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. ICSOFT (2023)
Amel Mammar, Michael Leuschel
Modeling and Verifying an Arrival Manager Using Event-B. ABZ (2023)
Quelen Cartellier, Marc Frappier, Amel Mammar
Proving Local Invariants in ASTDs. ICFEM (2023)
Amel Mammar, Lazhar Hamel, Mohamed Graiet
An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications. Comput. J. 65 (10) (2022)
Amel Mammar, Meryem Afendi, Régine Laleau
Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation. Sci. Comput. Program. 222 (2022)
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. ICECCS (2022)
Imed Abbassi, Amel Mammar, Mohamed Graiet
A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration. IEEE Trans. Serv. Comput. 15 (5) (2022)
Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Amel Mammar, Marc Frappier, Régine Laleau
An Event-B Model of an Automotive Adaptive Exterior Light System. ABZ (2020)
Lionel Nganyewou Tidjon, Marc Frappier, Amel Mammar
Intrusion Detection Using ASTDs. AINA (2020)
Amel Mammar, Marc Frappier
Modeling of a Speed Control System Using Event-B. ABZ (2020)
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. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Meryem Afendi, Régine Laleau, Amel Mammar
Modelling Hybrid Programs with Event-B. ABZ (2020)
Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Régine Laleau
SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy. Comput. J. 62 (12) (2019)
Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili
Assessment of a Formal Requirements Modeling Approach on a Transportation System. ICFEM (2019)
Steve Jeffrey Tueno Fotso, Régine Laleau, Héctor Ruíz Barradas, Marc Frappier, Amel Mammar
A Formal Requirements Modeling Approach: Application to Rail Communication. ICSOFT (2019)
Lionel Nganyewou Tidjon, Marc Frappier, Amel Mammar
Intrusion Detection Systems: A Cross-Domain Overview. IEEE Commun. Surv. Tutorials 21 (4) (2019)
Sindyana Jlassi, Amel Mammar, Imed Abbassi, Mohamed Graiet
Towards correct cloud resource allocation in FOSS applications. Future Gener. Comput. Syst. 91 (2019)
Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. ABZ (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Héctor Ruíz Barradas
The Generic SysML/KAOS Domain Metamodel. CoRR (2018)
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. ABZ (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar, Régine Laleau
From SysML/KAOS Domain Models to B System Specifications. CoRR (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar
Back Propagating B System Updates on SysML/KAOS Domain Models. ICECCS (2018)
Raphaël Chane-Yack-Fa, Marc Frappier, Amel Mammar, Alain Finkel
Parameterized verification of monotone information systems. Formal Aspects Comput. 30 (3-4) (2018)
Lionel Nganyewou Tidjon, Marc Frappier, Michael Leuschel, Amel Mammar
Extended Algebraic State-Transition Diagrams. ICECCS (2018)
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)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel
Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. IFM (2018)
Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier
The SysML/KAOS Domain Modeling Approach. CoRR (2017)
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. Inf. Softw. Technol. 92 (2017)
Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata
A verification and deployment approach for elastic component-based applications. Formal Aspects Comput. 29 (6) (2017)
Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau
Verification of SGAC Access Control Policies Using Alloy and ProB. HASE (2017)
Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier
Formal Representation of SysML/KAOS Domain Model (Complete Version). CoRR (2017)
Amel Mammar, Régine Laleau
Modeling a landing gear system in Event-B. Int. J. Softw. Tools Technol. Transf. 19 (2) (2017)
Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul
Towards Correct Cloud Resource Allocation in Business Processes. IEEE Trans. Serv. Comput. 10 (1) (2017)
Steve Tueno, Regine Laleau, Amel Mammar, Marc Frappier
Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. RE Workshops (2017)
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
An Event-B Based Approach for Ensuring Correct Configurable Business Processes. ICWS (2016)
Amel Mammar, Thi Mai Nguyen, Régine Laleau
Formal Development of a Secure Access Control Filter. HASE (2016)
Mohamed Anis Zemni, Amel Mammar, Nejib Ben Hadj-Alouane
An automated approach for merging business process fragments. Comput. Ind. 82 (2016)
Amel Mammar, Régine Laleau
On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications. ISoLA (1) (2016)
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B. AINA (2016)
Thi Mai Nguyen, Amel Mammar, Regine Laleau, Samir Hameg
A tool for the generation of a secure access control filter. RCIS (2016)
Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Regine Laleau
SGAC: A patient-centered access control method. RCIS (2016)
Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
A formal validation of the RBAC ANSI 2012 standard using B. Sci. Comput. Program. 131 (2016)
Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
A Formal Guidance Approach for Correct Process Configuration. ICSOC (2016)
Amel Mammar, Marc Frappier
Proof-based verification approaches for dynamic properties: application to the information system domain. Formal Aspects Comput. 27 (2) (2015)
Fama Diagne, Amel Mammar, Marc Frappier
A Tool for Verifying Dynamic Properties in B. SEFM (2014)
Mohamed Anis Zemni, Amel Mammar, Nejib Ben Hadj-Alouane
Formal Approach for Generating Privacy Preserving User Requirements-Based Business Process Fragments. ACSC (2014)
Amel Mammar, Régine Laleau
Modeling a Landing Gear System in Event-B. ABZ (Case Study) (2014)
Amel Mammar, Marc Frappier
Verifying the Precedence Property Pattern Using the B Method. HASE (2014)
Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
Validating the RBAC ANSI 2012 Standard Using B. ABZ (2014)
Amel Mammar, Régine Laleau
A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction. APSEC (1) (2014)
Mohamed Anis Zemni, Nejib Ben Hadj-Alouane, Amel Mammar
Business Process Fragments Behavioral Merge. OTM Conferences (2014)
Mohamed Anis Zemni, Amel Mammar, Nejib Ben Hadj-Alouane
A Behavior-Aware Systematic Approach for Merging Business Process Fragments. ICECCS (2014)
Mohamed Anis Zemni, Nejib Ben Hadj-Alouane, Amel Mammar
Process Decomposition Based on Semantics and Privacy-Aware Requirements-Driven Approach. iiWAS (2013)
Amel Mammar, Marc Frappier, Raphaël Chane-Yack-Fa
Proving the Absence Property Pattern Using the B Method. HASE (2012)
Amel Mammar, Wissam Mallouli, Ana R. Cavalli
A systematic approach to integrate common timed security rules within a TEFSM-based system specification. Inf. Softw. Technol. 54 (1) (2012)
Marc Frappier, Amel Mammar
An Assertions-Based Approach to Verifying the Absence Property Pattern. ISSRE (2012)
Nahid Shahmehri, Amel Mammar, Edgardo Montes de Oca, David Byers, Ana R. Cavalli, Shanai Ardi, Willy Jimenez
An advanced approach for modeling and detecting software vulnerabilities. Inf. Softw. Technol. 54 (9) (2012)
Natalia Kushik, Amel Mammar, Ana R. Cavalli, Nina Yevtushenko, Willy Jimenez, Edgardo Montes de Oca
A SPIN-based approach for detecting vulnerabilities in C programs. Autom. Control. Comput. Sci. 46 (7) (2012)
Mariem Graa, Nora Cuppens-Boulahia, Fabien Autrel, Hanieh Azkia, Frédéric Cuppens, Gouenou Coatrieux, Ana R. Cavalli, Amel Mammar
Using Requirements Engineering in an Automatic Security Policy Derivation Process. DPM/SETOP (2011)
Marc Frappier, Amel Mammar
Proving Non-interference on Reachability Properties: A Refinement Approach. APSEC (2011)
Amel Mammar, Ana R. Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca
Using Testing Techniques for Vulnerability Detection in C Programs. ICTSS (2011)
Marc Frappier, Fama Diagne, Amel Mammar
Proving Reachability in B using Substitution Refinement. Electron. Notes Theor. Comput. Sci. 280 (2011)
Wissam Mallouli, Amel Mammar, Ana R. Cavalli, Willy Jimenez
VDC-Based Dynamic Code Analysis: Application to C Programs. J. Internet Serv. Inf. Secur. 1 (2/3) (2011)
Amel Mammar, Marc Frappier, Fama Diagne
A proof-based approach to verifying reachability properties. SAC (2011)
Amel Mammar
An overview of a proof-based approach to detecting C vulnerabilities. SAC (2011)
Amel Mammar
A systematic approach to generate B preconditions: application to the database domain. Softw. Syst. Model. 8 (3) (2009)
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification. APSEC (2009)
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines. DS-RT (2008)
Amel Mammar, Régine Laleau
Implémentation JAVA d'une spAcification B. Application aux bases de données. Tech. Sci. Informatiques 27 (5) (2008)
Amel Mammar
A Formal Approach and its Tool Support for the Specification and the Verification of Structural Properties on UML Activity Diagrams. Software Engineering Research and Practice (2006)
Nicolas Guelfi, Amel Mammar
A formal framework to generate XPDL specifications from UML activity diagrams. SAC (2006)
Amel Mammar, Frédéric Gervais, Régine Laleau
Systematic Identification of Preconditions from Set-Based Integrity Constraints. INFORSID (2006)
Amel Mammar, Régine Laleau
UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method. J. Database Manag. 17 (4) (2006)
Amel Mammar, Régine Laleau
A formal approach based on UML and B for the specification and development of database applications. Autom. Softw. Eng. 13 (4) (2006)
Amel Mammar, Régine Laleau
From a B formal specification to an executable code: application to the relational database domain. Inf. Softw. Technol. 48 (4) (2006)
Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt, Nicolas Guelfi
Efficient: A Toolset for Building Trusted B2B Transactions. CAiSE (2005)
Nicolas Guelfi, Amel Mammar
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. APSEC (2005)
Amel Mammar, Régine Laleau
Design of an Automatic Prover Dedicated to the Refinement of Database Applications. FME (2003)
Amel Mammar
Une Approche Formelle par Raffinement pour le Développement d'Applications Bases de Données Sûres. INFORSID (2001)
Amel Mammar
Développement formel par raffinement d'applications bases de données sûres. Ingénierie des Systèmes d Inf. 6 (2) (2001)
Régine Laleau, Amel Mammar
A Generic Process to Refine a B Specification into a Relational Database Implementation. ZB (2000)
Régine Laleau, Amel Mammar
An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. ASE (2000)