39 results on '"Dong, Jin Song"'
Search Results
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
22. Model Checking CSP Revisited: Introducing a Process Analysis Toolkit
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
35. Analyzing the Redesign of a Distributed Lift System in UPPAAL
36. Efficient Path Finding with the Sweep-Line Method Using External Storage
37. Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
38. Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language
39. Constraint-Based Model Checking of Data-Independent Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.