Bohua Zhan
Orcid: 0000-0001-5377-9351
According to our database1,
Bohua Zhan
authored at least 55 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
9
10
6
5
3
3
1
3
3
1
3
4
6
5
3
5
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., 2024
HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes.
CoRR, 2024
CoRR, 2024
CoRR, 2024
Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems.
CoRR, 2024
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024
Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024
2023
ACM Trans. Softw. Eng. Methodol., January, 2023
J. Log. Algebraic Methods Program., 2023
Int. J. Softw. Informatics, 2023
Proceedings of the Theoretical Aspects of Software Engineering, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
Proceedings of the Automated Deduction - CADE 29, 2023
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
2022
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow.
Theor. Comput. Sci., 2022
J. Syst. Archit., 2022
J. Syst. Archit., 2022
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022
Proceedings of the Formal Methods and Software Engineering, 2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022
2021
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021
Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander.
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
Proceedings of the Automated Deduction - CADE 28, 2021
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
2020
Modelling and Verification of Real-Time Publish and Subscribe Protocol Using Uppaal and Simulink/Stateflow.
J. Comput. Sci. Technol., 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the Formal Methods and Software Engineering, 2020
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
2019
J. Autom. Reason., 2019
Proceedings of the Formal Methods and Software Engineering, 2019
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Proceedings of the Automated Deduction - CADE 27, 2019
2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2016
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016
2012
Super-polynomial quantum speed-ups for boolean evaluation trees with hidden structure.
Proceedings of the Innovations in Theoretical Computer Science 2012, 2012