Travelled to:1 × Austria
1 × The Netherlands
1 × USA
1 × United Kingdom
2 × France
Collaborated with:T.Genet J.Chabin P.Réty P.Héam O.Kouchnarenko R.Courbis T.P.Jensen L.L.Roux A.Armando D.A.Basin Y.Chevalier L.Compagna J.Cuéllar P.H.Drielsma J.Mantovani S.Mödersheim D.v.Oheimb M.Rusinowitch J.Santiago M.Turuani L.Viganò L.Vigneron
Talks about:approxim (5) rewrit (4) reconstruct (1) synchron (1) prototyp (1) protocol (1) internet (1) abstract (1) languag (1) feasibl (1)
Person: Yohan Boichut
DBLP: Boichut:Yohan
Contributed to:
2015
2013200820072006
2005Wrote 6 papers:
- LATA-2015-BoichutCR #approximate #precise #towards
- Towards More Precise Rewriting Approximations (YB, JC, PR), pp. 652–663.
- RTA-2013-BoichutCR #approximate
- Over-approximating Descendants by Synchronized Tree Languages (YB, JC, PR), pp. 128–142.
- RTA-2008-BoichutCHK #abstraction #approximate #refinement
- Finer Is Better: Abstraction Refinement for Rewriting Approximations (YB, RC, PCH, OK), pp. 48–62.
- RTA-2007-BoichutGJR #approximate #performance #prototype
- Rewriting Approximations for Fast Prototyping of Static Analyzers (YB, TG, TPJ, LLR), pp. 48–62.
- RTA-2006-BoichutG #approximate #re-engineering
- Feasible Trace Reconstruction for Rewriting Approximations (YB, TG), pp. 123–135.
- CAV-2005-ArmandoBBCCCDHKMMORSTVV #automation #internet #protocol #security #validation
- The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications (AA, DAB, YB, YC, LC, JC, PHD, PCH, OK, JM, SM, DvO, MR, JS, MT, LV, LV), pp. 281–285.