@inproceedings {INPROC-2010-59,
    author = {Steffen Keul},
    title = {{Static Versioning of Global State for Race Condition Detection}},
    booktitle = {Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings},
    publisher = {Springer Berlin Heidelberg},
    institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
    series = {Lecture Notes in Computer Science},
    volume = {6106},
    pages = {111--124},
    type = {Conference Paper},
    month = {June},
    year = {2010},
    isbn = {978-3-642-13549-1},
    doi = {10.1007/978-3-642-13550-7},
    keywords = {Software Reengineering; Concurrent Reliable Software; Statische Analyse},
    language = {English},
    cr-category = {D.1.3 Concurrent Programming,
                   F.3.2 Semantics of Programming Languages},
    department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
    abstract = {The implementation of concurrent reliable software systems is very difficult.
      Race conditions on shared data can cause a program's memory state to become
      inconsistent and result in unpredictable behavior of the software. Much work
      has been published on analyses to identify access sites to shared data which do
      not conform to an accepted synchronization pattern. However, those algorithms
      usually cannot determine if a computation will use a consistent version of more
      than one shared data object. In this paper, we present a new static analysis
      algorithm to identify computations which can potentially load values that were
      stored independently of each other. These uses of global state are affected by
      race conditions and may yield undesired values during the execution of the
      program. We show applicability of an implementation of the analysis on several
      open-source systems.},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-59&engl=1}
 }

@inproceedings {INPROC-2010-58,
    author = {Steffen Keul and Mikhail Prokharau and Daniel Gerlach and Carola Jenke and Aoun Raza},
    title = {{RaceVis: Ein Werkzeug zur Visualisierung von Data Races}},
    booktitle = {12. Workshop Software-Reengineering, Bad Honnef, 03. -05. Mai 2010, Softwaretechnik Trends, Band 30, Heft 2},
    publisher = {GI},
    institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
    series = {Softwaretechnik-Trends},
    pages = {82--83},
    type = {Workshop Paper},
    month = {May},
    year = {2010},
    issn = {0720-8928},
    keywords = {Software Reengineering; Nebenl{\"a}ufige Programme; Statische Analyse},
    language = {German},
    cr-category = {D.1.3 Concurrent Programming},
    department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
    abstract = {Statische Programmanalyse zur Erkennung von Data Races ist ein wichtiges
      Werkzeug zur Sicherstellung der Korrektheit von nebenl{\"a}ufigen Programmen in
      Entwicklung und Wartung. Der Einsatz statischer Analyse l{\"a}sst jedoch eine
      Anzahl an falsch positiven Warnungen erwarten. In diesem Papier wird ein
      Werkzeug zur manuellen Untersuchung und Bewertung dieser Meldungen vorgestellt.},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-58&engl=1}
 }

@inproceedings {INPROC-2010-123,
    author = {Aoun Raza},
    title = {{Thinking Beyond Race Conditions}},
    booktitle = {12. Workshop Software Reengineering (WSR 2010), Bad Honnef, 3.-5. Mai 2010, Softwaretechnik-Trends, Band 30, Heft 2},
    publisher = {GI},
    institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
    series = {Softwaretechnik-Trends},
    pages = {80--81},
    type = {Workshop Paper},
    month = {May},
    year = {2010},
    issn = {0720-8928},
    language = {English},
    cr-category = {D.1.3 Concurrent Programming},
    department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers},
    abstract = {no abstract available},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2010-123&engl=1}
 }

@proceedings {PROC-2010-01,
    editor = {Hubert B. Keller and Erhard Pl{\"o}dereder and Peter Dencker and Herbert Klenk},
    title = {{Automotive - Safety \& Security 2010 - Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 22. und 23. Juni 2010, Stuttgart}},
    address = {Stuttgart},
    publisher = {Shaker Verlag},
    institution = {University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Germany},
    series = {Softwaretechnik},
    pages = {176},
    type = {Proceedings},
    month = {June},
    year = {2010},
    isbn = {978-3-8322-9172-3},
    issn = {1433-9986},
    keywords = {Softwareentwicklung; Automotive; Sicherheit; Zuverl{\"a}ssigkeit; Eingebettete IT Systeme},
    language = {German},
    cr-category = {C.3 Special-Purpose and Application-Based Systems,
                   C.4 Performance of Systems,
                   D.2.4 Software Engineering Software/Program Verification,
                   J.7 Computers in Other Systems},
    department = {University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers;
                  University of Stuttgart, Institute of Software Technology},
    abstract = {Tagungsband: Automotive - Safety \& Security 2010 - Sicherheit und
      Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=PROC-2010-01&engl=1}
 }