E-LIB Suche - Ergebnisse für: Zhan, Naijun

1

Reach-Avoid Verification Based on Convex Optimization:

Xue, Bai ; Zhan, Naijun ; Fränzle, Martin..
IEEE Transactions on Automatic Control. 69 (2024) 1 - p. 598-605 , 2024

Link: https://doi.org/10.1109/..

2

Reach-Avoid Analysis for Polynomial Stochastic Differential..:

Xue, Bai ; Zhan, Naijun ; Fränzle, Martin
IEEE Transactions on Automatic Control. 69 (2024) 3 - p. 1882-1889 , 2024

Link: https://doi.org/10.1109/..

3

Semantics Foundation for Cyber-physical Systems Using Highe..:

Xu, Xiong ; Talpin, Jean-Pierre ; Wang, Shuling..
ACM Transactions on Software Engineering and Methodology. 32 (2023) 1 - p. 1-48 , 2023

Link: https://doi.org/10.1145/..

4

A decision procedure for string constraints with string/int..:

Wu, Hao ; Chen, Yu-Fang ; Wu, Zhilin..
Acta Informatica. 61 (2023) 1 - p. 23-52 , 2023

Link: https://doi.org/10.1007/..

5

Safety guarantee for time-delay systems with disturbances:

Liu, Wenyou ; Bai, Yunjun ; Jiao, Li.
Science China Information Sciences. 66 (2023) 3 - p. , 2023

Link: https://doi.org/10.1007/..

6

Lower Bounds for Possibly Divergent Probabilistic Programs:

Feng, Shenghua ; Chen, Mingshuai ; Su, Han...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 696-726 , 2023

Link: https://doi.org/10.1145/..

7

A denotational semantics of Simulink with higher-order UTP:

Xu, Xiong ; Zhan, Bohua ; Wang, Shuling..
Journal of Logical and Algebraic Methods in Programming. 130 (2023) - p. 100809 , 2023

Link: https://doi.org/10.1016/..

8

Introduction to the Special Section on FM 2021:

Huisman, Marieke ; Păsăreanu, Corina ; Zhan, Naijun
Formal Aspects of Computing. 35 (2023) 2 - p. 1-2 , 2023

Link: https://doi.org/10.1145/..

9

Unified Graphical Co-modelling, Analysis and Verification o..:

Xu, Xiong ; Wang, Shuling ; Zhan, Bohua...
ACM SIGAda Ada Letters. 43 (2023) 1 - p. 46-49 , 2023

Link: https://doi.org/10.1145/..

10

Unified graphical co-modeling, analysis and verification of..:

Xu, Xiong ; Wang, Shuling ; Zhan, Bohua...
Theoretical Computer Science. 903 (2022) - p. 1-25 , 2022

Link: https://doi.org/10.1016/..

11

Encoding inductive invariants as barrier certificates: Synt..:

Wang, Qiuye ; Chen, Mingshuai ; Xue, Bai..
Information and Computation. 289 (2022) - p. 104965 , 2022

Link: https://doi.org/10.1016/..

12

Formal Analysis of 5G Authentication and Key Management for..:

Yang, Tengshun ; Wang, Shuling ; Zhan, Bohua...
Journal of Systems Architecture. 126 (2022) - p. 102478 , 2022

Link: https://doi.org/10.1016/..

13

Preface for the formal methods in system design special iss..:

Huisman, Marieke ; Păsăreanu, Corina S. ; Zhan, Naijun
Formal Methods in System Design. 61 (2022) 1 - p. 1-2 , 2022

Link: https://doi.org/10.1007/..

14

Robust Invariant Sets Computation for Discrete-Time Perturb..:

Xue, Bai ; Zhan, Naijun
IEEE Transactions on Automatic Control. 67 (2022) 2 - p. 1053-1060 , 2022

Link: https://doi.org/10.1109/..

15

Learning Deterministic One-Clock Timed Automata via Mutatio..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Tang, Xiaochen ; Shen, Wei ; Zhang, Miaomiao... - p. 233-248 , 2022

Link: https://doi.org/10.1007/..