Bohua Zhan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
User interface design in the holpy theorem prover (invited talk)	2024-07-15	Paper
Compositional verification of interacting systems using event monads	2024-07-15	Paper
Iscalc: An Interactive Symbolic Computation Framework (System Description)	2024-04-26	Paper
Formal verification of quantum algorithms using quantum Hoare logic Computer Aided Verification	2024-02-16	Paper
\textsf{HHLPy}: practical verification of hybrid systems using Hoare logic Formal Methods	2023-08-17	Paper
Learning deterministic one-clock timed automata via mutation testing Automated Technology for Verification and Analysis	2023-06-02	Paper
Active learning of one-clock timed automata using constraint solving Automated Technology for Verification and Analysis	2023-06-02	Paper
Compression of enumerations and gain	2023-04-06	Paper
A denotational semantics of simulink with higher-order UTP Journal of Logical and Algebraic Methods in Programming	2022-11-16	Paper
Learning one-clock timed automata Tools and Algorithms for the Construction and Analysis of Systems	2022-10-13	Paper
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow Theoretical Computer Science	2022-02-01	Paper
Verified interactive computation of definite integrals	2021-12-01	Paper
Inferring switched nonlinear dynamical systems Formal Aspects of Computing	2021-08-30	Paper
NIL: learning nonlinear interpolants (available as arXiv preprint)	2020-03-10	Paper
Efficient verification of imperative programs using auto2 (available as arXiv preprint)	2019-09-16	Paper
Formalization of the fundamental group in untyped set theory using auto2 Journal of Automated Reasoning	2019-08-21	Paper
Verifying asymptotic time complexity of imperative programs in Isabelle (available as arXiv preprint)	2018-10-18	Paper
Formalization of the fundamental group in untyped set theory using auto2 Lecture Notes in Computer Science	2018-01-04	Paper
Combinatorial proofs in bordered Heegaard Floer homology Algebraic & Geometric Topology	2016-11-17	Paper
AUTO2, a saturation-based heuristic prover for higher-order logic Interactive Theorem Proving	2016-10-27	Paper
Super-polynomial quantum speed-ups for Boolean evaluation trees with hidden structure Proceedings of the 3rd Innovations in Theoretical Computer Science Conference	2016-10-07	Paper
Explicit Koszul-dualizing bimodules in bordered Heegaard Floer homology Algebraic & Geometric Topology	2016-03-10	Paper

Research outcomes over time

This page was built for person: Bohua Zhan