 | 2012 |
|---|
| 25 |       | 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) |
| 2011 |
|---|
| 24 | | Marc Frappier,
Amel Mammar:
Proving Non-interference on Reachability Properties: A Refinement Approach.
APSEC 2011: 25-32 |
| 23 | | 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 |
| 22 | | 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 |
| 21 | | Amel Mammar:
An overview of a proof-based approach to detecting C vulnerabilities.
SAC 2011: 1343-1344 |
| 20 | | Amel Mammar,
Marc Frappier,
Fama Diagne:
A proof-based approach to verifying reachability properties.
SAC 2011: 1651-1657 |
| 19 | | Marc Frappier,
Fama Diagne,
Amel Mammar:
Proving Reachability in B using Substitution Refinement.
Electr. Notes Theor. Comput. Sci. 280: 47-56 (2011) |
| 2009 |
|---|
| 18 | | 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 |
| 17 | | Amel Mammar,
Régine Laleau:
UB2SQL.
Database Technologies: Concepts, Methodologies, Tools, and Applications 2009: 1168-1188 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page