14 results on '"Fedor Shmarov"'
Search Results
2. ARCH-COMP23 Category Report: Stochastic Models.
3. EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).
4. Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities.
5. ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.
6. ARCH-COMP21 Category Report: Stochastic Models.
7. ARCH-COMP20 Category Report: Stochastic Models.
8. Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes.
9. SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.
10. Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques.
11. BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models.
12. ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems.
13. ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems.
14. SMT-Based Reasoning for Uncertain Hybrid Domains.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.