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 × 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 DBLP: Boichut:Yohan

Contributed to:

LATA 20152015
RTA 20132013
RTA 20082008
RTA 20072007
RTA 20062006
CAV 20052005

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

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.