Additional Information
Conference Website
Copyright
Search Publication Server

Authors
  • Autexier, Serge
  • Borrione, Dominique
  • Cortier, Véronique
  • Hilker, Michael
  • Kirchner, Claude
  • Lanoix, Arnaud
  • Legay, Axel
  • Luca de Alfaro
  • Marco Faella
  • Merz, Stephan
  • Moreau, Pierre-Etienne
  • Neuhaus, Stephan
  • Okalas Ossami, Dieu-Donné
  • Poetzsch-Heffter, Arnd
  • Reilles, Antoine
  • Reineke, Jan
  • Rusinowitch, Michaël
  • Schaefer, Ina
  • Schmaltz, Julien
  • Schommer, Christoph
  • Souquières, Jeanine
  • Wachter, Björn
  • Wilhelm, Reinhard
  • Wolper, Pierre
  • Zalinescu, Eugen
  • van der Torre, Leon

  •   
    Preface -- Workshop Trustworthy Software 2006
    Authors: Autexier, Serge ; Merz, Stephan ; van der Torre, Leon ; Wilhelm, Reinhard ; Wolper, Pierre

    Abstract | Document | BibTeX

    An Introduction to the Tool Ticc
    Authors: Legay, Axel ; Luca de Alfaro ; Marco Faella

    Abstract | Document | BibTeX

    An Operator-based Approach to Incremental Development of Conform Protocol State Machines
    Authors: Lanoix, Arnaud ; Okalas Ossami, Dieu-Donné ; Souquières, Jeanine

    Abstract | Document | BibTeX

    Explaining Data Type Reduction in the Shape Analysis Framework
    Authors: Wachter, Björn

    Abstract | Document | BibTeX

    Formal Validation of Pattern Matching code
    Authors: Kirchner, Claude ; Moreau, Pierre-Etienne ; Reilles, Antoine

    Abstract | Document | BibTeX

    Formalizing On Chip Communications in a Functional Style
    Authors: Schmaltz, Julien ; Borrione, Dominique

    Abstract | Document | BibTeX

    Isolating Intrusions by Automatic Experiments
    Authors: Neuhaus, Stephan

    Abstract | Document | BibTeX

    Relating two standard notions of secrecy
    Authors: Zalinescu, Eugen ; Cortier, Véronique ; Rusinowitch, Michaël

    Abstract | Document | BibTeX

    SANA - Security Analysis in Internet Traffic through Artificial Immune Systems
    Authors: Hilker, Michael ; Schommer, Christoph

    Abstract | Document | BibTeX

    Shape Analysis of Sets
    Authors: Reineke, Jan

    Abstract | Document | BibTeX

    Using Abstraction in Modular Verification of Synchronous Adaptive Systems
    Authors: Schaefer, Ina ; Poetzsch-Heffter, Arnd

    Abstract | Document | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI