BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Maarek:Manuel

Contributed to:

ICSE 20152015
ICSE 20102010
PLATEAU 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.