dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Uwe Kastens Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJan Wolter, Bastian Cramer, Uwe Kastens: Animation of tile-based games automatically derived from simulation specifications. Comput. Sci. Inf. Syst. 8(2): 501-516 (2011)
2010
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThorsten 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephanie Drzevitzky, Uwe Kastens, Marco Platzner: Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification. Int. J. Reconfig. Comp. 2010: (2010)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhura 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)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: Deutscher Qualifikationsrahmen: Erprobung und Kritik. it - Information Technology 52(3): 173-176 (2010)
2009
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephanie Drzevitzky, Uwe Kastens, Marco Platzner: Proof-Carrying Hardware: Towards Runtime Verification of Reconfigurable Modules. ReConFig 2009: 189-194
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBastian Cramer, Uwe Kastens: Animation automatically generated from simulation specifications. VL/HCC 2009: 157-164
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens, William M. Waite: Reusable specification modules for type analysis. Softw., Pract. Exper. 39(9): 833-864 (2009)
2008
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBastian Cramer, Dennis Klassen, Uwe Kastens: Entwicklung und Evaluierung einer Domänenspezifischen Sprache für SPS-Schrittketten. DSML 2008: 59-73
2007
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens, Anthony M. Sloane, William M. Waite: Generating software from specifications. Jones and Bartlett Publishers 2007: I-X, 1-413
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Schmidt, Bastian Cramer, Uwe Kastens: Usability Evaluation of a System for Implementation of Visual Languages. VL/HCC 2007: 231-238
2006
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens, Carsten Schmidt: Visual Patterns Associated to Abstract Trees. Electr. Notes Theor. Comput. Sci. 148(1): 5-18 (2006)
2005
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten Klohs, Uwe Kastens: Memory Requirements of Java Bytecode Verification on Limited Devices. Electr. Notes Theor. Comput. Sci. 132(1): 95-111 (2005)
2004
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens, Dinh Khoi Le, Adrian Slowik, Michael Thies: Feedback driven instruction-set extension. LCTES 2004: 126-135
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias 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
2003
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlaf 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-
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarsten Schmidt, Uwe Kastens: Implementation of visual languages using pattern-based specifications. Softw., Pract. Exper. 33(15): 1471-1505 (2003)
2002
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens, Carsten Schmidt: VL-Eli: A Generator for Visual Languages - System Demonstration. Electr. Notes Theor. Comput. Sci. 65(3): 139-143 (2002)
2001
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Fischer, Jürgen Teich, Ralph Weper, Uwe Kastens, Michael Thies: Design space characterization for architecture/compiler co-exploration. CASES 2001: 108-115
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias T. Jung, Uwe Kastens, Christian Schindler, Carsten Schmidt: Visual Patterns in the VLEli System. CC 2001: 361-364
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Pfahler, Uwe Kastens: Configuring Component-based Specifications for Domain-Specific Languages. HICSS 2001
2000
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias T. Jung, Uwe Kastens, Christian Schindler, Carsten Schmidt: A Pattern-Based Generator for Implementation of Visual Languages. VL 2000: 71-72
1998
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEsther Stümpel, Michael Thies, Uwe Kastens: VLIW Compilation Techniques for Superscalar Architectures. CC 1998: 234-248
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens, Peter Pfahler, Matthias T. Jung: The Eli System. CC 1998: 294-297
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: Erfahrungsbericht zur Lehrevaluation der Informatik in Paderborn. Informatik und Ausbildung 1998: 251-257
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Thies, Uwe Kastens: Statische Analyse von Bibliotheken als Grundlage dynamischer Optimierung. Java-Informations-Tage 1998: 323-339
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Eilinghoff, Uwe Kastens: Reuse Methods for Construction of Parallel Software. SOFSEM 1998: 56-67
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens, Peter Pfahler: Compositional design and implementation of domain-specific languages. Systems Implementation 2000 1998: 152-165
1994
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens, William M. Waite: Modularity and Reusability in Attribute Grammars. Acta Inf. 31(7): 601-627 (1994)
1993
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: Executable Specifications for Language Implementation. PLILP 1993: 1-11
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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)
1992
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens, Peter Pfahler: Compiler Construction, 4th International Conference on Compiler Construction, CC'92, Paderborn, Germany, October 5-7, 1992, Proceedings Springer 1992
1991
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: Implementation of Visit-Oriented Attribute Evaluators. Attribute Grammars, Applications and Systems 1991: 114-139
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: Attributed Grammars as a Specification Method. Attribute Grammars, Applications and Systems 1991: 16-47
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: Attribute Grammars in a Compiler Construction Environment. Attribute Grammars, Applications and Systems 1991: 380-400
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens, William M. Waite: An Abstract Data Type for Name Analysis. Acta Inf. 28(6): 539-558 (1991)
1990
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: Übersetzerbau Oldenbourg 1990
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: Compilation for Instruction Parallel Processors. CC 1990: 26-41
1989
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent 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)
1988
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens, Franz J. Rammig: Architektur und Betrieb vpn Rechensystemen, 10. GI/ITG-Fachtagung, 9.-11. März 1988, Paderborn, Germany, Proceedings Springer 1988
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: Abstract Interfaces for Compiler Generating Tools. CC 1988: 103-114
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam M. Waite, Vincent P. Heuring, Uwe Kastens: Configuration Control in Compiler Construction. SCM 1988: 159-168
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDashing Yeh, Uwe Kastens: Improvements of an incremental evaluation algorithm for ordered attribute grammars. SIGPLAN Notices 23(12): 45-50 (1988)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDashing Yeh, Uwe Kastens: Automatic construction of incremental LR(1)-parsers. SIGPLAN Notices 23(3): 33-42 (1988)
1987
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: Lifetime Analysis for Attributes. Acta Inf. 24(6): 633-651 (1987)
1986
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens, M. Schmidt: Lifetime Analysis for Procedure Parameters. ESOP 1986: 53-69
1985
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: Anwendungen intelligenter Übersetzergeneratoren. Wissensbasierte Systeme 1985: 99-104
1983
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: The GAG-System - A Tool for Compiler Construction. Method and tools for compiler construction 1983: 165-182
1982
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens, Brigitte Hutt, Erich Zimmermann: GAG: A Practical Compiler Generator Springer 1982
1980
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: Eigenschaften von Programmiersprachen - definiert durch attributierte Grammatiken. Fachtagung über Programmiersprachen 1980: 157-174
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: Ordered Attributed Grammars. Acta Inf. 13: 229-256 (1980)
1978
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: Ein Übersetzerbau-Praktikum. Fachtagung über Programmiersprachen 1978: 121-135
1976
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: Systematische Analyse semantischer Abhängigkeiten. Fachtagung über Programmiersprachen 1976: 19-32
1974
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Kastens: ALSI - eine höhere Programmiersprache zur Transformation von ALGOL 68 - Verbunden in SIMULA - Klassen. Fachtagung über Programmiersprachen 1974: 162-172

Coauthor Index

1Olaf Bonorden [39]
2Nikolaus Brüls [39]
3Bastian Cramer [44] [46] [48] [55]
4Ralf Dreesen [50] [54]
5Stephanie Drzevitzky [49] [53]
6Christoph Eilinghoff [28]
7Dirk Fischer [36]
8Matthias Grünewald [40]
9Friedhelm Meyer auf der Heide [39]
10Vincent P. Heuring [13] [16]
11Michael Hussmann [52]
12Brigitte Hutt [6]
13Matthias T. Jung [31] [33] [35]
14Thorsten Jungeblut [50] [54]
15Dennis Klassen [46]
16Karsten Klohs [42]
17Dinh Khoi Le [39] [40] [41]
18Christof Nagel [24]
19Jörg-Christian Niemann [39] [40]
20Peter Pfahler [23] [24] [27] [31] [34]
21Marco Platzner [49] [53]
22R. G. Plummer [16]
23Mario Porrmann [39] [40] [50] [52] [54]
24Madhura Purnaprajna [52]
25Franz Josef Rammig (Franz-Josef Rammig, Franz J. Rammig) [15] [24]
26Ulrich Rückert [39] [40] [50] [52] [54]
27Christian Schindler [33] [35]
28Carsten Schmidt [33] [35] [37] [38] [43] [44]
29M. Schmidt [9]
30Anthony M. Sloane (Anthony Sloane, Tony Sloane) [45]
31Adrian Slowik [39] [40] [41]
32Esther Stümpel [32]
33Jürgen Teich [36]
34Michael Thies [29] [32] [36] [39] [40] [41] [50] [52] [54]
35William M. Waite [13] [16] [19] [26] [45] [47]
36Ralph Weper [36]
37Jan Wolter [55]
38Dashing Yeh [11] [12]
39Erich Zimmermann [6]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page