Abstracts Collection -- Workshop Trustworthy Software 2006

Authors Serge Autexier, Stephan Merz, Leon van der Torre, Reinhard Wilhelm, Pierre Wolper

Thumbnail PDF


  • Filesize: 146 kB
  • 7 pages

Document Identifiers

Author Details

Serge Autexier
Stephan Merz
Leon van der Torre
Reinhard Wilhelm
Pierre Wolper

Cite AsGet BibTex

Serge Autexier, Stephan Merz, Leon van der Torre, Reinhard Wilhelm, and Pierre Wolper. Abstracts Collection -- Workshop Trustworthy Software 2006. In Workshop on Trustworthy Software. Open Access Series in Informatics (OASIcs), Volume 3, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


On 18-19 May 2006, the Saarland University organized a two-day workshop about "Trustworthy Software" in order to present and foster the research competence in the SaarLorLuxWallonie region in the area of developing safe, secure and reliable software, computers and networks. As part of the Interreg III C E-Bird project "Recherches sans fronti\`eres/Forschen ohne Grenzen" it provided an excellent forum especially for young scientists to present and discuss recent results, new ideas and future research directions to a transnational audience from the SaarLorLuxWallonie region. The workshop consisted of 21 regular presentations and one invited talk. Abstracts of all presentations are collected in this paper, including links to extended abstracts or full papers. The first section directs to the preface of the proceedings.
  • Software evolution
  • Modularity
  • Automated debugging
  • Dependability assurance
  • Failure analysis
  • Static program analysis
  • Infinite and Finite-state verification
  • Runtime verification
  • Theorem proving
  • Access control
  • Security analysis
  • Security protocols
  • E-Voting


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads