Dirk Eisenbiegler

According to our database, Dirk Eisenbiegler authored at least 15 papers between 1993 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Physical Simulation Related Exercises for the Education in the STEM Field - Approaches Based on the Physolator Framework.

Dirk Eisenbiegler, Dietmar Gruber, Thomas Jörg

Simul. Notes Eur., 2017

Mixed Fluid and Rigid Body Simulations - An Object Oriented Component Library based on the Physolator Framework.

Waldemar Rose, Dirk Eisenbiegler

Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, 2017

An Object Oriented Approach Towards Simulating Physical Systems with Fluids and Rigid Bodies Based on the Physolator Simulation Framework.

Dirk Eisenbiegler, Waldemar Rose

Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2017

2012

Schwarzwälder - An online test framework.

Dirk Eisenbiegler, Florian Feigenbutz

Proceedings of the 6th IEEE International Conference on Digital Ecosystems and Technologies, 2012

1999

Ein Kalkül für die Formale Schaltungssynthese.

Dirk Eisenbiegler

PhD thesis, 1999

On the efficiency of formal synthesis-experimental results.

Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

1998

Deriving Structural RT-Implementations from Algorithmic Descriptions by means of Logical Transformations.

Christian Blumenröhr, Dirk Eisenbiegler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998

Performing High-Level Synthesis via Program Transformations within a Theorem Prover.

Christian Blumenröhr, Dirk Eisenbiegler

Proceedings of the 24th EUROMICRO '98 Conference, 1998

1997

An Efficient Representation for Formal Synthesis.

Christian Blumenröhr, Dirk Eisenbiegler

Proceedings of the 10th International Symposium on System Synthesis, 1997

A constructive approach towards correctness of synthesis-application within retiming.

Dirk Eisenbiegler, Ramayya Kumar, Christian Blumenröhr

Proceedings of the European Design and Test Conference, 1997

1996

Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL.

Dirk Eisenbiegler, Christian Blumenröhr, Ramayya Kumar

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

Formal Synthesis in Circuit Design - A Classification and Survey.

Ramayya Kumar, Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

An Automata Theory Dedicated towards Formal Circuit Synthesis.

Dirk Eisenbiegler, Ramayya Kumar

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

Formally embedding existing high level synthesis algorithms.

Dirk Eisenbiegler, Ramayya Kumar

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1993

A Functional Approach for Formalizing Regular Hardware Structures.

Dirk Eisenbiegler, Klaus Schneider, Ramayya Kumar

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993