Jinting Bian

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 7

Top Topics

Object Oriented Programs

Formal Verification

Asynchronous Circuits

Predicate Logic

Top Venues

Int. J. Softw. Tools Technol. Transf.

Formal Methods Syst. Des.

Publications

Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian
Footprint Logic for Object-Oriented Components. FACS (2022)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY (extended paper). Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw
Integrating ADTs in KeY and their application to history-based reasoning about collection. Formal Methods Syst. Des. 61 (1) (2022)
Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw
Integrating ADTs in KeY and Their Application to History-Based Reasoning. FM (2021)
Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw
History-Based Specification and Verification of Java Collections in KeY. IFM (2020)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY. TACAS (2) (2020)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY. CoRR (2019)