Dirk Eisenbiegler

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