Hans-Dieter A. Hiep

According to our database, Hans-Dieter A. Hiep authored at least 14 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Dynamic Separation Logic.

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

The Logic of Separation Logic: Models and Proofs.

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Analysis and Formal Specification of OpenJDK's BitSet.

Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw

Proceedings of the iFM 2023 - 18th International Conference, 2023

2022

Integrating ADTs in KeY and their application to history-based reasoning about collection.

Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw

Formal Methods Syst. Des., August, 2022

Verifying OpenJDK's LinkedList using KeY (extended paper).

Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw

Int. J. Softw. Tools Technol. Transf., 2022

Footprint Logic for Object-Oriented Components.

Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

2021

Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic.

Frank S. de Boer, Hans-Dieter A. Hiep

ACM Trans. Program. Lang. Syst., 2021

Integrating ADTs in KeY and Their Application to History-Based Reasoning.

Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

A Tutorial on Verifying LinkedList Using KeY.

Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Verifying OpenJDK's LinkedList using KeY.

Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

History-Based Specification and Verification of Java Collections in KeY.

Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

History-based specification and verification of Java collections in KeY (keynote).

Frank S. de Boer, Hans-Dieter A. Hiep

Proceedings of the FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020

2019

Axiomatic Characterization of Trace Reachability for Concurrent Objects.

Frank S. de Boer, Hans-Dieter A. Hiep

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Reowolf: Synchronous Multi-party Communication over the Internet.

Christopher A. Esterhuyse, Hans-Dieter A. Hiep

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019