TrustworthySW 2006 May 18-19, 2006, Saarbruecken, Germany

Workshop on Trustworthy Software



Serge Autexier and Stephan Merz and Leon van der Torre and Reinhard Wilhelm and Pierre Wolper (Eds.)
ISBN 978-3-939897-02-6, OASICS Vol. 3 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 3 MB)
Search Publication Server


Support
  • Interreg IIIC


  • Authors
  • Autexier, Serge
  • Borrione, Dominique
  • Cortier, Véronique
  • de Alfaro, Luca
  • Faella, Marco
  • Hilker, Michael
  • Kirchner, Claude
  • Lanoix, Arnaud
  • Legay, Axel
  • 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
  • van der Torre, Leon
  • Wachter, Björn
  • Wilhelm, Reinhard
  • Wolper, Pierre
  • Zalinescu, Eugen

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

    Abstract | Document (202 KB) | BibTeX

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

    Abstract | Document (147 KB) | BibTeX

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

    Abstract | Document (364 KB) | 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 (533 KB) | BibTeX

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

    Abstract | Document (237 KB) | BibTeX

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

    Abstract | Document (337 KB) | BibTeX

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

    Abstract | Document (378 KB) | BibTeX

    Isolating Intrusions by Automatic Experiments
    Authors: Neuhaus, Stephan

    Abstract | Document (24 KB) | BibTeX

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

    Abstract | Document (393 KB) | BibTeX

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

    Abstract | Document (107 KB) | BibTeX

    Shape Analysis of Sets
    Authors: Reineke, Jan

    Abstract | Document (1,223 KB) | Document 2 (442 KB) | BibTeX

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

    Abstract | Document (376 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI