17 results on '"Samanta, Roopsha"'
Search Results
2. Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (Extended Version)
3. Parameterized Verification of Systems with Global Synchronization and Guards
4. HACCLE: Metaprogramming for Secure Multi-Party Computation -- Extended Version
5. QuickSilver: A Modeling and Parameterized Verification Framework for Systems with Distributed Agreement (Extended Version)
6. Joint interference cancellation and channel shortening in multiuser-MIMO systems
7. Program Repair via Direct State Manipulation
8. Optimizing Solution Quality in Synchronization Synthesis
9. Lipschitz Robustness of Timed I/O Systems
10. Qlose: Program Repair with Quantitative Objectives.
11. Lipschitz Robustness of Timed I/O Systems.
12. From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis.
13. Cost-Aware Automatic Program Repair.
14. Congruent Voronoi tessellations from equiangular lines
15. Succinct Representation of Concurrent Trace Sets.
16. Robustness Analysis of String Transducers.
17. Robustness Analysis of Networked 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.