default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHardi Hungar
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c45]Falk Howar, Hardi Hungar:
Safe AI in Autonomous Vehicles - Track at AISoLA 2023. AISoLA 2023: 421-425- 2022
- [c44]Axel Hessenkämper, Falk Howar, Hardi Hungar, Andreas Rausch:
Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022. ISoLA (4) 2022: 337-339 - 2021
- [c43]Falk Howar, Hardi Hungar, Andreas Rausch:
Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. ISoLA 2021: 71-76 - [c42]Hardi Hungar:
Use Cases for Simulation in the Development of Automated Driving Systems. ISoLA 2021: 117-128 - 2020
- [c41]Hardi Hungar:
A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract. ISoLA (3) 2020: 293-306
2010 – 2019
- 2018
- [c40]Hardi Hungar:
Applying Decision Graphs in the Context of Automated Driving. Models, Mindsets, Meta 2018: 17-23 - [c39]Hardi Hungar:
Scenario-Based Validation of Automated Driving Systems. ISoLA (3) 2018: 449-460 - 2014
- [c38]Christian Ellen, Sven Sieverding, Hardi Hungar:
Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. FMICS 2014: 155-169 - 2013
- [c37]Hardi Hungar, Marc Behrens:
Opening up the Verification and Validation of Safety-Critical Software. Software Engineering (Workshops) 2013: 483-491 - 2012
- [c36]Hardi Hungar:
Components and Contracts: A Semantical Foundation for Compositional Refinement. MBEES 2012: 157-162 - 2011
- [c35]Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand:
Using contract-based component specifications for virtual integration testing and architecture design. DATE 2011: 1023-1028 - [c34]Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter:
Using Guided Simulation to Assess Driver Assistance Systems. MBEES 2011: 71-80 - 2010
- [c33]Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter:
Using Guided Simulation to Assess Driver Assistance Systems. FORMS/FORMAT 2010: 195-205
2000 – 2009
- 2009
- [p3]Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Christian Winkler, Hardi Hungar:
An Approach to Discovery with miAamics and jABC. Semantic Web Services Challenge 2009: 217-234 - [e2]Michaela Huhn, Hardi Hungar:
Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008. Electronic Notes in Theoretical Computer Science 238(4), Elsevier 2009 [contents] - 2008
- [c32]Hardi Hungar, Erwin Reyzl:
Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung. Software Engineering 2008: 291-294 - [c31]Hardi Hungar, Erwin Reyzl:
Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung. Software Engineering (Workshops) 2008: 299-302 - [c30]Hardi Hungar:
Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision. Software Engineering (Workshops) 2008: 339-340 - [c29]Hardi Hungar, Erwin Reyzl:
Ergebnisse des Workshops "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme". Software Engineering (Workshops) 2008: 345-349 - [c28]Michaela Huhn, Hardi Hungar:
Preface. SafeCert@ETAPS 2008: 1-2 - [e1]Michaela Huhn, Hardi Hungar, Doron A. Peled:
Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007. Dagstuhl Seminar Proceedings 07241, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 2007
- [c27]Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs
, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz:
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. ATVA 2007: 425-440 - [c26]Michaela Huhn, Hardi Hungar:
UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems. Model-Based Engineering of Embedded Real-Time Systems 2007: 201-237 - [i2]Michaela Huhn, Hardi Hungar, Doron A. Peled:
07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems 2007 - [i1]Michaela Huhn, Hardi Hungar, Doron A. Peled:
07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems 2007 - 2006
- [c25]Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz:
Automatic Verification of Hybrid Systems with Large Discrete State Space. ATVA 2006: 276-291 - [c24]Hardi Hungar:
UML-basierte Entwicklung sicherheitskritischer Systeme im Bahnbereich. MBEES 2006: 63-64 - 2005
- [c23]Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko:
Automatic Validation and Verification in a Model-Based Development Process. MBEES 2005: 113-124 - 2004
- [j3]Hardi Hungar, Bernhard Steffen:
Behavior-based model construction. Int. J. Softw. Tools Technol. Transf. 6(1): 4-14 (2004) - 2003
- [c22]Hardi Hungar, Oliver Niese, Bernhard Steffen:
Domain-Specific Optimization in Automata Learning. CAV 2003: 315-327 - [c21]Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog:
On the Verification of Cooperating Traffic Agents. FMCO 2003: 77-110 - [c20]Hardi Hungar, Tiziana Margaria, Bernhard Steffen:
Test-Based Model Generation For Legacy Systems. ITC 2003: 971-980 - [c19]Bernhard Steffen, Hardi Hungar:
Behavior-Based Model Construction. VMCAI 2003: 5-19 - 2002
- [c18]Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen:
Model Generation by Moderated Regular Extrapolation. FASE 2002: 80-95 - [c17]Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide:
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. FASE 2002: 336-340 - [c16]Hardi Hungar, Tiziana Margaria, Bernhard Steffen:
Model Generation for Legacy Systems. RISSEF 2002: 167-183
1990 – 1999
- 1999
- [c15]Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen:
Verification of Automotive Control Units. Correct System Design 1999: 319-341 - [c14]Hardi Hungar:
Model Checking and Higher-Order Recursion. MFCS 1999: 149-159 - 1998
- [c13]Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster:
First-Order-CTL Model Checking. FSTTCS 1998: 283-294 - 1997
- [c12]Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli:
A Compositional Real-Time Semantics of STATEMATE Designs. COMPOS 1997: 186-238 - 1995
- [c11]Hardi Hungar, Orna Grumberg, Werner Damm:
What if model checking must be truly symbolic. CHARME 1995: 1-20 - [p2]Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör:
Statecharts. Formal Development of Reactive Systems 1995: 131-149 - [p1]Jürgen Bohn, Hardi Hungar:
Traverdi - Transformation and Verification of Distributed Systems. KORSO Book 1995: 317-338 - 1994
- [j2]Hardi Hungar:
Expressibility of the Semantics of Sequential Programs in First-Order Logic. Fundam. Informaticae 21(4): 345-365 (1994) - [j1]Hardi Hungar, Bernhard Steffen:
Local Model-Checking for Context-Free Processes. Nord. J. Comput. 1(3): 364- (1994) - [c10]Hardi Hungar:
Model Checking of macro Processes. CAV 1994: 169-181 - [c9]Hardi Hungar:
Local Model Checking for Parallel Compositions of Context-Free Processes. CONCUR 1994: 114-128 - [c8]Hardi Hungar:
Specification and Verification Using a Visual Formalism on Top of Temporal Logic. Formal Systems Specification 1994: 305-339 - 1993
- [c7]Hardi Hungar:
Combining Model Checking and Theorem Proving to Verify Parallel Processes. CAV 1993: 154-165 - [c6]Hardi Hungar, Bernhard Steffen:
Local Model Checking for Context-Free Processes. ICALP 1993: 593-605 - [c5]Hardi Hungar:
The Complexity of Verifying Functional Programs. STACS 1993: 428-439 - 1991
- [c4]Hardi Hungar:
Correstness of Programs over Poor Signatures. FSTTCS 1991: 109-120 - [c3]Hardi Hungar:
Complexity Bounds of Hoare-style Proof Systems. LICS 1991: 120-126 - [c2]Hardi Hungar:
Complexity of Proving Program Correctness. TACS 1991: 459-474 - 1990
- [b1]Hardi Hungar:
Über Komplexitätsfragen Hoarescher Beweissysteme: effiziente Beweiserstellung und komplexitätsbedingte Grenzen bestimmter Systeme. University of Kiel, Germany, 1990, pp. 1-148
1980 – 1989
- 1988
- [c1]Michal Grabowski, Hardi Hungar:
On the Existence of Effective Hoare Logics. LICS 1988: 428-435
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 01:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
