- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j10 |      | 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. Automatic Control and Computer Sciences 46(7): 379-386 (2012) |
| j9 | | Amel Mammar, Wissam Mallouli, Ana R. Cavalli: A systematic approach to integrate common timed security rules within a TEFSM-based system specification. Information & Software Technology 54(1): 87-98 (2012) |
| j8 | | 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. Information & Software Technology 54(9): 997-1013 (2012) |
| c18 | | Amel Mammar, Marc Frappier, Raphaël Chane-Yack-Fa: Proving the Absence Property Pattern Using the B Method. HASE 2012: 167-170 |
| c17 | | Marc Frappier, Amel Mammar: An Assertions-Based Approach to Verifying the Absence Property Pattern. ISSRE 2012: 361-370 |
| 2011 | ||
| j7 | | Marc Frappier, Fama Diagne, Amel Mammar: Proving Reachability in B using Substitution Refinement. Electr. Notes Theor. Comput. Sci. 280: 47-56 (2011) |
| c16 | | Marc Frappier, Amel Mammar: Proving Non-interference on Reachability Properties: A Refinement Approach. APSEC 2011: 25-32 |
| c15 | | 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: 155-172 |
| c14 | | Amel Mammar, Ana R. Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca: Using Testing Techniques for Vulnerability Detection in C Programs. ICTSS 2011: 80-96 |
| c13 | | Amel Mammar: An overview of a proof-based approach to detecting C vulnerabilities. SAC 2011: 1343-1344 |
| c12 | | Amel Mammar, Marc Frappier, Fama Diagne: A proof-based approach to verifying reachability properties. SAC 2011: 1651-1657 |
| 2009 | ||
| j6 | | Amel Mammar: A systematic approach to generate B preconditions: application to the database domain. Software and System Modeling 8(3): 385-401 (2009) |
| p1 | | Amel Mammar, Régine Laleau: UB2SQL. Database Technologies: Concepts, Methodologies, Tools, and Applications 2009: 1168-1188 |
| c11 | | Wissam Mallouli, Amel Mammar, Ana R. Cavalli: A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification. APSEC 2009: 489-496 |
| 2008 | ||
| j5 | | Amel Mammar, Régine Laleau: Implémentation JAVA d'une spAcification B. Application aux bases de données. Technique et Science Informatiques 27(5): 537-570 (2008) |
| c10 | | Wissam Mallouli, Amel Mammar, Ana R. Cavalli: Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines. DS-RT 2008: 173-180 |
| 2006 | ||
| j4 | | 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): 497-528 (2006) |
| j3 | | Amel Mammar, Régine Laleau: From a B formal specification to an executable code: application to the relational database domain. Information & Software Technology 48(4): 253-279 (2006) |
| j2 | | Amel Mammar, Régine Laleau: UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method. J. Database Manag. 17(4): 70-89 (2006) |
| c9 |  | Amel Mammar, Frédéric Gervais, Régine Laleau: Systematic Identification of Preconditions from Set-Based Integrity Constraints. INFORSID 2006: 595-610 |
| c8 | | Nicolas Guelfi, Amel Mammar: A formal framework to generate XPDL specifications from UML activity diagrams. SAC 2006: 1224-1231 |
| c7 | | 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: 988-994 |
| 2005 | ||
| c6 | | Nicolas Guelfi, Amel Mammar: A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. APSEC 2005: 283-290 |
| c5 | | Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt II, Nicolas Guelfi: Efficient: A Toolset for Building Trusted B2B Transactions. CAiSE 2005: 430-445 |
| 2003 | ||
| c4 | | Amel Mammar, Régine Laleau: Design of an Automatic Prover Dedicated to the Refinement of Database Applications. FME 2003: 834-854 |
| 2001 | ||
| j1 | | Amel Mammar: Développement formel par raffinement d'applications bases de données sûres. Ingénierie des Systèmes d'Information 6(2): 41-72 (2001) |
| c3 | | Amel Mammar: Une Approche Formelle par Raffinement pour le Développement d'Applications Bases de Données Sûres. INFORSID 2001: 319-339 |
| 2000 | ||
| c2 | | Régine Laleau, Amel Mammar: An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. ASE 2000: 269-272 |
| c1 | | Régine Laleau, Amel Mammar: A Generic Process to Refine a B Specification into a Relational Database Implementation. ZB 2000: 22-41 |
Colors in the list of coauthors
Last update Tue May 21 09:41:31 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page