Programm-Analyse

@inproceedings{klohs_2008,
  author = {Karsten Klohs},
  title = {A Summary Function Model for the Validation of Interprocedural Analysis Results},
  booktitle = {Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification, COCV'08},
  year = {2008}
}

@article{JKreimer2006,
  author = {Jochen Kreimer},
  title = {Adaptive Erkennung von Software-Entwurfsmngeln},
  journal = {},
  year = {2005},
  volume = {},
  number = {},
  pages = {},
  month = {},
  note = {}
}

@inproceedings{jochenldta05,
  author = {Jochen Kreimer},
  title = {Adaptive Detection of Design Flaws},
  booktitle = {Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications (LDTA 2005)},
  year = {2005}
}

@article{KreimerIFE2005,
  author = {Jochen Kreimer},
  title = {{A}daptive {E}rkennung von {S}oftware-{E}ntwurfsmngeln},
  journal = {{I}nformatik --- {F}orschung und {E}ntwicklung, Springer-Verlag},
  year = {2005},
  volume = {19},
  number = {3},
  pages = {151--161},
  month = {},
  note = {}
}

@inproceedings{Klohs04Memory,
  author = {Karsten Klohs AND Uwe Kastens},
  title = {Memory Requirements of Java Bytecode Verification on Limited Devices},
  booktitle = {Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2004)},
  year = {2005}
}

@inproceedings{KreimerLWA2004,
  author = {Jochen Kreimer},
  title = {{A}nwendung maschinellen {L}ernens zur benutzeradaptiven {E}rkennung von {E}ntwurfsm{\"a}ngeln in objekt-orientierter {S}oftware},
  booktitle = {Lernen --- Wissensentdeckung --- Adaptivitt (LWA 2004)},
  year = {2004}
}

@article{KreimerST2004,
  author = {Jochen Kreimer},
  title = {{A}daptive {E}rkennung von {E}ntwurfsm{\"a}ngeln in objekt-orientierter {S}oftware},
  journal = {Softwaretechnik-Trends},
  year = {2004},
  volume = {24},
  number = {2},
  pages = {57--58},
  month = {},
  note = {}
}

@inproceedings{CatePaperSOQUA,
  author = {Peter Pfahler AND J{\"u}rgen G{\"u}nther},
  title = {Cate: A System for Analysis and Test of Java Card Applications},
  booktitle = {Proceedings of the First International Workshop on Software Quality (SOQUA 2004), Lecture Notes in Informatics (LNI), Volume P-58},
  year = {2004}
}

@inproceedings{Thies02,
  author = {Michael Thies},
  title = {Annotating {J}ava Libraries in Support of Whole-Program Optimization},
  booktitle = {Proceedings of Workshop on Intermediate Representation Engineering for the Java Virtual Machine (IRE-2002)},
  year = {2002}
}

@inproceedings{LeThiesPeter00,
  author = {Dinh Khoi Le AND Michael Thies AND Peter Pfahler},
  title = {{R}eferenzziel-{A}nalyse fr {J}ava-{B}ibliotheken},
  booktitle = {Net.ObjectDays 2000, Tagungsband S.135-145, C/o tranSIT GmbH Verlag},
  year = {2000}
}

@techreport{Thies99a,
  author = {Michael Thies},
  title = {Static compositional analysis of libraries in support of dynamic optimization},
  institution = {},
  year = {1999}
}

@inproceedings{Thies99,
  author = {Michael Thies},
  title = {A Closer Look at Inter-library Dependencies in Java-software},
  booktitle = {JIT'99 Java Informations-Tage 1999},
  year = {1999}
}

@inproceedings{Thies98,
  author = {Michael Thies AND Uwe Kastens},
  title = {{S}tatische {A}nalyse von {B}ibliotheken als {G}rundlage dynamischer {O}ptimierung},
  booktitle = {JIT'98 Java Informations-Tage 1998},
  year = {1998}
}