Uwe Kastens

Jan Wolter, Bastian Cramer, Uwe Kastens: Animation of tile-based games automatically derived from simulation specifications. Comput. Sci. Inf. Syst. 8(2): 501-516 (2011)

Stephanie Drzevitzky, Uwe Kastens, Marco Platzner: Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification. Int. J. Reconfig. Comp. 2010 (2010)

Uwe Kastens: Deutscher Qualifikationsrahmen: Erprobung und Kritik. it - Information Technology 52(3): 173-176 (2010)

Madhura Purnaprajna, Mario Porrmann, Ulrich Rückert, Michael Hussmann, Michael Thies, Uwe Kastens: Runtime Reconfiguration of Multiprocessors Based on Compile-Time Analysis. TRETS 3(3): 17 (2010)

Thorsten Jungeblut, Ralf Dreesen, Mario Porrmann, Michael Thies, Ulrich Rückert, Uwe Kastens: A Framework for the Design Space Exploration of Software-Defined Radio Applications. MOBILIGHT 2010: 148-159

Uwe Kastens, William M. Waite: Reusable specification modules for type analysis. Softw., Pract. Exper. 39(9): 833-864 (2009)

Ralf Dreesen, Thorsten Jungeblut, Michael Thies, Mario Porrmann, Uwe Kastens, Ulrich Rückert: A Synchronization Method for Register Traces of Pipelined Processors. IESS 2009: 207-217

Stephanie Drzevitzky, Uwe Kastens, Marco Platzner: Proof-Carrying Hardware: Towards Runtime Verification of Reconfigurable Modules. ReConFig 2009: 189-194

Bastian Cramer, Uwe Kastens: Animation automatically generated from simulation specifications. VL/HCC 2009: 157-164

Bastian Cramer, Dennis Klassen, Uwe Kastens: Entwicklung und Evaluierung einer Domänenspezifischen Sprache für SPS-Schrittketten. DSML 2008: 59-73

Uwe Kastens, Anthony M. Sloane, William M. Waite: Generating software from specifications. Jones and Bartlett Publishers 2007, isbn 978-0-7637-4124-2, pp. I-X, 1-413

Carsten Schmidt, Bastian Cramer, Uwe Kastens: Usability Evaluation of a System for Implementation of Visual Languages. VL/HCC 2007: 231-238

Uwe Kastens, Carsten Schmidt: Visual Patterns Associated to Abstract Trees. Electr. Notes Theor. Comput. Sci. 148(1): 5-18 (2006)

Karsten Klohs, Uwe Kastens: Memory Requirements of Java Bytecode Verification on Limited Devices. Electr. Notes Theor. Comput. Sci. 132(1): 95-111 (2005)

Uwe Kastens, Dinh Khoi Le, Adrian Slowik, Michael Thies: Feedback driven instruction-set extension. LCTES 2004: 126-135

Matthias Grünewald, Dinh Khoi Le, Uwe Kastens, Jörg-Christian Niemann, Mario Porrmann, Ulrich Rückert, Adrian Slowik, Michael Thies: Network Application Driven Instruction Set Extensions for Embedded Processing Clusters. PARELEC 2004: 209-214

Carsten Schmidt, Uwe Kastens: Implementation of visual languages using pattern-based specifications. Softw., Pract. Exper. 33(15): 1471-1505 (2003)

Olaf Bonorden, Nikolaus Brüls, Uwe Kastens, Dinh Khoi Le, Friedhelm Meyer auf der Heide, Jörg-Christian Niemann, Mario Porrmann, Ulrich Rückert, Adrian Slowik, Michael Thies: A holistic methodology for network processor design. LCN 2003: 583-

Uwe Kastens, Carsten Schmidt: VL-Eli: A Generator for Visual Languages - System Demonstration. Electr. Notes Theor. Comput. Sci. 65(3): 139-143 (2002)

Dirk Fischer, Jürgen Teich, Ralph Weper, Uwe Kastens, Michael Thies: Design space characterization for architecture/compiler co-exploration. CASES 2001: 108-115

Matthias T. Jung, Uwe Kastens, Christian Schindler, Carsten Schmidt: Visual Patterns in the VLEli System. CC 2001: 361-364

Peter Pfahler, Uwe Kastens: Configuring Component-based Specifications for Domain-Specific Languages. HICSS 2001

Matthias T. Jung, Uwe Kastens, Christian Schindler, Carsten Schmidt: A Pattern-Based Generator for Implementation of Visual Languages. VL 2000: 71-72

Esther Stümpel, Michael Thies, Uwe Kastens: VLIW Compilation Techniques for Superscalar Architectures. CC 1998: 234-248

Uwe Kastens, Peter Pfahler, Matthias T. Jung: The Eli System. CC 1998: 294-297

Uwe Kastens, Peter Pfahler: Compositional design and implementation of domain-specific languages. Systems Implementation 2000 1998: 152-165

Michael Thies, Uwe Kastens: Statische Analyse von Bibliotheken als Grundlage dynamischer Optimierung. Java-Informations-Tage 1998: 323-339

Uwe Kastens: Erfahrungsbericht zur Lehrevaluation der Informatik in Paderborn. Informatik und Ausbildung 1998: 251-257

Christoph Eilinghoff, Uwe Kastens: Reuse Methods for Construction of Parallel Software. SOFSEM 1998: 56-67

Uwe Kastens, William M. Waite: Modularity and Reusability in Attribute Grammars. Acta Inf. 31(7): 601-627 (1994)

Peter Pfahler, Christof Nagel, Franz-Josef Rammig, Uwe Kastens: Design of a VLIW architecture constructed from standard RISC chips: A case study of hardware/software codesign. Microprocessing and Microprogramming 38(1-5): 61-68 (1993)

Uwe Kastens: Executable Specifications for Language Implementation. PLILP 1993: 1-11

Uwe Kastens, Peter Pfahler (Eds.): Compiler Construction, 4th International Conference on Compiler Construction, CC'92, Paderborn, Germany, October 5-7, 1992, Proceedings. Lecture Notes in Computer Science 641, Springer 1992, isbn 3-540-55984-1

Uwe Kastens, William M. Waite: An Abstract Data Type for Name Analysis. Acta Inf. 28(6): 539-558 (1991)

Uwe Kastens: Attributed Grammars as a Specification Method. Attribute Grammars, Applications and Systems 1991: 16-47

Uwe Kastens: Implementation of Visit-Oriented Attribute Evaluators. Attribute Grammars, Applications and Systems 1991: 114-139

Uwe Kastens: Attribute Grammars in a Compiler Construction Environment. Attribute Grammars, Applications and Systems 1991: 380-400

Uwe Kastens: Übersetzerbau. Oldenbourg 1990, isbn 3-486-20780-6

Uwe Kastens: Compilation for Instruction Parallel Processors. CC 1990: 26-41

Vincent P. Heuring, Uwe Kastens, R. G. Plummer, William M. Waite: COMAR: A Data Format for Integration of CFG Tools. Comput. J. 32(5): 445-452 (1989)

Dashing Yeh, Uwe Kastens: Automatic construction of incremental LR(1)-parsers. SIGPLAN Notices 23(3): 33-42 (1988)

Dashing Yeh, Uwe Kastens: Improvements of an incremental evaluation algorithm for ordered attribute grammars. SIGPLAN Notices 23(12): 45-50 (1988)

Uwe Kastens: Abstract Interfaces for Compiler Generating Tools. CC 1988: 103-114

William M. Waite, Vincent P. Heuring, Uwe Kastens: Configuration Control in Compiler Construction. SCM 1988: 159-168

Uwe Kastens, Franz J. Rammig (Eds.): Architektur und Betrieb vpn Rechensystemen, 10. GI/ITG-Fachtagung, 9.-11. März 1988, Paderborn, Germany, Proceedings. Informatik-Fachberichte 168, Springer 1988, isbn 3-540-18994-7

Uwe Kastens: Lifetime Analysis for Attributes. Acta Inf. 24(6): 633-651 (1987)

Uwe Kastens, M. Schmidt: Lifetime Analysis for Procedure Parameters. ESOP 1986: 53-69

Uwe Kastens: Anwendungen intelligenter Übersetzergeneratoren. Wissensbasierte Systeme 1985: 99-104

Uwe Kastens: The GAG-System - A Tool for Compiler Construction. Method and tools for compiler construction 1983: 165-182

Uwe Kastens, Brigitte Hutt, Erich Zimmermann: GAG: A Practical Compiler Generator. Lecture Notes in Computer Science 141, Springer 1982, isbn 3-540-11591-9

Uwe Kastens: Ordered Attributed Grammars. Acta Inf. 13: 229-256 (1980)

Uwe Kastens: Eigenschaften von Programmiersprachen - definiert durch attributierte Grammatiken. Fachtagung über Programmiersprachen 1980: 157-174

Uwe Kastens: Ein Übersetzerbau-Praktikum. Fachtagung über Programmiersprachen 1978: 121-135

Uwe Kastens: Systematische Analyse semantischer Abhängigkeiten. Fachtagung über Programmiersprachen 1976: 19-32

Uwe Kastens: ALSI - eine höhere Programmiersprache zur Transformation von ALGOL 68 - Verbunden in SIMULA - Klassen. Fachtagung über Programmiersprachen 1974: 162-172