License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.TrustworthySW.2006.758
URN: urn:nbn:de:0030-drops-7588
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2006/758/
Go to the corresponding OASIcs Volume Portal

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

Abstracts Collection -- Workshop Trustworthy Software 2006

pdf-format:
06000_abstracts_collection.758.pdf (0.1 MB)

Abstract

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.

BibTeX - Entry

@InProceedings{autexier_et_al:OASIcs:2006:758,
  author =	{Serge Autexier and Stephan Merz and Leon van der Torre and Reinhard Wilhelm and Pierre Wolper},
  title =	{{Abstracts Collection -- Workshop Trustworthy Software 2006}},
  booktitle =	{Workshop on Trustworthy Software},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-02-6},
  ISSN =	{2190-6807},
  year =	{2006},
  volume =	{3},
  editor =	{Serge Autexier and Stephan Merz and Leon van der Torre and Reinhard Wilhelm and Pierre Wolper},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/758},
  URN =		{urn:nbn:de:0030-drops-7588},
  doi =		{10.4230/OASIcs.TrustworthySW.2006.758},
  annote =	{Keywords: Software evolution, Modularity, Automated debugging, Dependability assurance, Failure analysis, Static program analysis, }
}

Keywords: Software evolution, Modularity, Automated debugging, Dependability assurance, Failure analysis, Static program analysis,
Freie Schlagwörter (englisch): Infinite and Finite-state verification, Runtime verification, Theorem proving, Access control, Security analysis, Security protocols, E-Voting
Collection: Workshop on Trustworthy Software
Issue Date: 2006
Date of publication: 02.10.2006

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI