Programm-Analyse

Karsten Klohs: A Summary Function Model for the Validation of Interprocedural Analysis Results. In Proceedings of the 7th International Workshop on Compiler Optimization meets Compiler Verification, COCV'08. 2008
[Show BibTeX]
Jochen Kreimer: Adaptive Erkennung von Software-Entwurfsmngeln. In . 2005
[Show BibTeX] [Full Text]
Jochen Kreimer: Adaptive Detection of Design Flaws. In Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications (LDTA 2005), Electronic Notes in Theoretical Computer Science, vol. 141, Issue 4 (12 December 2005, Edinburgh, UK), pp. 117-136. Elsevier Science Publishers, 2005
[Show BibTeX] [Full Text]
Jochen Kreimer: Adaptive Erkennung von Software-Entwurfsmngeln. In Informatik -- Forschung und Entwicklung, Springer-Verlag, vol. 19, no. 3, pp. 151-161. Springer-Verlag, 2005
[Show BibTeX] [Full Text]
Karsten Klohs, Uwe Kastens: Memory Requirements of Java Bytecode Verification on Limited Devices. In Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2004), Electronic Notes in Theoretical Computer Science (ENCTS), vol. 132, pp. 95-111. Elsevier, 2005
[Show BibTeX]
Jochen Kreimer: Anwendung maschinellen Lernens zur benutzeradaptiven Erkennung von Entwurfsmängeln in objekt-orientierter Software. In Lernen -- Wissensentdeckung -- Adaptivitt (LWA 2004) (Berlin), pp. 180-186. 2004
[Show BibTeX] [Full Text]
Jochen Kreimer: Adaptive Erkennung von Entwurfsmängeln in objekt-orientierter Software. In Softwaretechnik-Trends, vol. 24, no. 2, pp. 57-58. 2004
[Show BibTeX] [Full Text]
Peter Pfahler, Jürgen Günther: Cate: A System for Analysis and Test of Java Card Applications. In Proceedings of the First International Workshop on Software Quality (SOQUA 2004), Lecture Notes in Informatics (LNI), Volume P-58. 2004
[Show BibTeX]
Michael Thies: Annotating Java Libraries in Support of Whole-Program Optimization. In Proceedings of Workshop on Intermediate Representation Engineering for the Java Virtual Machine (IRE-2002) (Dublin, Ireland). 2002
[Show BibTeX]
Dinh Khoi Le, Michael Thies, Peter Pfahler: Referenzziel-Analyse fr Java-Bibliotheken. In Net.ObjectDays 2000, Tagungsband S.135-145, C/o tranSIT GmbH Verlag. 2000
[Show BibTeX]
Michael Thies: Static compositional analysis of libraries in support of dynamic optimization. Tech. Rep., no. tr-ri-99-210. 1999
[Show BibTeX]
Michael Thies: A Closer Look at Inter-library Dependencies in Java-software. In JIT'99 Java Informations-Tage 1999, Informatik Aktuell. Springer Verlag, 1999
[Show BibTeX]
Michael Thies, Uwe Kastens: Statische Analyse von Bibliotheken als Grundlage dynamischer Optimierung. In C. H. Cap (eds.): JIT'98 Java Informations-Tage 1998, Informatik Aktuell, pp. 323-339. Springer Verlag, 1998
[Show BibTeX]

Impressum | Webmaster | Letzte Änderungen am : 16.10.2013