BibSonomy ::  author ::

bookmarks

publications

(6)

• Towards an Efficient Implementation of Tree Automata Completion.
  Emilie Balland and Yohan Boichut and Thomas Genet and Pierre-Etienne Moreau AMAST 67-82 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Finer Is Better: Abstraction Refinement for Rewriting Approximations.
  Yohan Boichut and Roméo Courbis and Pierre-Cyrille Héam and Olga Kouchnarenko RTA 48-62 (2008)
  to dblp by dblp on 2008-08-02 00:00:00
  | URL | BibTeX  
• Rewriting Approximations for Fast Prototyping of Static Analyzers.
  Yohan Boichut and Thomas Genet and Thomas P. Jensen and Luka Le Roux RTA 48-62 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Handling Algebraic Properties in Automatic Analysis of Security Protocols.
  Yohan Boichut and Pierre-Cyrille Héam and Olga Kouchnarenko ICTAC 153-167 (2006)
  to dblp by dblp on 2006-11-13 00:00:00
  | URL | BibTeX  
• Feasible Trace Reconstruction for Rewriting Approximations.
  Yohan Boichut and Thomas Genet RTA 123-135 (2006)
  to dblp by dblp on 2006-08-22 00:00:00
  | URL | BibTeX  
• The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.
  Alessandro Armando and David A. Basin and Yohan Boichut and Yannick Chevalier and Luca Compagna and Jorge Cuéllar and Paul Hankes Drielsma and Pierre-Cyrille Héam and Olga Kouchnarenko and Jacopo Mantovani and Sebastian Mödersheim and David von Oheimb and Michaël Rusinowitch and Judson Santiago and Mathieu Turuani and Luca Viganò and Laurent Vigneron CAV 281-285 (2005)
  to dblp by dblp on 2005-11-28 00:00:00
  | URL | BibTeX