 | 2009 |
|---|
| 16 |       | Amel Mammar:
A systematic approach to generate B preconditions: application to the database domain.
Software and System Modeling 8(3): 385-401 (2009) |
| 2008 |
|---|
| 15 | | 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 |
| 14 | | 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) |
| 2006 |
|---|
| 13 |  | Amel Mammar,
Frédéric Gervais,
Régine Laleau:
Systematic Identification of Preconditions from Set-Based Integrity Constraints.
INFORSID 2006: 595-610 |
| 12 | | Nicolas Guelfi,
Amel Mammar:
A formal framework to generate XPDL specifications from UML activity diagrams.
SAC 2006: 1224-1231 |
| 11 | | 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 |
| 10 | | 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) |
| 9 | | 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) |
| 8 | | 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) |
| 2005 |
|---|
| 7 | | Nicolas Guelfi,
Amel Mammar:
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation.
APSEC 2005: 283-290 |
| 6 | | 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 |
|---|
| 5 | | Amel Mammar,
Régine Laleau:
Design of an Automatic Prover Dedicated to the Refinement of Database Applications.
FME 2003: 834-854 |
| 2001 |
|---|
| 4 | | Amel Mammar:
Une Approche Formelle par Raffinement pour le Développement d'Applications Bases de Données Sûres.
INFORSID 2001: 319-339 |
| 3 | | 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) |
| 2000 |
|---|
| 2 | | 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 |
| 1 | | Régine Laleau,
Amel Mammar:
A Generic Process to Refine a B Specification into a Relational Database Implementation.
ZB 2000: 22-41 |
