Latest Research in Stochastic Operational Verification

Top Research Topics in Stochastic Operational Verification

• Advanced Queuing Theory Analysis — 17 papers
• Programming Languages — 8 papers
• Probability — 7 papers
• Logic, programming, and type systems — 5 papers
• Social and Information Networks — 5 papers
• Performance — 4 papers
• Logic in Computer Science — 4 papers
• Complex Network Analysis Techniques — 4 papers
• Interconnection Networks and Systems — 4 papers
• Scientific Computing and Data Management — 3 papers

Highest-Cited Papers

1. Semantic Completeness for Correct Maintenance: A Strict Hierarchy of Typing and Inheritance
2. Semantic Completeness for Correct Maintenance: A Strict Hierarchy of Typing and Inheritance
3. Metamorphic Testing for Floating-Point Performance Issues in SMT Solvers
4. Whittle index approach to multi-server scheduling with convex delay costs and impatient customers
5. Certified Split Points for Parallel Lexing: Exact and Modulo Discarded Tokens
6. The 6G integrated perception and networking technology enables the low-altitude economy to achieve carbon neutrality: Dynamic sleep strategy for eVTOL wireless charging based on time-energy-carbon coupling
7. CB-VER: A Stable Foundation for Modular Control Plane Verification
8. Scheduling with Bounded Information: Correctness, Progress, and Near-Optimal Performance in DTA
9. Etna: An evaluation platform for property-based testing
10. WCCS: Efficient Wedge Conductance Community Search over Large Temporal Bipartite Graphs (Full Paper)
11. Refining Timing Uncertainty from Logical Time Specification to Operation
12. Scheduling with Bounded Information: Correctness, Progress, and Near-Optimal Performance in DTA
13. Finite-Time Minimax Bounds and an Optimal Lyapunov Policy in Queueing Control
14. Joint Freshness and Age-Dispersion Control over Finite-State Markov Wireless Channels
15. Optimal Scheduling in Generalized Switch in Heavy Traffic
16. A Probabilistic Choreography Language for PRISM
17. On the Distribution of Age of Information in Time-varying Updating Systems
18. Structural Vulnerability in Hierarchical Networks: A Dependency-, Redundancy-, and Level-Aware Framework and Its Empirical Limits
19. Structural Vulnerability in Hierarchical Networks: A Dependency-, Redundancy-, and Level-Aware Framework and Its Empirical Limits
20. Causal Nonlocality from Closure: A No-Go for Naive Semantic Locality Under PSC and Diagonal Capability Paper 46 of the NEMS Suite

Sub-Regions

• Advanced Queuing Theory Analysis — 47 papers
• Machine Learning — 30 papers
• Logic, programming, and type systems — 13 papers
• Advanced Graph Neural Networks — 8 papers
• Social and Information Networks — 7 papers
• Instrumentation and Methods for Astrophysics — 6 papers