Search

Your search keyword '"Dong, Jin Song"' showing total 39 results

Search Constraints

Start Over You searched for: Author "Dong, Jin Song" Remove constraint Author: "Dong, Jin Song" Topic model check Remove constraint Topic: model check
39 results on '"Dong, Jin Song"'

Search Results

1. Towards Formal Modelling and Verification of Pervasive Computing Systems

2. SCC-Based Improved Reachability Analysis for Markov Decision Processes

3. Event Analytics

4. PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems

5. A Formal Semantics for Complete UML State Machines with Communications

6. State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction

7. Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization

8. More Anti-chain Based Refinement Checking

9. An Analytical and Experimental Comparison of CSP Extensions and Tools

10. Automatic Generation of Provably Correct Embedded Systems

11. Automatic Compositional Verification of Timed Systems

12. Improved BDD-Based Discrete Analysis of Timed Systems

13. Probabilistic Model Checking Multi-agent Behaviors in Dispersion Games Using Counter Abstraction

14. PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems

15. Verification of Orchestration Systems Using Compositional Partial Order Reduction

16. On Combining State Space Reductions with Global Fairness Assumptions

17. Developing Model Checkers Using PAT

18. Scalable Multi-core Model Checking Fairness Enhanced Systems

19. Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction

20. Fair Model Checking with Process Counter Abstraction

21. PAT: Towards Flexible Verification under Fairness

23. Specifying and Verifying Sensor Networks: An Experiment of Formal Methods

24. Specifying and Verifying Event-Based Fairness Enhanced Systems

25. Making the Right Cut in Model Checking Data-Intensive Timed Systems

26. Model Checking a Model Checker: A Code Contract Combined Approach

27. A Methodology for Automatic Diagnosability Analysis

28. Model Checking Hierarchical Probabilistic Systems

29. Trace-Driven Verification of Multithreaded Programs

30. Automating Cut-off for Multi-parameterized Systems

31. Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP

32. Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems

33. Assume-Guarantee Reasoning with Local Specifications

34. Fostering Proof Scores in CafeOBJ

Catalog

Books, media, physical & digital resources