Amel Mammar - RankMe

91 papers A* 1A 4B 13C 19Misc 3Journal 33Unranked 17

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