Hergen Pargmann

Publication Activity (10 Years)

Years Active: 1994-2017
Publications (10 Years): 1

Top Topics

Integration Testing

State Transition

Top Venues

Carl von Ossietzky University of Oldenburg (PHD)

Education History

Carl von Ossietzky University of Oldenburg

PHD

Publications

Ola Wasef Mustafa, Jorge Marx Gómez, Mohamad Hamed, Hergen Pargmann
GranMicro: A Black-Box Based Approach for Optimizing Microservices Based Applications. EnviroInfo (2017)
Gert Döhmen, Ronald Herrmann, Hergen Pargmann
Translating VHDL into Functional Symbolic Finite-State Models. Formal Methods Syst. Des. 7 (1/2) (1995)
Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann
Model Checking Using Adaptive State and Data Abstraction. CAV (1994)
Ronald Herrmann, Hergen Pargmann
Computing binary decision diagrams for VHDL data types. EURO-DAC (1994)