Universitńt Karlsruhe
Ver├Âffentlichungen

Haftungsausschlu├č: Diese Internetzseiten enthalten Postscript- und PDF-Dateien von Artikeln, die urheberrechtlich gesch├╝tzt sein k├Ânnen. Sie k├Ânnen in diesen Artikeln st├Âbern wie in einer Zeitschrift oder einem Konferenzartikel in einer ├Âffentlichen Bibliothek. Das Laden, Kopieren, Verteilen dieser Dateien k├Ânnte gegen das Urheberrechtsschutzgesetz versto├čen.


Ver├Âffentlichungen

2010
Jakumeit, Buchwald, Kroll, GrGen.NET
 
2008
Gei├č, Graphersetzung mit Anwendungen im ├ťbersetzerbau
Buchwald, Zwinkau, Befehlsauswahl auf expliziten Abh├Ąngigkeitsgraphen
Jakumeit, Mit GrGen.NET zu den Sternen -- Erweiterung der Regelsprache eines Graphersetzungswerkzeugs um rekursive Regeln mittels Sterngraphgrammatiken und Paargraphgrammatiken
Hoffmann, Jakumeit, Gei├č, Graph Rewrite Rules with Structural Recursion
Buchwald, Erweiterung von GrGen.NET um DPO-Semantik und ungerichtete Kanten
Gelhausen, Derre, Gei├č, Customizing GrGen.NET for Model Transformation
Gei├č, Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools
Gei├č, Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
Gei├č, Kroll, GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool
Denninger, Gelhausen, Gei├č, Applications and Rewriting of Omnigraphs -- Exemplified in the Domain of MDD
Batz, Kroll, Gei├č, A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching
Sch├Âsser, Gei├č, Graph Rewriting for Hardware Dependent Program Optimizations
 
2007
Sch├Âsser, Graphersetzungsregelgewinnung aus Hochsprachen und deren Anwendung
Jakumeit, Vorarbeiten f├╝r die Erweiterung des Graphersetzungssystems GrGen um dynamisch zusammengesetzte Muster
Hack, Register Allocation for Programs in SSA Form
Grund, Hack, A Fast Cutting-Plane Algorithm for Optimal Coalescing
M├╝ller, Erweiterung des Graphersetzungswerkzeugs GrGen.NET um dynamische und kontextsensitive Beschleunigungstechniken
Kroll, Gei├č, Developing Graph Transformations with GrGen.NET
M├╝ller, Gei├č, Speeding up Graph Transformation through Automatic Concatenation of Rewrite Rules
Gei├č, Kroll, On Improvements of the Varro Benchmark for Graph Transformation Tools
Kroll, GrGen.NET: Portierung und Erweiterung des Graphersetzungssystems GrGen
Mallon, If-Konversion auf SSA
W├╝rdig, Entwurf und Implementierung eines Firm-basierten Backends f├╝r die Synchrone Transfer-Architektur
Blomer, Gei├č, The GrGen.NET User Manual
 
2006
W├╝rdig, Entwurf und Implementierung eines SSA-basierten x86-Backends
Braun, Vor- und Nachteile der SSA-Darstellung f. Programmoptimierungen und Behandlung von indirekten Speicherzugriffen
Braun, Heuristisches Auslagern in einem SSA-basierten Registerzuteiler
Szalkowski, Rematerialisierung mittels ganzzahliger linearer Optimierung in einem SSA-basierten Registerzuteiler
Spallek, Effiziente Speicherung und Repr├Ąsentation von Konfliktgraphen
Liekweg, Compiler-Directed Automatic Memory Management
Gei├č, Batz, Grund, Hack, Szalkowski, GrGen: A Fast SPO-Based Graph Rewriting Tool
Batz, An Optimization Technique for Subgraph Matching Strategies
Hack, Goos, Optimal register allocation for SSA-form programs in polynomial time
Hack, Grund, Goos, Register allocation for programs in SSA-form
 
2005
Batz, Graphersetzung f├╝r eine Zwischendarstellung im ├ťbersetzerbau
Szalkowski, Negative Anwendungsbedingungen f├╝r das suchprogrammbasierte Backend von GrGen
Lei├č, Entwicklung eines Anzeigesystems f├╝r Programmgraphen
Boesler, Liekweg, Beschreibung Externer Komponenten zur Analyse und Optimierung von Softwaresystemen
Hack, Grund, Goos, Towards Register Allocation for Programs in SSA-form
Boesler, Codeerzeugung mit Graphersetzung und Lösungsgraphen
Grund, Kopienminimierung in einem SSA-basierten Registerzuteiler
Blech, Glesner, Leitner, Formal Verification of Java Code Generation from UML Models
Glesner, An Introduction to (Co)Algebras and (Co)Induction and their Application to the Semantics of Programming Languages
Humbert, Entwurf und Implementierung einer Schnittstelle f├╝r SSA-Sprachen
Kopp, Gesellensetter, Kr├Ąmer, Wachsmuth, A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application
Hack, Interference Graphs of Programs in SSA-form
Batz, Generierung von Graphersetzungen mit programmierbarem Suchalgorithmus
Blech, Gesellensetter, Glesner, Formal Verification of Dead Code Elimination in Isabelle/HOL
Boesler, Lindenmaier, Gei├č, Beck, Firm, an Intermediate Language for Compiler Research
Lindenmaier, Structure Splitting and Inheritance
Blech, Glesner, Leitner, M├╝lling, A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL
Glesner, Blech, Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler
 
2004
Hofmann, Regelerzeugung zur maschinenabh├Ąngigen Codeoptimierung
Jakschitsch, Befehlsauswahl auf SSA-Graphen
Sperling, Verifikation unimodularer Schleifentransformation
Grund, Negative Anwendungsbedingungen f├╝r den Graphersetzer GrGen
Kratz, Entwicklung eines Debuggers mit R├╝ckw├Ąrtsschrittfunktion
Pulverm├╝ller, Speck, XOpT - XML-Based Composition Concept
Glesner, Goos, Zimmermann, Verifix: Konstruktion und Architektur verifizierender ├ťbersetzer (Verifix: Construction and Architecture of Verifying Compilers)
Blech, Glesner, A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Blech, Eine formale Semantik f├╝r SSA-Zwischensprachen in Isabelle/HOL
Glesner, Zimmermann, Natural Semantics as a Static Program Analysis Framework
Glesner, Forster, J├Ąger, A Program Result Checker for the Lexical Analysis of the GNU C Compiler
Glesner, A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics
Glesner, An ASM Semantics for SSA Intermediate Representations
Heuzeroth, Aspektorientierte Konfiguration und Adaption von Komponenteninteraktionen
 
2003
Noga, Optimierung der Verarbeitung von Dokumenten
Kleine, Erweiterung eines Metaprogrammiersystems um einen iterativ aktualisierbaren Zwischensprachaufbau
Kalisch, Prozessorsimulation mit Zustandsautomaten
Hack, RAP - Ein Registerallokator f├╝r CGGG
Hack, Graphersetzung f├╝r Optimierungen in der Codeerzeugung
Gaul, Konstruktion verifizierender ├ťbersetzer mit Programmpr├╝fung
Wagner, Entscheidungsfindung mit unscharfen Mengen
Gei├č, Hack, ├ťbersetzerbau - Ein kleiner ├ťberblick
Schr├Âter, Codegenerierung f├╝r digitale Signalprozessoren
Noga, L├Âwe, Mapping Data Types of Programming Language and Web Services
Noga, V├Âlkel, From Web Pages to Web Services with wal
Schott, Noga, Lazy XSL Transformations
Heuzeroth, L├Âwe, Mandel, Generating Design Pattern Detectors from Pattern Specifications
Van Der Straeten, Speck, Pulverm├╝ller, Clau├č, Correctness of Model-Based Software Composition - Proceedings
Speck, Pulverm├╝ller, Heuzeroth, Validation of Business Process Models
Glesner, Program Checking with Certificates: Separating Correctness-Critical Code
Blech, Spezifikation und maschinelle Verifikation von Konstantenfaltung in ├ťbersetzern
Boesler, A Modification to BURS in Codegeneration
Glesner, Using Program Checking to Ensure the Correctness of Compiler Implementations
Glesner, Blech, Classifying and Formally Verifying Integer Constant Folding
Glesner, ASMs versus Natural Semantics: A Comparison with New Insights
Heuzeroth, L├Âwe, Understanding Architecture Through Structure and Behavior Visualization, Chapter 9 in book: Software-Visualization - From Theory to Practice
Heuzeroth, Holl, H├Âgstr├Âm, L├Âwe, Automatic Design Pattern Detection
 
2002
Ludwig, Automatische Transformation gro├čer Softwaresysteme
Spott, Efficient Reasoning With Fuzzy Words
Speck, Pulverm├╝ller, Jerger, Franczyk, Component Composition Validation
Speck, Robak, Pulverm├╝ller, Clau├č, Version-based Approach for Modelling Software Systems
Speck, Pulverm├╝ller, Clau├č, Van Der Straeten, Reussner, Model-Based Software Reuse
Costanza, Kniesel, Mehner, Pulverm├╝ller, Speck, Second German Workshop on Aspect-Oriented Software Development
Lindenmaier, libFIRM -- A Library for Compiler Optimization Research Implementing FIRM
Schonger, Pulverm├╝ller, Sarstedt, Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees
Pulverm├╝ller, Composition and Correctness
Speck, Pulverm├╝ller, Clau├č, Versioning in Software Modeling
Goos, Software as Science?
Glesner, Gei├č, Boesler, Verified Code Generation for Embedded Systems
Gaul, AJACS: Applying Java to Automotive Control Systems
Noga, Schott, L├Âwe, Lazy XML Processing
Noga, Content Management System Deployment - Merging Separate Concerns
L├Âwe, Noga, Component Communication and Data Adaptation
Schmidt, Realisierung eines invertierenden C-Zerteilers f├╝r COMPOST
Wagner, Statistical Based Fuzzy Sets
Wagner, Risikoabsch├Ątzung mit Fuzzy Methoden
Holl, Werkzeuggest├╝tzte Erkennung von statischen und dynamischen Mustern in objektorientierter Software
Noga, L├Âwe, Data Types and XML Schema
L├Âwe, Noga, Metaprogramming Applied to Web Component Deployment
L├Âwe, Noga, Scenario-Based Connector Optimization - An XML Approach
L├Âwe, Noga, A Lightweight XML-based Middleware Architecture
Heuzeroth, Holl, L├Âwe, Combining Static and Dynamic Analyses to Detect Interaction Patterns
L├Âwe, Noga, Gaul, Foundations of Fast Communication via XML
 
2001
Beck, Linux-Kernelprogrammierung
Trapp, Optimierung objektorientierter Programme. ├ťbersetzungstechniken, Analysen und Transformationen.
L├Âwe, Ludwig, Schwind, Understanding Software - Static and Dynamic Aspects
Wagner, Risk assessment with Possibility Measures
Wagner, Risk Assessment in Natural Disasters with Fuzzy Probabilities
Noga, Software aus Komponenten ÔÇô Technische und juristische Fragen
Noga, Manchmal ist der wichtigste Baustein kein Baustein
Glesner, Zimmermann, Structural Simulation Proofs based on ASMs even for Non-Terminating Programs
Sch├Ąfer, Realisierung eines invertierenden C-Pr├Ąprozessors f├╝r COMPOST
Heuzeroth, Holl, L├Âwe, Combining Static and Dynamic Analyses to Detect Interaction Patterns
Goerigk, Pulverm├╝ller, Speck, Sprachen, Architekturen und neue objektorientierte Softwaretechniken, TR No. 2018
Pulverm├╝ller, Speck, D'Hondt, DeMeuter, Coplien, Feature Interaction in Composed Systems, ECOOP 2001 - Proceedings, TR No. 2001-14
Speck, Pulverm├╝ller, Versioning in Software Engineering
Goos, Issues in Compiling
Mehner, Mezini, Pulverm├╝ller, Speck, Aspektorientierung - Workshop der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung
Pulverm├╝ller, Speck, Coplien, A Version Model for Aspect Dependency Management
Pulverm├╝ller, Speck, Coplien, D'Hondt, DeMeuter, Position Paper: Feature Interaction in Composed Systems
Rashid, Chitchyan, Speck, Pulverm├╝ller, EProMS: An E-Commerce based Process Model for Cooperative SoftwareDevelopment in Small Organisations
Speck, Pulverm├╝ller, Feature Modeling
Heuzeroth, L├Âwe, Ludwig, Assmann, Aspect-Oriented Configuration and Adaptation of Component Communication
Jaeger, Heuzeroth, Assmann, Automating the Management of Reusable System Components
Dieterich, Generierung von Graphersetzern als XML-Transformatoren
Gaul, L├Âwe, Noga, Specification in a large Industry Consortium - The MOST Approach
Lindenmaier, Gei├č, Global Configuration of Cache Optimizations
L├Âwe, Liebrich, VizzScheduler - A Framework for the Visualization of Scheduling Algorithms
Gaul, Kung, AJACS: Applying Java to Automotive Control Systems
Goos, Vorlesungen ├╝ber Informatik Band 2: Objektorientiertes Programmieren und Algorithmen
 
2000
Gei├č, Thermodynamic Cost of Reliability and Low Temperatures: Tightening Landauer's Principle and the Second Law
Noga, legOS - Erweiterungen von einer Ablaufumgebung zu einem Betriebssystem
Noga, Das Inoffizielle Handbuch f├╝r LEGO MINDSTORMS Roboter
Lindenmaier, Load Scheduling with Profile Information
Frick, Goos, Neumann, Zimmermann, Construction of Robust Class Hierarchies
Gaul, Practical Construction of Correct Compiler Implementations by Runtime Result Verification
Noga, Erzeugung validierender Zerteiler aus XML Schemata
Gei├č, Schleifen├╝bergreifende Cacheoptimierung
Speck, Pulverm├╝ller, Component Frameworks for Software Generators
Pulverm├╝ller, Generative and Component-Based Software Engineering
Speck, Pulverm├╝ller, Mezini, Reusability of Concerns
Pulverm├╝ller, Rashid, Speck, Supporting Composition using Assertions
Klaeren, Pulverm├╝ller, Rashid, Speck, Aspect Composition applying the Design by Contract Principle
Rashid, Pulverm├╝ller, From Object-Oriented to Aspect-Oriented Databases
Pulverm├╝ller, Speck, Rashid, Implementing collaboration-based Designs using Aspect-Oriented Programming
Weisbrod, Spott, Conditional constraints, implication based rules, and possibilistic rule bases: Are they any good?
Schoknecht, Spott, Riedmiller, Fynesse: A new architecture for sequential decision problems
Schoknecht, Spott, Riedmiller, Design of selflearning controllers using Fynesse
Goos, Zimmermann, Verifying Compilers and ASMs
Ludwig, Neumann, Zimmermann, Towards Reliable Class Hierarchies
Ludwig, Heuzeroth, Metaprogramming in the Large
Goos, Zimmermann, ASMs for uniform description of multistep transformations
Gaul, Zimmermann, Goerigk, Practical Construction of Correct Compiler Implementations by Runtime Result Verification
Goos, Vorlesungen ├╝ber Informatik Band 1: Grundlagen und funktionales Programmieren
Rashid, Sawyer, Pulverm├╝ller, A Flexible Approach for Instance Adaptation during Class Versioning
Gaul, Kung, AJACS: Applying Java to Automotive Control Systems
Fellhauer, Verteilte Gruppenarbeitssysteme im heterogenen Rechnerumfeld
Riedmiller, Spott, Weisbrod, Fynesse: A hybrid architecture for selflearning control
 
1999
Glesner, Nat├╝rliche Semantik f├╝r imperative und objektorientierte Programmiersprachen
Glesner, Stroetmann, Combining Inclusion Polymorphism and Parametric Polymorphism
Glesner, Natural Semantics for Imperative and Object-Oriented Programming Languages
Gaul, Heberle, Zimmermann, Goerigk, Construction of Verified Software Systems with Program-Checking: An Application To Compiler Back-Ends
Noga, The legOS Operating System
Noga, Designing the legOS Multitasking Operating System
Goerigk, Zimmermann, Gaul, Heberle, Hoffmann, Correct Compilation of a While-Language with Parameterless Recursive Procedures
Assmann, Aspect Weaving by Graph Rewriting
Heuzeroth, Reussner, A Meta-protocol and Type System for the Dynamic Coupling of Binary Components
Heuzeroth, Reussner, Dynamic Coupling of Binary Components and its Technical Support
Speck, Rashid, Pulverm├╝ller, Chitchyan, Individual Software Development in Generative Programming
Pulverm├╝ller, Aspekte in verteilten Umgebungen
Goos, Zimmermann, Verification of Compilers
Assmann, Ludwig, Introducing Connections into Classes with Static Metaprogramming
Schoknecht, Spott, Liekweg, Riedmiller, Search Space Reduction for Strategy Learning in Sequential Decision Processes
Spott, Schoknecht, Riedmiller, Approaches for the integration of a priori knowledge into an autonomously learning control architecture
Gaul, Schumacher, Advanced Generator Techniques for Embedded Compilers
Genius, Uebersetzergesteuerte Datenumordnung durch zyklische Graphfaerbung
Genius, Eisenbiegler, Reduktion von Cachekonflikten durch eine Parametrisierte Speicherabbildung
Lindenmaier, Analyse von Profilinformationen f├╝r cachesensitives Befehlsanordnen
Heberle, Gaul, Zimmermann, Construction of Verified Compiler Front-Ends with Program-Checking
Spott, A theory of possibility distributions
Gaul, Riedmiller, Schoknecht, Spott, Fuzzy-Neuro-Controlled Verified Instruction Scheduler
Pulverm├╝ller, Klaeren, Speck, Aspects in Distributed Environments
Genius, Assmann, Java and CoSy Technology for Embedded Systems: the JOSES Project
Trapp, Lindenmaier, Boesler, Documentation of the Intermediate Representation FIRM
 
1998
Genius, Trapp, Zimmermann, An Approach to improve Locality using Sandwich Types
Glesner, Many-Sorted Natural Semantics - Specification and Generation of the Semantic Analysis for Imperative and Object-Oriented Programming Languages
Glesner, Zimmermann, Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis
Gei├č, The Sherlock-System - A Prototype for Many-Sorted Natural Semantics
Dold, Gaul, Vialard, Zimmermann, ASM-Based Mechanized Verification of Compiler Backends
Gaul, Heberle, Heuzeroth, Zimmermann, An ASM Specification of the Operational Semantics of MIS
Schoknecht, Spott, Riedmiller, Goos, Menzel, Selbst├Ąndiges Lernen von Regelungen mit Fynesse
Gaul, Schumacher, Compiler Techniques for Fast Migration of Embedded Applications
Spott, Using classic approximation techniques for approximate reasoning
Genius, Behandlung von Kreuzinterferenz durch zyklische Graphfaerbung
Genius, Handling Cross Interferences by Cyclic Cache Line Coloring
Spott, Riedmiller, Improving a priori control knowledge by reinforcement learning
Heberle, L├Âwe, Trapp, Safe Reuse of Source to Intermediate Language Compilations
Gaul, Goerigk, Zimmermann, Correct Programs without Proof? On Checker-Based Program Verification
Goos, Vorlesungen ├╝ber Informatik Band 4: Parallelit├Ąt und nicht-analytische L├Âsungsverfahren
Dold, Gaul, Zimmermann, Mechanized Verification of Compiler Back-Ends
Goerigk, Zimmermann, Gaul, Heberle, Hoffmann, Praktikable Konstruktion korrekter ├ťbersetzer
Boesler, Codeerzeugung aus Abh├Ąngigkeitsgraphen
Heuzeroth, Spezifikation und Verifikation von standardisierten Transformationen am Beispiel der imperativen Sprache IS
 
1997
Lindenmaier, Erfassung eines computerinternen Modells von Altprodukten und Ermittlung der wirtschaftlichsten Fraktionierungstiefe
Glesner, Zimmermann, Using Many-Sorted Inference Rules to Generate Semantic Analysis
Kolbe, Glesner, Many-Sorted Logic in a Learning Theorem Prover
Gaul, Goos, Heberle, Zimmermann, Zur Konstruktion verifizierter ├ťbersetzer
Gaul, Goos, Heberle, Zimmermann, Goerigk, An Architecture for Verified Compiler Construction
Heuzeroth, Operator-basierte Programmierung - Operatoren zum Kombinieren von Komponenten und ihre Anforderungen an Reflexions-Schnittstellen
Goos, Spott, Weisbrod, Riedmiller, Interpretation und Adaption unscharfer Relationen innerhalb einer hybriden selbstlernenden Steuerungsarchitektur
Goos, Sather-K - The Language
Gaul, Zimmermann, On the Construction of Correct Compiler Back-Ends: An ASM Approach
Riedmiller, Spott, Weisbrod, First Results on the Application of the Fynesse Control Architecture
Goos, Zimmermann, D2: Programmiersprachen
Goos, Vorlesungen ├╝ber Informatik Band 3: Berechenbarkeit, formale Sprachen und Spezifikationen
Bolten, Spott, Fuzzy Rule Extraction from Fuzzy Relations
 
1996
Glesner, Mehrsortige Logik in einem Lernenden Beweiser
Gaul, Simple Code Generation for MIS to DEC-Alpha processor
Goerigk, Dold, Gaul, Goos, Heberle, von Henke, Hoffmann, Langmaack, Zimmermann, Compiler Correctness and Implementation Verification: The Verifix Approach
Spott, Weisbrod, A new approach to the adaptation of fuzzy relations
 
1995
Glesner, Koller, Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases
 
1994
Goos, Algorithmentechnik (Vorlesungsskript)
Glesner, Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases (Master's Thesis)
Spott, Unscharfes Schlie├čen mit komplexen Wissensbasen
 
1992
Wagner, Polynomringe ├╝ber K├Ârpert├╝rmen
 
1984
Goos, Waite, Compiler Construction
Login
Links