Uwe Kastens

According to our database1, Uwe Kastens
  • authored at least 55 papers between 1974 and 2015.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 



On csauthors.net:


Generating 3D Visual Language Editors: Encapsulating Interaction Techniques in Visual Patterns.
International Journal of Software Engineering and Knowledge Engineering, 2015

Encapsulating Interaction Techniques of 3D Language Editors in Visual Patterns.
Proceedings of the 7th International Symposium on Visual Information Communication and Interaction, 2014

Animation of tile-based games automatically derived from simulation specifications.
Comput. Sci. Inf. Syst., 2011

Runtime Reconfiguration of Multiprocessors Based on Compile-Time Analysis.
TRETS, 2010

Deutscher Qualifikationsrahmen: Erprobung und Kritik.
it - Information Technology, 2010

Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification.
Int. J. Reconfig. Comp., 2010

A Framework for the Design Space Exploration of Software-Defined Radio Applications.
Proceedings of the Mobile Lightweight Wireless Systems, 2010

Reusable specification modules for type analysis.
Softw., Pract. Exper., 2009

Animation automatically generated from simulation specifications.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

Proof-Carrying Hardware: Towards Runtime Verification of Reconfigurable Modules.
Proceedings of the ReConFig'09: 2009 International Conference on Reconfigurable Computing and FPGAs, 2009

A Synchronization Method for Register Traces of Pipelined Processors.
Proceedings of the Analysis, 2009

Entwicklung und Evaluierung einer Domänenspezifischen Sprache für SPS-Schrittketten.
Proceedings of the Workshop on Domain-Specific Modeling Languages, 2008

Usability Evaluation of a System for Implementation of Visual Languages.
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

Generating software from specifications.
Jones and Bartlett Publishers, ISBN: 978-0-7637-4124-2, 2007

Visual Patterns Associated to Abstract Trees.
Electr. Notes Theor. Comput. Sci., 2006

Memory Requirements of Java Bytecode Verification on Limited Devices.
Electr. Notes Theor. Comput. Sci., 2005

Network Application Driven Instruction Set Extensions for Embedded Processing Clusters.
Proceedings of the 2004 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2004), 2004

Feedback driven instruction-set extension.
Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, 2004

Implementation of visual languages using pattern-based specifications.
Softw., Pract. Exper., 2003

A holistic methodology for network processor design.
Proceedings of the 28th Annual IEEE Conference on Local Computer Networks (LCN 2003), 2003

VL-Eli: A Generator for Visual Languages - System Demonstration.
Electr. Notes Theor. Comput. Sci., 2002

Configuring Component-based Specifications for Domain-Specific Languages.
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

Visual Patterns in the VLEli System.
Proceedings of the Compiler Construction, 10th International Conference, 2001

Design space characterization for architecture/compiler co-exploration.
Proceedings of the 2001 International Conference on Compilers, 2001

A Pattern-Based Generator for Implementation of Visual Languages.
Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

Reuse Methods for Construction of Parallel Software.
Proceedings of the SOFSEM '98: Theory and Practice of Informatics, 1998

Erfahrungsbericht zur Lehrevaluation der Informatik in Paderborn.
Proceedings of the Informatik und Ausbildung, GI-Fachtagung 98, 1998

Statische Analyse von Bibliotheken als Grundlage dynamischer Optimierung.
Java-Informations-Tage, 1998

Compositional design and implementation of domain-specific languages.
Proceedings of the Systems Implementation 2000, 1998

VLIW Compilation Techniques for Superscalar Architectures.
Proceedings of the Compiler Construction, 7th International Conference, 1998

The Eli System.
Proceedings of the Compiler Construction, 7th International Conference, 1998

Modularity and Reusability in Attribute Grammars.
Acta Inf., 1994

Design of a VLIW architecture constructed from standard RISC chips: A case study of hardware/software codesign.
Microprocessing and Microprogramming, 1993

Executable Specifications for Language Implementation.
Proceedings of the Programming Language Implementation and Logic Programming, 1993

An Abstract Data Type for Name Analysis.
Acta Inf., 1991

Attribute Grammars in a Compiler Construction Environment.
Proceedings of the Attribute Grammars, 1991

Implementation of Visit-Oriented Attribute Evaluators.
Proceedings of the Attribute Grammars, 1991

Attributed Grammars as a Specification Method.
Proceedings of the Attribute Grammars, 1991

Compilation for Instruction Parallel Processors.
Proceedings of the Compiler Compilers, 1990

Oldenbourg, ISBN: 3-486-20780-6, 1990

COMAR: A Data Format for Integration of CFG Tools.
Comput. J., 1989

Improvements of an incremental evaluation algorithm for ordered attribute grammars.
SIGPLAN Notices, 1988

Automatic construction of incremental LR(1)-parsers.
SIGPLAN Notices, 1988

Configuration Control in Compiler Construction.
Proceedings of the International Workshop on Software Version and Configuration Control, 1988

Abstract Interfaces for Compiler Generating Tools.
Proceedings of the Compiler Compilers and High Speed Compilation, 1988

Lifetime Analysis for Attributes.
Acta Inf., 1987

Lifetime Analysis for Procedure Parameters.
Proceedings of the ESOP 86, 1986

Anwendungen intelligenter Übersetzergeneratoren.
Proceedings of the Wissensbasierte Systeme, 1985

The GAG-System - A Tool for Compiler Construction.
Proceedings of the Method and tools for compiler construction, 1983

GAG: A Practical Compiler Generator
Lecture Notes in Computer Science 141, Springer, ISBN: 3-540-11591-9, 1982

Ordered Attributed Grammars.
Acta Inf., 1980

Eigenschaften von Programmiersprachen - definiert durch attributierte Grammatiken.
Proceedings of the Programmiersprachen und Programmentwicklung, 1980

Ein Übersetzerbau-Praktikum.
Proceedings of the Programmiersprachen, 1978

Systematische Analyse semantischer Abhängigkeiten.
Proceedings of the Programmiersprachen, 1976

ALSI - eine höhere Programmiersprache zur Transformation von ALGOL 68 - Verbunden in SIMULA - Klassen.
Proceedings of the 3. Fachtagung über Programmiersprachen, 1974