Travelled to:1 × Italy
1 × South Africa
Collaborated with:∅ D.Doligez C.Faure T.Hardin J.Étienne F.Anseaume V.Delebarre D.L.Métayer V.V.T.Tong E.Mazza M.Potet N.Craipeau S.Frénot R.Hardouin
Talks about:secur (2) overview (1) function (1) approach (1) softwar (1) program (1) predict (1) languag (1) illustr (1) develop (1)
Person: Manuel Maarek
DBLP: Maarek:Manuel
Contributed to:
20152010
2018Wrote 4 papers:
- ICSE-v2-2015-DoligezFHM #development #functional #programming #security #validation #xml
- Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator (DD, CF, TH, MM), pp. 209–218.
- ICSE-v2-2015-EtienneMAD #modelling #performance #predict #process #proving #trust
- Improving Predictability, Efficiency and Trust of Model-Based Proof Activity (JFÉ, MM, FA, VD), pp. 139–148.
- ICSE-2010-MetayerMTMPCFH #approach #case study #overview #re-engineering
- Liability in software engineering: overview of the LISE approach and illustration on a case study (DLM, MM, VVTT, EM, MLP, NC, SF, RH), pp. 135–144.
- PLATEAU-2018-Maarek #string
- Observing the Uptake of a Language Change Making Strings Immutable (MM), p. 8.