The SCEAS System
Navigation Menu

Search the dblp DataBase


Amel Mammar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.004secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002