Search the dblp DataBase

Publications of Author

1. Nicolas Guelfi, Amel Mammar
   A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. [Citation Graph (0, 0)][DBLP]
   APSEC, 2005, pp:283-290 [Conf]
   
2. Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt II, Nicolas Guelfi
   Efficient: A Toolset for Building Trusted B2B Transactions. [Citation Graph (0, 0)][DBLP]
   CAiSE, 2005, pp:430-445 [Conf]
   
3. Amel Mammar, Régine Laleau
   Design of an Automatic Prover Dedicated to the Refinement of Database Applications. [Citation Graph (0, 0)][DBLP]
   FME, 2003, pp:834-854 [Conf]
   
4. Amel Mammar
   Une Approche Formelle par Raffinement pour le Développement d'Applications Bases de Données Sûres. [Citation Graph (0, 0)][DBLP]
   INFORSID, 2001, pp:319-339 [Conf]
   
5. Amel Mammar, Frédéric Gervais, Régine Laleau
   Systematic Identification of Preconditions from Set-Based Integrity Constraints. [Citation Graph (0, 0)][DBLP]
   INFORSID, 2006, pp:595-610 [Conf]
   
6. Régine Laleau, Amel Mammar
   An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. [Citation Graph (0, 0)][DBLP]
   ASE, 2000, pp:269-272 [Conf]
   
7. Nicolas Guelfi, Amel Mammar
   A formal framework to generate XPDL specifications from UML activity diagrams. [Citation Graph (0, 0)][DBLP]
   SAC, 2006, pp:1224-1231 [Conf]
   
8. Amel Mammar
   A Formal Approach and its Tool Support for the Specification and the Verification of Structural Properties on UML Activity Diagrams. [Citation Graph (0, 0)][DBLP]
   Software Engineering Research and Practice, 2006, pp:988-994 [Conf]
   
9. Régine Laleau, Amel Mammar
   A Generic Process to Refine a B Specification into a Relational Database Implementation. [Citation Graph (0, 0)][DBLP]
   ZB, 2000, pp:22-41 [Conf]
   
10. Amel Mammar, Régine Laleau
    A formal approach based on UML and B for the specification and development of database applications. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2006, v:13, n:4, pp:497-528 [Journal]
    
11. Amel Mammar, Régine Laleau
    From a B formal specification to an executable code: application to the relational database domain. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2006, v:48, n:4, pp:253-279 [Journal]
    
12. Amel Mammar
    Développement formel par raffinement d'applications bases de données sûres. [Citation Graph (0, 0)][DBLP]
    Ingénierie des Systèmes d'Information, 2001, v:6, n:2, pp:41-72 [Journal]
    
13. Amel Mammar, Régine Laleau
    UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method. [Citation Graph (0, 0)][DBLP]
    J. Database Manag., 2006, v:17, n:4, pp:70-89 [Journal]
    
14. 
    A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification. [Citation Graph (, )][DBLP]
    
    
15. 
    Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines. [Citation Graph (, )][DBLP]