Model Checking Using Adaptive State and Data Abstraction. - Dennis Dams; Rob Gerth; Gert Döhmen; Ronald Herrmann; Peter Kelb; Hergen Pargmann (CAV, 1994)

Computing binary decision diagrams for VHDL data types. - Ronald Herrmann; Hergen Pargmann (EURO-DAC, 1994)

Translating VHDL into Functional Symbolic Finite-State Models. - Gert Döhmen; Ronald Herrmann; Hergen Pargmann (Formal Methods Syst. Des., 1995)

COMDES: Simulations- und Verifikationstechniken für den Hardware-Entwurf auf Systemebene. - Hergen Pargmann (1997)

GranMicro: A Black-Box Based Approach for Optimizing Microservices Based Applications. - Ola Wasef Mustafa; Jorge Marx Gómez; Mohamad Hamed; Hergen Pargmann (EnviroInfo, 2017)