![](/design-1.0/assets/images/no-photo.jpg)
Jinting Bian
Onderzoeker/gast
- Naam
- Dr. J. Bian
- Telefoon
- +31 71 527 2727
- j.bian@liacs.leidenuniv.nl
Onderzoeker/gast
- Wiskunde en Natuurwetenschappen
- Leiden Inst of Advanced Computer Science
- Bian J. (21 mei 2024), Reasoning about object-oriented programs: from classes to interfaces (Dissertatie. Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University). Promotor(en): Boer F.S. de & Bonsangue M.M.
- Hiep H.A., Maathuis O., Bian J., Boer F.S. de & Gouw C.P.T. de (2022), Verifying OpenJDK’s LinkedList using KeY (extended paper), International Journal on Software Tools for Technology Transfer 24: 783-802.
- Boer F.S. de, Gouw C.P.T., Hiep H.A. & Bian J. (2022), Footprint logic for object-oriented components. Tapia Tarifa S.L. & Proença J. (red.), Formal aspects of component software. FACS 2022. Formal Aspects of Component Software. FACS 2022 10 november 2022 - 11 november 2022. Lecture Notes in Computer Science nr. 13712. Cham: Springer. 141-160.
- Bian J., Hiep H.A., Boer F.S. de & Gouw C.P.T. de (2022), Integrating ADTs in KeY and their application to history-based reasoning about collection, Formal Methods in System Design 61: 63-89.