Concepedia

Hardi Hungar

HH

6

Publications

256

Citations

6

H-Index

1998

Active since

Affiliations

Oldenburger Institut für Informatik(Current)

TU Dortmund University

Carl von Ossietzky Universität Oldenburg

Hardi Hungar is an author at Oldenburger Institut für Informatik specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringComputer ScienceFormal VerificationSystems EngineeringVerificationFormal MethodsSoftware TestingComputer EngineeringSoftware EngineeringDesign

Publications per year

1998–2017

6

Publications

6

Using contract-based component specifications for virtual integration testing and architecture design

Werner Damm, Hardi Hungar, Bernhard Josko et al. · 2011 · 108 citations

Contract-based Component Specifications, Architecture Design, Engineering +28

Verification of cooperating traffic agents

Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog · International Journal of Control · 2006 · 49 citations

Vehicle Communication, Engineering, Verification +18

Test-based model generation for legacy systems

Hardi Hungar, Tiziana Margaria, Bernhard Steffen · 2004 · 47 citations

Software Maintenance, Engineering, Verification +22

Test Specifications for Highly Automated Driving Functions: Highway Pilot

Hardi Hungar, Frank Köster, Jens Mazzega · elib (German Aerospace Center) · 2017 · 20 citations · Full text

Engineering, Verification, Software Engineering +17

Behavior-based model construction

Hardi Hungar, Bernhard Steffen · International Journal on Software Tools for Technology Transfer · 2004 · 19 citations

Engineering, Behavior-based Model Construction, Automated Reasoning +8

Rows per page

1–5 of 6