Travelled to:1 × Italy
1 × Portugal
1 × Taiwan
3 × France
Collaborated with:R.Laleau N.Guelfi F.Diagne M.Frappier ∅ A.R.Cavalli W.Jimenez W.Mallouli E.M.d.Oca S.Ramel B.Grégoire M.S.II
Talks about:properti (2) overview (2) approach (2) generat (2) vulner (2) verifi (2) specif (2) detect (2) proof (2) tool (2)
Person: Amel Mammar
DBLP: Mammar:Amel
Contributed to:
2014
2011
20112006
2005
2003
2000Wrote 8 papers:
- SEFM-2014-DiagneMF #verification
- A Tool for Verifying Dynamic Properties in B (FD, AM, MF), pp. 290–295.
- ICTSS-2011-MammarCJMO #c #detection #source code #testing #using
- Using Testing Techniques for Vulnerability Detection in C Programs (AM, ARC, WJ, WM, EMdO), pp. 80–96.
- SAC-2011-Mammar #approach #c #detection #overview
- An overview of a proof-based approach to detecting C vulnerabilities (AM), pp. 1343–1344.
- SAC-2011-MammarFD #approach #reachability #verification
- A proof-based approach to verifying reachability properties (AM, MF, FD), pp. 1651–1657.
- SAC-2006-GuelfiM #diagrams #framework #process #specification #uml
- A formal framework to generate XPDL specifications from UML activity diagrams (NG, AM), pp. 1224–1231.
- CAiSE-2005-MammarRGSG #named #performance #tool support #transaction
- Efficient: A Toolset for Building Trusted B2B Transactions (AM, SR, BG, MSI, NG), pp. 430–445.
- FME-2003-MammarL #automation #database #design #proving #refinement
- Design of an Automatic Prover Dedicated to the Refinement of Database Applications (AM, RL), pp. 834–854.
- ASE-2000-LaleauM #generative #overview #specification #uml
- An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations (RL, AM), pp. 269–272.