E-LIB Suche - Ergebnisse für: Ye, Kangfeng

1

Formally verified animation for RoboChart using interaction..:

Ye, Kangfeng ; Foster, Simon ; Woodcock, Jim
Journal of Logical and Algebraic Methods in Programming. 137 (2024) - p. 100940 , 2024

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

2

Probabilistic Modelling and Safety Assurance of an Agricult..:

, In: 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE),

Adam, Mustafa ; Ye, Kangfeng ; Anisi, David A.... - p. 1-7 , 2023

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

3

Formally Verified Animation for RoboChart Using Interaction..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Ye, Kangfeng ; Foster, Simon ; Woodcock, Jim - p. 404-420 , 2022

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

4

Automated verification of reactive and concurrent programs ..:

Foster, Simon ; Ye, Kangfeng ; Cavalcanti, Ana.
Journal of Logical and Algebraic Methods in Programming. 121 (2021) - p. 100681 , 2021

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

5

Probabilistic modelling and verification using RoboChart an..:

Ye, Kangfeng ; Cavalcanti, Ana ; Foster, Simon..
Software and Systems Modeling. 21 (2021) 2 - p. 667-716 , 2021

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

6

Automated Reasoning for Probabilistic Sequential Programs w..:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Ye, Kangfeng ; Foster, Simon ; Woodcock, Jim - p. 465-482 , 2021

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

7

RoboStar Technology: Modelling Uncertainty in RoboChart Usi..:

, In: Software Engineering for Robotics,

Woodcock, Jim ; Foster, Simon ; Mota, Alexandre. - p. 413-465 , 2020

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

8

Probabilistic Semantics for RoboChart: A Weakest Completion..:

, In: Unifying Theories of Programming; Lecture Notes in Computer Science,

Woodcock, Jim ; Cavalcanti, Ana ; Foster, Simon.. - p. 80-105 , 2019

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

9

Compositional Assume-Guarantee Reasoning of Control Law Dia..:

, In: From Astrophysics to Unconventional Computation; Emergence, Complexity and Computation,

Ye, Kangfeng ; Foster, Simon ; Woodcock, Jim - p. 215-254 , 2019

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

10

Calculational Verification of Reactive Programs with Reacti..:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Foster, Simon ; Ye, Kangfeng ; Cavalcanti, Ana. - p. 205-224 , 2018

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

11

Model checking of state-rich formalism by linking to $$CSP\..:

Ye, Kangfeng ; Woodcock, Jim
International Journal on Software Tools for Technology Transfer. 19 (2015) 1 - p. 73-96 , 2015

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

12

Formally verified animation for RoboChart using interaction..:

Ye, Kangfeng ; Foster, Simon ; Woodcock, Jim
https://eprints.whiterose.ac.uk/207502/1/1-s2.0-S2352220823000949-main.pdf. , 2024

Link: https://eprints.whiteros..

13

Formally verified animation for RoboChart using interaction..:

Ye, Kangfeng ; Woodcock, Jim ; Foster, Simon David
https://eprints.whiterose.ac.uk/207061/1/1-s2.0-S2352220823000949-main.pdf. , 2024

Link: https://eprints.whiteros..

14

Formally Verified Animation for RoboChart using Interaction..:

Ye, Kangfeng ; Foster, Simon ; Woodcock, Jim
http://arxiv.org/abs/2303.09106. , 2023

Link: http://arxiv.org/abs/230..

15

Probabilistic relations for modelling epistemic and aleator..:

Ye, Kangfeng ; Woodcock, Jim ; Foster, Simon
http://arxiv.org/abs/2303.09692. , 2023

Link: http://arxiv.org/abs/230..