Dirk Eisenbiegler

Publication Activity (10 Years)

Years Active: 1993-2017
Publications (10 Years): 3

Top Venues

SIMULTECH (Selected Papers)

DEST

SIMULTECH

Simul. Notes Eur.

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Waldemar Rose, Dirk Eisenbiegler
Mixed Fluid and Rigid Body Simulations - An Object Oriented Component Library based on the Physolator Framework. SIMULTECH (2017)
Dirk Eisenbiegler, Waldemar Rose
An Object Oriented Approach Towards Simulating Physical Systems with Fluids and Rigid Bodies Based on the Physolator Simulation Framework. SIMULTECH (Selected Papers) (2017)
Dirk Eisenbiegler, Dietmar Gruber, Thomas Jörg
Physical Simulation Related Exercises for the Education in the STEM Field - Approaches Based on the Physolator Framework. Simul. Notes Eur. 27 (1) (2017)
Dirk Eisenbiegler, Florian Feigenbutz
Schwarzwälder - An online test framework. DEST (2012)
Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid
On the efficiency of formal synthesis-experimental results. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (1) (1999)
Christian Blumenröhr, Dirk Eisenbiegler
Performing High-Level Synthesis via Program Transformations within a Theorem Prover. EUROMICRO (1998)
Christian Blumenröhr, Dirk Eisenbiegler
Deriving Structural RT-Implementations from Algorithmic Descriptions by means of Logical Transformations. MBMV (1998)
Christian Blumenröhr, Dirk Eisenbiegler
An Efficient Representation for Formal Synthesis. ISSS (1997)
Dirk Eisenbiegler, Ramayya Kumar, Christian Blumenröhr
A constructive approach towards correctness of synthesis-application within retiming. ED&TC (1997)
Ramayya Kumar, Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid
Formal Synthesis in Circuit Design - A Classification and Survey. FMCAD (1996)
Dirk Eisenbiegler, Christian Blumenröhr, Ramayya Kumar
Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL. TPHOLs (1996)
Dirk Eisenbiegler, Ramayya Kumar
Formally embedding existing high level synthesis algorithms. CHARME (1995)
Dirk Eisenbiegler, Ramayya Kumar
An Automata Theory Dedicated towards Formal Circuit Synthesis. TPHOLs (1995)
Dirk Eisenbiegler, Klaus Schneider, Ramayya Kumar
A Functional Approach for Formalizing Regular Hardware Structures. HUG (1993)

Dirk Eisenbiegler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dirk Eisenbiegler