HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Shuling Wang

Publications
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving
Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan
In:8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
ARCH-COMP20 Category Report:Hybrid Systems Theorem Proving
Stefan Mitsch, Jonathan Julián Huerta Y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan
In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang and Naijun Zhan
In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving
Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang and Naijun Zhan
In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Proving Simpson's Four-Slot Algorithm Using Ownership Transfer
Shuling Wang and Xu Wang
In:VERIFY-2010. 6th International Verification Workshop

Keyphrases

benchmark2, concurrency, differential dynamic logic, hybrid games, Hybrid Hoare Logic, hybrid systems2, logic, nonlinear continuous systems, ownership transfer, theorem proving2, verification.

Copyright © 2012-2022 easychair.org. All rights reserved.