Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Personen Ehemalige Dr. Holger Siegel login

Dr. Holger Siegel

Name:Dr. Holger Siegel
Raum:-
Tel:-
eMail:holger.siegel<at>in.tum.de
Visitenkarte:


Publications of Holger Siegel

Conference Papers

The following papers were published in peer-reviewed conferences. The copyright of these papers lies with the respective publishers.

  1. H. Siegel and A. Simon. Shape Analysis with Connectors. In K. Havelund, G. J. Holzmann and R. Joshi, editors, NASA Formal Methods, volume 9058 of LNCS, pages 343--358, Passadena, California, USA, April 2015. Springer.

    Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

  2. H. Siegel, B. Mihaila and A. Simon. The Undefined Domain: Precise Relational Information for Entities that Do Not Exist. In C. Shan, editor, Asian Symposium on Programming Languages and Systems, Melbourne, Australia, December 2013. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

  3. H. Siegel and A. Simon. FESA: Fold- and Expand-based Shape Analysis. Compiler Construction, volume 7791 of LNCS, pages 82--101, Rome, Italy, March 2013. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

  4. Bernd Braßel and Holger Siegel. Debugging Lazy Functional Programs by Asking the Oracle. In Olaf Chitil, Zoltán Horváth and Viktória Zsók, editors, Implementation and Application of Functional Languages, volume 5083 of LNCS, pages 183-200, Freiburg, Germany, September 2008. Springer.

    Reference: Bibtex The original publication is available at www.springerlink.com


Workshop Papers and Technical Reports

  1. H. Siegel and A. Simon. Summarized Dimensions Revisited. In L. Mauborgne, editor, Workshop on Numeric and Symbolic Abstract Domains, ENTCS, Venice, Italy, September 2011. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex



TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 10 ms