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 × France
1 × United Kingdom
Collaborated with:
F.Randimbivololona J.Souyris A.Pacalet J.Raguideau D.Schoen P.Cuoq J.Signoles R.Bonichon G.Canet L.Correnson B.Monate V.Prevosto A.Puccetti
Talks about:
framework (1) techniqu (1) strength (1) industri (1) approach (1) softwar (1) pragmat (1) analysi (1) static (1) report (1)

Person: Patrick Baudin

DBLP DBLP: Baudin:Patrick

Contributed to:

ICFP 20092009
World Congress on Formal Methods 19991999

Wrote 2 papers:

ICFP-2009-CuoqSBBCCMPP #case study #experience #framework #ml #static analysis
Experience report: OCaml for an industrial-strength static analysis framework (PC, JS, PB, RB, GC, LC, BM, VP, AP), pp. 281–286.
FM-v2-1999-RandimbivololonaSBPRS #approach #proving
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach (FR, JS, PB, AP, JR, DS), pp. 1798–1815.

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.