Hardi Hungar - RankMe

56 papers A* 6A 3B 7C 8Journal 3Unranked 23

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	Safe AI in Autonomous Vehicles - Track at AISoLA 2023. AISoLA Falk Howar, Hardi Hungar
2022	—	`conf`	Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022. ISoLA (4) Axel Hessenkämper, Falk Howar, Hardi Hungar, Andreas Rausch
2021	C	`conf`	Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. ISoLA Falk Howar, Hardi Hungar, Andreas Rausch
2021	C	`conf`	Use Cases for Simulation in the Development of Automated Driving Systems. ISoLA Hardi Hungar
2020	—	`conf`	A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract. ISoLA (3) Hardi Hungar
2018	—	`conf`	Applying Decision Graphs in the Context of Automated Driving. Models, Mindsets, Meta Hardi Hungar
2018	—	`conf`	Scenario-Based Validation of Automated Driving Systems. ISoLA (3) Hardi Hungar
2014	C	`conf`	Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. FMICS Christian Ellen, Sven Sieverding, Hardi Hungar
2013	C	`conf`	Opening up the Verification and Validation of Safety-Critical Software. Software Engineering (Workshops) Hardi Hungar, Marc Behrens
2012	—	`conf`	Components and Contracts: A Semantical Foundation for Compositional Refinement. MBEES Hardi Hungar
2011	—	`conf`	Using Guided Simulation to Assess Driver Assistance Systems. MBEES Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter
2011	A	`conf`	Using contract-based component specifications for virtual integration testing and architecture design. DATE Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand
2010	—	`conf`	Using Guided Simulation to Assess Driver Assistance Systems. FORMS/FORMAT Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter
2009	—	`ch.`	An Approach to Discovery with miAamics and jABC. Semantic Web Services Challenge Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Christian Winkler, Hardi Hungar
2009	—	`ed.`	Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary, April 29, 2008 SafeCert@ETAPS Michaela Huhn, Hardi Hungar
2008	C	`conf`	Ergebnisse des Workshops "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme". Software Engineering (Workshops) Hardi Hungar, Erwin Reyzl
2008	C	`conf`	Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision. Software Engineering (Workshops) Hardi Hungar
2008	—	`conf`	Preface. SafeCert@ETAPS Michaela Huhn, Hardi Hungar
2008	C	`conf`	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 Hardi Hungar, Erwin Reyzl
2008	C	`conf`	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) Hardi Hungar, Erwin Reyzl
2008	—	`ed.`	Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007 Tools for the Model-based Development of Certifiable, Dependable Systems Michaela Huhn, Hardi Hungar, Doron A. Peled
2007	—	`conf`	07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems Michaela Huhn, Hardi Hungar, Doron A. Peled
2007	—	`conf`	07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems Michaela Huhn, Hardi Hungar, Doron A. Peled
2007	B	`conf`	Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. ATVA Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
2007	—	`conf`	UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems. Model-Based Engineering of Embedded Real-Time Systems Michaela Huhn, Hardi Hungar
2006	B	`conf`	Automatic Verification of Hybrid Systems with Large Discrete State Space. ATVA Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
2006	—	`conf`	UML-basierte Entwicklung sicherheitskritischer Systeme im Bahnbereich. MBEES Hardi Hungar
2005	—	`conf`	Automatic Validation and Verification in a Model-Based Development Process. MBEES Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko
2004	J	`jnl`	Behavior-based model construction. Int. J. Softw. Tools Technol. Transf. Hardi Hungar, Bernhard Steffen
2003	B	`conf`	Behavior-Based Model Construction. VMCAI Bernhard Steffen, Hardi Hungar
2003	A*	`conf`	Domain-Specific Optimization in Automata Learning. CAV Hardi Hungar, Oliver Niese, Bernhard Steffen
2003	—	`conf`	On the Verification of Cooperating Traffic Agents. FMCO Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog
2003	A	`conf`	Test-Based Model Generation For Legacy Systems. ITC Hardi Hungar, Tiziana Margaria, Bernhard Steffen
2002	B	`conf`	Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. FASE Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide
2002	B	`conf`	Model Generation by Moderated Regular Extrapolation. FASE Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen
2002	—	`conf`	Model Generation for Legacy Systems. RISSEF Hardi Hungar, Tiziana Margaria, Bernhard Steffen
1999	B	`conf`	Model Checking and Higher-Order Recursion. MFCS Hardi Hungar
1999	—	`conf`	Verification of Automotive Control Units. Correct System Design Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen
1998	—	`conf`	First-Order-CTL Model Checking. FSTTCS Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster
1997	—	`conf`	A Compositional Real-Time Semantics of STATEMATE Designs. COMPOS Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli
1995	—	`ch.`	Statecharts. Formal Development of Reactive Systems Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör
1995	—	`ch.`	Traverdi - Transformation and Verification of Distributed Systems. KORSO Book Jürgen Bohn, Hardi Hungar
1995	—	`conf`	What if model checking must be truly symbolic. CHARME Hardi Hungar, Orna Grumberg, Werner Damm
1994	J	`jnl`	Expressibility of the Semantics of Sequential Programs in First-Order Logic. Fundam. Informaticae Hardi Hungar
1994	B	`conf`	Local Model Checking for Parallel Compositions of Context-Free Processes. CONCUR Hardi Hungar
1994	J	`jnl`	Local Model-Checking for Context-Free Processes. Nord. J. Comput. Hardi Hungar, Bernhard Steffen
1994	A*	`conf`	Model Checking of macro Processes. CAV Hardi Hungar
1994	—	`conf`	Specification and Verification Using a Visual Formalism on Top of Temporal Logic. Formal Systems Specification Hardi Hungar
1993	A*	`conf`	Combining Model Checking and Theorem Proving to Verify Parallel Processes. CAV Hardi Hungar
1993	A*	`conf`	Local Model Checking for Context-Free Processes. ICALP Hardi Hungar, Bernhard Steffen
1993	A	`conf`	The Complexity of Verifying Functional Programs. STACS Hardi Hungar
1991	A*	`conf`	Complexity Bounds of Hoare-style Proof Systems LICS Hardi Hungar
1991	—	`conf`	Complexity of Proving Program Correctness. TACS Hardi Hungar
1991	—	`conf`	Correstness of Programs over Poor Signatures. FSTTCS Hardi Hungar
1990	—	`—`	Über Komplexitätsfragen Hoarescher Beweissysteme: effiziente Beweiserstellung und komplexitätsbedingte Grenzen bestimmter Systeme. Hardi Hungar
1988	A*	`conf`	On the Existence of Effective Hoare Logics LICS Michal Grabowski, Hardi Hungar