Uwe Kastens

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

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

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

2010
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

2009
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

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

2007
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

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

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

2004
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

2003
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

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

2001
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

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

1998
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

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

1993
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

1991
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

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

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

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

1988
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

1987
Lifetime Analysis for Attributes.
Acta Inf., 1987

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

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

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

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

1980
Ordered Attributed Grammars.
Acta Inf., 1980

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

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

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

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


  Loading...