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