Trustworthy Software 2006: Saarbrücken, Germany

Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper (Eds.): Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany. Dagstuhl Seminar Proceedings 06000 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 BibTeX

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