Hardi Hungar

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A compositional real-time semantics of STATEMATE designs	2025-03-19	Paper
Complexity of proving program correctness Lecture Notes in Computer Science	2022-08-16	Paper
Local model checking for context-free processes Automata, Languages and Programming	2019-03-29	Paper
Domain-specific optimization in automata learning. Lecture Notes in Computer Science	2010-04-20	Paper
Automatic Verification of Hybrid Systems with Large Discrete State Space Automated Technology for Verification and Analysis	2008-09-04	Paper
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space Automated Technology for Verification and Analysis	2008-07-03	Paper
Verification of cooperating traffic agents International Journal of Control	2007-05-18	Paper
Formal Methods for Components and Objects Lecture Notes in Computer Science	2005-08-22	Paper
scientific article; zbMATH DE number 2087513 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2087532 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1953017 (Why is no real title available?)	2003-07-25	Paper
scientific article; zbMATH DE number 1418335 (Why is no real title available?)	2001-05-28	Paper
scientific article; zbMATH DE number 708665 (Why is no real title available?)	1998-05-19	Paper
scientific article; zbMATH DE number 751138 (Why is no real title available?)	1995-05-04	Paper
scientific article; zbMATH DE number 512849 (Why is no real title available?)	1994-03-10	Paper

Research outcomes over time

This page was built for person: Hardi Hungar