default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNaijun Zhan
Person information
- affiliation: Chinese Academy of Sciences, State Key Laboratory of Computer Science, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j46]Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan:
A decision procedure for string constraints with string/integer conversion and flat regular constraints. Acta Informatica 61(1): 23-52 (2024)- [j45]Bai Xue
, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu:
Reach-Avoid Verification Based on Convex Optimization. IEEE Trans. Autom. Control. 69(1): 598-605 (2024) - [j44]Bai Xue, Naijun Zhan, Martin Fränzle:
Reach-Avoid Analysis for Polynomial Stochastic Differential Equations. IEEE Trans. Autom. Control. 69(3): 1882-1889 (2024) - [j43]Chenhao Wu, Ruoxiang Li, Naijun Zhan, Nan Guan:
Modeling and Analysis of the LatestTime Message Synchronization Policy in ROS. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(11): 3576-3587 (2024) - [c90]Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan:
Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets. FM (1) 2024: 92-110 - [c89]Han Su, Shenghua Feng, Sinong Zhan, Naijun Zhan:
Switching Controller Synthesis for Hybrid Systems Against STL Formulas. FM (2) 2024: 229-247 - [c88]Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan:
On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains. FM (2) 2024: 248-266 - [c87]Jie An, Qiang Gao, Lingtai Wang, Naijun Zhan, Ichiro Hasuo:
The Opacity of Timed Automata. FM (1) 2024: 620-637 - [c86]Shuling Wang, Zekun Ji, Xiong Xu, Bohua Zhan, Qiang Gao, Naijun Zhan:
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes. ICCPS 2024: 123-134 - [c85]Chenhao Wu, Ruoxiang Li, Naijun Zhan, Nan Guan:
Improving the Reaction Latency Analysis of Message Synchronization in ROS. RTCSA 2024: 43-48 - [i42]Shuling Wang, Zekun Ji, Bohua Zhan, Xiong Xu, Qiang Gao, Naijun Zhan:
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes. CoRR abs/2402.15674 (2024) - [i41]Bohua Zhan, Xiong Xu, Qiang Gao, Zekun Ji, Xiangyu Jin, Shuling Wang, Naijun Zhan:
Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems. CoRR abs/2403.03035 (2024) - [i40]Tengshun Yang, Hongfei Fu, Jingyu Ke, Naijun Zhan, Shiyang Wu:
Piecewise Linear Expectation Analysis via k-Induction for Probabilistic Programs. CoRR abs/2403.17567 (2024) - [i39]Han Su, Shenghua Feng, Sinong Zhan, Naijun Zhan:
Switching Controller Synthesis for Hybrid Systems Against STL Formulas. CoRR abs/2406.16588 (2024) - [i38]Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan:
Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets. CoRR abs/2407.00625 (2024) - [i37]Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan:
HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes. CoRR abs/2407.08936 (2024) - 2023
- [j42]Wenyou Liu, Yunjun Bai, Li Jiao, Naijun Zhan:
Safety guarantee for time-delay systems with disturbances. Sci. China Inf. Sci. 66(3) (2023) - [j41]Marieke Huisman, Corina S. Pasareanu, Naijun Zhan:
Introduction to the Special Section on FM 2021. Formal Aspects Comput. 35(2): 6:1-6:2 (2023) - [j40]Xiong Xu, Bohua Zhan, Shuling Wang, Jean-Pierre Talpin, Naijun Zhan:
A denotational semantics of Simulink with higher-order UTP. J. Log. Algebraic Methods Program. 130: 100809 (2023) - [j39]Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan:
Lower Bounds for Possibly Divergent Probabilistic Programs. Proc. ACM Program. Lang. 7(OOPSLA1): 696-726 (2023) - [j38]Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Bohua Zhan, Naijun Zhan:
Semantics Foundation for Cyber-physical Systems Using Higher-order UTP. ACM Trans. Softw. Eng. Methodol. 32(1): 9:1-9:48 (2023) - [i36]Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan:
Lower Bounds for Possibly Divergent Probabilistic Programs. CoRR abs/2302.06082 (2023) - [i35]Naijun Zhan, Bohua Zhan, Shuling Wang, Dimitar P. Guelev, Xiangyu Jin:
A Generalized Hybrid Hoare Logic. CoRR abs/2303.15020 (2023) - [i34]Jiang Liu, Han Su, Yunjun Bai, Bin Gu, Bai Xue, Mengfei Yang, Naijun Zhan:
Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller. CoRR abs/2309.05906 (2023) - [i33]Han Su, Jiyu Zhu, Shenghua Feng, Yunjun Bai, Bin Gu, Jiang Liu, Mengfei Yang, Naijun Zhan:
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems. CoRR abs/2309.05908 (2023) - [i32]Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang:
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. CoRR abs/2310.11133 (2023) - [i31]Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan:
Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition. CoRR abs/2312.15416 (2023) - 2022
- [j37]Marieke Huisman, Corina S. Pasareanu, Naijun Zhan:
Preface for the formal methods in system design special issue on 'Formal Methods 2021'. Formal Methods Syst. Des. 61(1): 1-2 (2022) - [j36]Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen:
Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming. Inf. Comput. 289(Part): 104965 (2022) - [j35]Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao:
Formal Analysis of 5G Authentication and Key Management for Applications (AKMA). J. Syst. Archit. 126: 102478 (2022) - [j34]Bai Xue, Naijun Zhan:
Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems. IEEE Trans. Autom. Control. 67(2): 1053-1060 (2022) - [j33]Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan:
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow. Theor. Comput. Sci. 903: 1-25 (2022) - [c84]Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle, Shenghua Feng:
Differential Games Based on Invariant Sets Generation. ACC 2022: 1285-1292 - [c83]Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan:
Learning Deterministic One-Clock Timed Automata via Mutation Testing. ATVA 2022: 233-248 - [c82]Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan:
Machine-Checked Executable Semantics of Stateflow. ICFEM 2022: 421-438 - [i30]Depeng Liu, Lutan Zhao, Pengfei Yang, Bow-Yaw Wang, Rui Hou, Lijun Zhang, Naijun Zhan:
Defensive Design of Saturating Counters Based on Differential Privacy. CoRR abs/2206.00279 (2022) - [i29]Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan:
Machine-checked executable semantics of Stateflow. CoRR abs/2207.11965 (2022) - [i28]Bai Xue, Naijun Zhan, Martin Fränzle, Ji Wang, Wanwei Liu:
Reach-avoid Verification Based on Convex Optimization. CoRR abs/2208.08105 (2022) - [i27]Bai Xue, Naijun Zhan, Martin Fränzle:
Reach-Avoid Analysis for Stochastic Differential Equations. CoRR abs/2208.10752 (2022) - [i26]Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen:
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming. CoRR abs/2209.09703 (2022) - 2021
- [j32]Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan:
Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control. Acta Informatica 58(5): 497-528 (2021) - [j31]Jie An, Lingtai Wang, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Learning real-time automata. Sci. China Inf. Sci. 64(9) (2021) - [j30]Xiangyu Jin, Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Inferring Switched Nonlinear Dynamical Systems. Formal Aspects Comput. 33(3): 385-406 (2021) - [j29]Arvind Easwaran, Qi Zhu, Naijun Zhan:
Special issue on design of embedded software and systems (SI: ICESS19). J. Syst. Archit. 116: 101973 (2021) - [j28]Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang, Zhikun She:
Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems. SIAM J. Control. Optim. 59(2): 1083-1108 (2021) - [j27]Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan:
Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations. IEEE Trans. Autom. Control. 66(1): 283-290 (2021) - [j26]Jie An, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Learning Nondeterministic Real-Time Automata. ACM Trans. Embed. Comput. Syst. 20(5s): 99:1-99:26 (2021) - [c81]Bai Xue, Renjue Li, Naijun Zhan, Martin Fränzle:
Reach-avoid Analysis for Stochastic Discrete-time Systems. ACC 2021: 4879-4885 - [c80]Stefan Mitsch, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan:
ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS 2021: 120-132 - [c79]Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen:
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. CAV (1) 2021: 443-466 - [c78]Bai Xue, Yunjun Bai, Naijun Zhan, Wenyou Liu, Li Jiao:
Reach-Avoid Analysis for Delay Differential Equations. CDC 2021: 1301-1307 - [c77]Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan:
Switching controller synthesis for delay hybrid systems under perturbations. HSCC 2021: 3:1-3:11 - [c76]Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan:
Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander. RTAS 2021: 457-460 - [c75]Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao:
Formal Analysis of 5G AKMA. SETTA 2021: 102-121 - [e5]Marieke Huisman, Corina S. Pasareanu, Naijun Zhan:
Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings. Lecture Notes in Computer Science 13047, Springer 2021, ISBN 978-3-030-90869-0 [contents] - [i25]Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan:
Switching Controller Synthesis for Delay Hybrid Systems under Perturbations. CoRR abs/2103.11565 (2021) - [i24]Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen:
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. CoRR abs/2105.14311 (2021) - 2020
- [j25]Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, Ting Gan:
From model to implementation: a network algorithm programming language. Sci. China Inf. Sci. 63(7) (2020) - [j24]Bai Xue, Martin Fränzle, Naijun Zhan:
Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties. IEEE Trans. Autom. Control. 65(4): 1468-1483 (2020) - [j23]Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, Bican Xia:
Safety Verification for Random Ordinary Differential Equations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 4090-4101 (2020) - [j22]Gaogao Yan, Li Jiao, Shuling Wang, Lingtai Wang, Naijun Zhan:
Automatically Generating SystemC Code from HCSP Formal Models. ACM Trans. Softw. Eng. Methodol. 29(1): 4:1-4:39 (2020) - [c74]Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan:
ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving. ARCH 2020: 153-174 - [c73]Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan:
Unbounded-Time Safety Verification of Stochastic Differential Dynamics. CAV (2) 2020: 327-348 - [c72]Ting Gan, Bican Xia, Bai Xue, Naijun Zhan, Liyun Dai:
Nonlinear Craig Interpolant Generation. CAV (1) 2020: 415-438 - [c71]Bai Xue, Naijun Zhan, Martin Fränzle:
Inner-approximating Reach-avoid Sets for Discrete-time Polynomial Systems. CDC 2020: 867-873 - [c70]Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, Naijun Zhan:
PAC Learning of Deterministic One-Clock Timed Automata. ICFEM 2020: 129-146 - [c69]Bai Xue, Naijun Zhan:
Probably Approximately Correct Interpolants Generation. SETTA 2020: 143-159 - [c68]Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Learning One-Clock Timed Automata. TACAS (1) 2020: 444-462
2010 – 2019
- 2019
- [j21]Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan:
Quantum Hoare Logic. Arch. Formal Proofs 2019 (2019) - [j20]Martin Fränzle, Deepak Kapur, Heike Wehrheim, Naijun Zhan:
Editorial. Formal Aspects Comput. 31(1): 1 (2019) - [c67]Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan:
NIL: Learning Nonlinear Interpolants. CADE 2019: 178-196 - [c66]Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan:
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. CAV (2) 2019: 187-207 - [c65]Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue:
Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. CAV (1) 2019: 650-669 - [c64]Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan:
ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving. ARCH@CPSIoTWeek 2019: 141-161 - [c63]Bai Xue, Qiuye Wang, Naijun Zhan, Martin Fränzle:
Robust invariant sets generation for state-constrained perturbed polynomial systems. HSCC 2019: 128-137 - [c62]Bai Xue, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran:
Probably Approximate Safety Verification of Hybrid Dynamical Systems. ICFEM 2019: 236-252 - [c61]Haolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan:
Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow. UTP 2019: 109-129 - [e4]Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo:
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. ACM 2019, ISBN 978-1-4503-6997-8 [contents] - [i23]Ting Gan, Bican Xia, Bai Xue, Naijun Zhan:
Nonlinear Craig Interpolant Generation. CoRR abs/1903.01297 (2019) - [i22]Qiuye Wang, Lihong Zhi, Naijun Zhan, Bai Xue, Zhi-Hong Yang:
Synthesizing More Expressive Invariants by Semidefinite Programming. CoRR abs/1903.04668 (2019) - [i21]Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan:
NIL: Learning Nonlinear Interpolants. CoRR abs/1905.11625 (2019) - [i20]Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang:
Learning One-Clock Timed Automata. CoRR abs/1910.10680 (2019) - 2018
- [j19]Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan:
Reachability Analysis for Solvable Dynamical Systems. IEEE Trans. Autom. Control. 63(7): 2003-2018 (2018) - [j18]Lingtai Wang, Naijun Zhan, Jie An:
The Opacity of Real-Time Automata. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2845-2856 (2018) - [c60]Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan:
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS 2018: 110-127 - [c59]Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan:
What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction. ATVA 2018: 56-74 - [c58]Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan:
Monitoring CTMCs by Multi-clock Timed Automata. CAV (1) 2018: 507-526 - [c57]Bai Xue, Martin Fränzle, Naijun Zhan:
Under-Approximating Reach Sets for Polynomial Continuous Systems. HSCC 2018: 51-60 - [c56]Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi:
Model Checking Bounded Continuous-time Extended Linear Duration Invariants. HSCC 2018: 81-90 - [c55]Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang:
Robust Non-termination Analysis of Numerical Software. SETTA 2018: 69-88 - [p2]Lingtai Wang, Naijun Zhan:
Decidability of the Initial-State Opacity of Real-Time Automata. Symposium on Real-Time and Hybrid Systems 2018: 44-60 - [e3]Cliff B. Jones, Ji Wang, Naijun Zhan:
Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 11180, Springer 2018, ISBN 978-3-030-01460-5 [contents] - [i19]Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen:
Parameter Synthesis Problems for one parametric clock Timed Automata. CoRR abs/1809.07177 (2018) - [i18]Bai Xue, Naijun Zhan:
Robust Invariant Sets Computation for Switched Discrete-Time Polynomial Systems. CoRR abs/1811.11454 (2018) - [i17]Bai Xue, Qiuye Wang, Naijun Zhan, Shijie Wang, Zhikun She:
Synthesizing Robust Domains of Attraction for State-Constrained Perturbed Polynomial Systems. CoRR abs/1812.10588 (2018) - [i16]Bai Xue, Qiuye Wang, Shenghua Feng, Naijun Zhan:
Over- and Under-Approximating Reachable Sets for Perturbed Delay Differential Equations. CoRR abs/1812.11718 (2018) - 2017
- [j17]Shuling Wang, Flemming Nielson, Hanne Riis Nielson, Naijun Zhan:
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP. Comput. J. 60(8): 1111-1130 (2017) - [j16]Shuling Wang, Naijun Zhan, Lijun Zhang:
A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems. Formal Aspects Comput. 29(4): 751-775 (2017) - [j15]Qiuye Wang, Yangjia Li, Bican Xia, Naijun Zhan:
Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems. J. Syst. Sci. Complex. 30(1): 234-252 (2017) - [j14]Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan:
Barrier certificates revisited. J. Symb. Comput. 80: 62-86 (2017) - [c54]Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan:
Synthesizing SystemC Code from Delay Hybrid CSP. APLAS 2017: 21-41 - [c53]Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia:
Finding Polynomial Loop Invariants for Probabilistic Programs. ATVA 2017: 400-416 - [c52]Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan:
Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. FORMATS 2017: 281-299 - [c51]Dimitar P. Guelev, Shuling Wang, Naijun Zhan:
Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus. SETTA 2017: 110-127 - [p1]Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou:
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems. Provably Correct Systems 2017: 39-58 - [e2]Naijun Zhan, Shuling Wang, Hengjun Zhao:
Formal Verification of Simulink/Stateflow Diagrams, A Deductive Approach. Springer 2017, ISBN 978-3-319-47014-6 - [i15]Dimitar P. Guelev, Shuling Wang, Naijun Zhan:
Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus. CoRR abs/1706.06246 (2017) - [i14]Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia:
Finding polynomial loop invariants for probabilistic programs. CoRR abs/1707.02690 (2017) - [i13]Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan:
Synthesizing SystemC Code from Delay Hybrid CSP. CoRR abs/1709.09019 (2017) - 2016
- [c50]Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen:
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. IJCAR 2016: 195-212 - [c49]Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan:
Computing reachable sets of linear vector fields revisited. ECC 2016: 419-426 - [c48]Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan:
Validated Simulation-Based Verification of Delayed Differential Dynamics. FM 2016: 137-154 - [c47]Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan:
Approximate Bisimulation and Discretization of Hybrid CSP. FM 2016: