Jinting Bian

According to our database, Jinting Bian authored at least 7 papers between 2020 and 2022.

Collaborative distances:

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

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

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