Trustworthy Software 2006: Saarbrücken, Germany

• Eugen Zalinescu, Véronique Cortier, Michaël Rusinowitch:
  Relating two standard notions of secrecy.
  
• Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper:
  Preface -- Workshop Trustworthy Software 2006.
  
• Michael Hilker, Christoph Schommer:
  SANA - Security Analysis in Internet Traffic through Artificial Immune Systems.
  
• Arnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières:
  An Operator-based Approach to Incremental Development of Conform Protocol State Machines.
  
• Stephan Neuhaus:
  Isolating Intrusions by Automatic Experiments.
  
• Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles:
  Formal Validation of Pattern Matching code.
  
• Ina Schaefer, Arnd Poetzsch-Heffter:
  Using Abstraction in Modular Verification of Synchronous Adaptive Systems.
  
• Julien Schmaltz, Dominique Borrione:
  Formalizing On Chip Communications in a Functional Style.
  
• Björn Wachter:
  Explaining Data Type Reduction in the Shape Analysis Framework.
  
• Jan Reineke:
  Shape Analysis of Sets.
  
• Axel Legay, Luca de Alfaro, Marco Faella:
  An Introduction to the Tool Ticc.
  

Last update Sat May 18 18:21:32 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page