BibSonomy :: author  ::

bookmarks

publications

(139)

• On (Omega-)Regular Model Checking
  Axel Legay and Pierre Wolper CoRR abs/0809.2214 (2008)
  to dblp by dblp on 2008-10-02 00:00:00
  | URL | BibTeX  
• Computing Convex Hulls by Automata Iteration.
  François Cantin and Axel Legay and Pierre Wolper CIAA 112-121 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Preface -- Workshop Trustworthy Software 2006.
  Serge Autexier and Stephan Merz and Leendert W. N. van der Torre and Reinhard Wilhelm and Pierre Wolper Trustworthy Software (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• Shape Analysis of Sets.
  Jan Reineke Trustworthy Software (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• Using Abstraction in Modular Verification of Synchronous Adaptive Systems.
  Ina Schaefer and Arnd Poetzsch-Heffter Trustworthy Software (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• Relating two standard notions of secrecy.
  Eugen Zalinescu and Véronique Cortier and Michaël Rusinowitch Trustworthy Software (2006)
  to dblp by dblp and 1 other person on 2008-05-14 00:00:00
  | URL | BibTeX  
• An Introduction to the Tool Ticc.
  Axel Legay and Luca de Alfaro and Marco Faella Trustworthy Software (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• Isolating Intrusions by Automatic Experiments.
  Stephan Neuhaus Trustworthy Software (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• Formalizing On Chip Communications in a Functional Style.
  Julien Schmaltz and Dominique Borrione Trustworthy Software (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• SANA - Security Analysis in Internet Traffic through Artificial Immune Systems.
  Michael Hilker and Christoph Schommer Trustworthy Software (2006)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX