Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications 2010

Publications 2010

Conference contributions

  1. On Erasing Productions in Random Context Grammars, by Georg Zetzsche.
    In Proceedings of ICALP 2010.
    DOI

  2. Kleene, Rabin, and Scott are available, by Jochen Hoenicke, Roland Meyer, and Ernst-Rüdiger Olderog.
    In Proceedings of CONCUR 2010.
    PDF | DOI | BibTeX

  3. The downward-closure of Petri net languages, by Peter Habermehl, Roland Meyer, and Harro Wimmel.
    In Proceedings of ICALP 2010.
    Slides | PDF | DOI | BibTeX

  4. Petruchio: From dynamic networks to nets, by Roland Meyer and Tim Strazny.
    In Proceedings of CAV 2010.
    PDF | DOI | BibTeX

Workshop contributions

  1. Reconstruction of Composite Types for Decompilation, by K. Troshina, Egor Derevenetc, and A. Chernov.
    In Proceedings of 10th IEEE International Working Conference on Source Code Analysis and Manipulation. Timisoara, Romania, 2010.
    IEEE | DOI | BibTeX

  2. Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains, by Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, and Lijun Zhang.
    In Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings, 2010.
    DOI

  3. Concurrent finite automata and related language classes (an overview), by Manfred Kudlek and Georg Zetzsche.
    In Automata, Formal Languages and Algebraic Systems, Proceedings of AFLAS 2008, 2010.
    DOI

Theses

  1. Scheduler-Quantified Time-Bounded Reachability for Distributed Input/Output Interactive Probabilistic Chains, MSc Thesis by Georgel Calin.
    Saarland University, 2010.
    PDF

  2. On Erasing Productions in Grammars with Regulated Rewriting, Diplomarbeit by Georg Zetzsche.
    Universität Hamburg, 2010.

  3. Reconstruction of C++ control flow structures from a low-level program, Diploma Thesis by Egor Derevenetc.
    Moscow State University, 2010.

Technical Reports

  1. Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains, by Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, and Lijun Zhang.
    Technical Report 64, Sonderforschungsbereiche (SFB)/Transregio (TR) 14 AVACS, 2010.
    PDF