Hergen Pargmann

According to our database, Hergen Pargmann authored at least 5 papers between 1994 and 2017.

Collaborative distances:

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

2017

GranMicro: A Black-Box Based Approach for Optimizing Microservices Based Applications.

Ola Wasef Mustafa, Jorge Marx Gómez, Mohamad Hamed, Hergen Pargmann

Proceedings of the From Science to Society, 2017

1997

COMDES: Simulations- und Verifikationstechniken für den Hardware-Entwurf auf Systemebene.

Hergen Pargmann

PhD thesis, 1997

1995

Translating VHDL into Functional Symbolic Finite-State Models.

Gert Döhmen, Ronald Herrmann, Hergen Pargmann

Formal Methods Syst. Des., 1995

1994

Computing binary decision diagrams for VHDL data types.

Ronald Herrmann, Hergen Pargmann

Proceedings of the Proceedings EURO-DAC'94, 1994

Model Checking Using Adaptive State and Data Abstraction.

Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann

Proceedings of the Computer Aided Verification, 6th International Conference, 1994