@inproceedings {INPROC-2011-79,
    author = {Steffen Keul},
    title = {{Tuning Static Data Race Analysis for Automotive Control Software}},
    booktitle = {Proceedings of the 11th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 25-26 September, Williamsburg, VA, USA},
    publisher = {IEEE Computer Society},
    institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
    pages = {45--54},
    type = {Konferenz-Beitrag},
    month = {September},
    year = {2011},
    isbn = {978-1-4577-0932-6},
    doi = {10.1109/SCAM.2011.16},
    language = {Englisch},
    cr-category = {D.2.4 Software Engineering Software/Program Verification,
                   D.4.1 Process Management,
                   F.3.2 Semantics of Programming Languages},
    department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau},
    abstract = {Implementation of concurrent software systems is difficult and error-prone.
      Race conditions can cause intermittent failures, which are rarely found during
      testing. In safety-critical applications, the absence of race conditions should
      be demonstrated before deployment of the system. Several static analysis
      techniques to show the absence of data races are known today. In this paper, we
      report on our experiences with a static data race detector. We define a basic
      analysis based on classical lockset analysis and present three enhancements to
      that algorithm. We evaluate and compare the effectiveness of the basic and
      enhanced analysis algorithms empirically for an automotive embedded system. We
      find that the number of warnings could be reduced by more than 40\% and that the
      ratio of true positives per total number of warnings could be doubled.},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-79&engl=0}
 }

@inproceedings {INPROC-2011-55,
    author = {Torsten G{\"o}rg},
    title = {{Detection of Intentions in Context-Free Grammars}},
    booktitle = {13. Workshop Software-Reengineering (WSR 2011), Bad Honnef, 2.-4. Mai 2011, Softwaretechnik-Trends, Band 31, Heft 2},
    publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
    institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
    pages = {20--21},
    type = {Workshop-Beitrag},
    month = {Mai},
    year = {2011},
    issn = {0720-8928},
    language = {Englisch},
    cr-category = {D.2.7 Software Engineering Distribution, Maintenance, and Enhancement,
                   F.4.3 Formal Languages},
    department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau},
    abstract = {A programming language is based on several intentions and design requirements.
      As this information is reflected in the grammar of the language some intentions
      can be reverse engineered from the grammar. This paper presents an approach to
      detect intention instances in context-free grammars to support understanding of
      the design of languages. Some typical intentions in imperative languages are
      shown, followed by a discussion how to detect them automatically with a static
      analysis tool based on graph transformation.},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-55&engl=0}
 }

@inproceedings {INPROC-2011-54,
    author = {Mikhail Prokharau and Daniel Gerlach and Steffen Keul},
    title = {{Static Analysis of Predicate-based Synchronisation}},
    booktitle = {13. Workshop Software-Reengineering (WSR 2011), Bad Honnef, 2.-4. Mai 2011, Softwaretechnik-Trends, Band 31, Heft 2},
    publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)},
    institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
    pages = {16--17},
    type = {Workshop-Beitrag},
    month = {Mai},
    year = {2011},
    issn = {0720-8928},
    language = {Englisch},
    cr-category = {D.1.3 Concurrent Programming,
                   D.4.1 Process Management,
                   F.3.2 Semantics of Programming Languages},
    department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau},
    abstract = {While many software projects requiring some form of parallelisation resort to
      standard synchronisation mechanisms offered by a programming language or a
      standard library of choice, other synchronisation techniques exist. This paper
      presents predicate-based synchronisation constructs and discusses the
      possibilities of their detection and static analysis.},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-54&engl=0}
 }

@inproceedings {INPROC-2011-53,
    author = {Reinhard von Hanxleden and Niklas Holsti and Bj{\"o}rn Lisper and Erhard Pl{\"o}dereder and Reinhard et.al. Wilhelm},
    title = {{WCET Tool Challenge 2011: Report}},
    booktitle = {Proceedings of the 11th International Workshop on Worst-Case Execution Time (WCET) Analysis; Porto, Portugal},
    publisher = {-},
    institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
    pages = {1--38},
    type = {Workshop-Beitrag},
    month = {Juli},
    year = {2011},
    language = {Englisch},
    cr-category = {A.0 General Literature, General},
    department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau},
    abstract = {no abstract available},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-53&engl=0}
 }

@inproceedings {INPROC-2011-47,
    author = {Erhard Pl{\"o}dereder},
    title = {{Programming Languages Meet Multicore}},
    booktitle = {Reliable Software Technologies, Ada-Europe 2011:16th International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24., 2011, Proceedings.},
    publisher = {Springer},
    institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
    series = {LNCS},
    volume = {6652},
    pages = {189--192},
    type = {Konferenz-Beitrag},
    month = {Juni},
    year = {2011},
    language = {Englisch},
    cr-category = {D.3 Programming Languages},
    department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau},
    abstract = {no abstract available},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-47&engl=0}
 }

@inproceedings {INPROC-2011-46,
    author = {Aoun Raza and Stefan Franke and Erhard Pl{\"o}dereder},
    title = {{Detecting High-Level Synchronization Errors in Parallel Programs}},
    booktitle = {Reliable Software Technologies, Ada-Europe 2011:16th International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24., 2011, Proceedings},
    publisher = {Springer},
    institution = {Universit{\"a}t Stuttgart, Fakult{\"a}t Informatik, Elektrotechnik und Informationstechnik, Germany},
    series = {LNCS},
    volume = {6652},
    pages = {17--30},
    type = {Konferenz-Beitrag},
    month = {Juni},
    year = {2011},
    language = {Englisch},
    cr-category = {D.1.3 Concurrent Programming},
    department = {Universit{\"a}t Stuttgart, Institut f{\"u}r Softwaretechnologie, Programmiersprachen und {\"U}bersetzerbau},
    abstract = {no abstract available},
    url = {http://www2.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=INPROC-2011-46&engl=0}
 }