Uwe Kastens

Orcid: 0000-0003-2671-7440

Affiliations:
  • University of Paderborn, Germany


According to our database1, Uwe Kastens authored at least 56 papers between 1974 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Name analysis for modern languages: a general solution.
Softw. Pract. Exp., 2017

2015
Generating 3D Visual Language Editors: Encapsulating Interaction Techniques in Visual Patterns.
Int. J. Softw. Eng. Knowl. Eng., 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.
ACM Trans. Reconfigurable Technol. Syst., 2010

Deutscher Qualifikationsrahmen: Erprobung und Kritik.
it Inf. Technol., 2010

Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification.
Int. J. Reconfigurable Comput., 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. Exp., 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

2004
Memory Requirements of Java Bytecode Verification on Limited Devices.
Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004

Visual Patterns Associated to Abstract Trees.
Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, 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. Exp., 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.
Proceedings of the Second Workshop on Language Descriptions, Tools and Applications, 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.
Proceedings of the JIT '98, 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 Informatica, 1994

1993
Design of a VLIW architecture constructed from standard RISC chips: A case study of hardware/software codesign.
Microprocess. 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 Informatica, 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.
ACM SIGPLAN Notices, 1988

Automatic construction of incremental LR(1)-parsers.
ACM 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 Informatica, 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 Informatica, 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...