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: Baudin:Patrick
Contributed to:
2009
1999Wrote 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.