Jinting Bian
Postdoc/Guest
- Name
- J. Bian
- Telephone
- +31 71 527 2727
- j.bian@liacs.leidenuniv.nl
- ORCID iD
- null
Postdoc/Guest
- Science
- Leiden Inst of Advanced Computer Science
- Hiep Hans-Dieter A., Maathuis Olaf, Bian Jinting, Boer Frank S. de & Gouw Stijn de (2022), Verifying OpenJDK’s LinkedList using KeY (extended paper), International Journal on Software Tools for Technology Transfer 24: 783-802.
- Boer Frank S. de, Gouw Stijn de, Hiep Hans-Dieter A. & Bian Jinting (2022), Footprint Logic for Object-Oriented Components. .
- Bian Jinting, Hiep Hans-Dieter A., Boer Frank S. de & Gouw Stijn de (2022), Integrating ADTs in KeY and their application to history-based reasoning about collection, Formal Methods in System Design 61: 63-89.
- Bian Jinting, Hiep Hans-Dieter A., Boer Frank S. de & Gouw Stijn de (2021), Integrating ADTs in KeY and Their Application to History-Based Reasoning. .
- Hiep Hans-Dieter A, Bian Jinting, Boer Frank S. de & Gouw Stijn de (2020), History-Based Specification and Verification of Java Collections in KeY. .
- Hiep Hans-Dieter A., Maathuis Olaf, Bian Jinting, Boer Frank S. de, Gouw Stijn de & Eekelen Marko van (2020), Verifying OpenJDK’s LinkedList using KeY. .
- Hiep Hans-Dieter A., Bian Jinting, Boer Frank S. de & Gouw Stijn de (2020), A Tutorial on Verifying LinkedList Using KeY.