144 results on '"A. Prasad Sistla"'
Search Results
2. Deep Learning based Automated Screening for Intracranial Hemorrhages and GRAD-CAM Visualizations on Non-Contrast Head Computed Tomography Volumes.
3. Deciding Differential Privacy of Online Algorithms with Multiple Variables.
4. On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs.
5. Deciding Differential Privacy for Programs with Finite Inputs and Outputs.
6. Learning-Based Model for Central Blood Pressure Estimation using Feature Extracted from ECG and PPG signals.
7. Deciding accuracy of differential privacy schemes.
8. Cuff-less Blood Pressure Measurement Using Supplementary ECG and PPG Features Extracted Through Wavelet Transformation.
9. Exact quantitative probabilistic model checking through rational search.
10. Model Checking Indistinguishability of Randomized Security Protocols.
11. Approximating Probabilistic Automata by Regular Languages.
12. On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs.
13. Decidable and expressive classes of probabilistic automata.
14. Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata.
15. Verification of randomized security protocols.
16. Exact quantitative probabilistic model checking through rational search.
17. Deciding Accuracy of Differential Privacy Schemes.
18. Distinguishing Hidden Markov Chains.
19. Decision-Theoretic Monitoring of Cyber-Physical Systems.
20. Decidable and Expressive Classes of Probabilistic Automata.
21. Model Checking Failure-Prone Open Systems Using Probabilistic Automata.
22. Automated Methods for Checking Differential Privacy.
23. DEICS: Data Erasure in Concurrent Software.
24. Timely monitoring of partially observable stochastic systems.
25. Minimizing lifetime of sensitive data in concurrent programs.
26. Model Check What You Can, Runtime Verify the Rest.
27. WEBLOG: a declarative language for secure web development.
28. Probabilistic Automata with Isolated Cut-Points.
29. Polarity Consistency Checking for Sentiment Dictionaries.
30. SWIPE: eager erasure of sensitive data in large scale systems software.
31. Answer-pairs and processing of continuous nearest-neighbor queries.
32. Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds.
33. Monitorability of Stochastic Dynamical Systems.
34. Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State.
35. Model Checking Concurrent Programs with Nondeterminism and Randomization.
36. Automatically Preparing Safe SQL Queries.
37. Construction of a sentimental word dictionary.
38. Continuous nearest-neighbor queries with location uncertainty.
39. Polarity Consistency Checking for Domain Independent Sentiment Dictionaries.
40. A query processor for prediction-based monitoring of data streams.
41. A data model for trip planning in multimodal transportation systems.
42. Monitoring the Full Range of omega-Regular Properties of Stochastic Systems.
43. Power of Randomization in Automata on Infinite Strings.
44. Monitoring Temporal Properties of Stochastic Systems.
45. On the Expressiveness and Complexity of Randomization in Finite State Monitors.
46. Preventing Information Leaks through Shadow Executions.
47. CMV: automatic verification of complete mediation for java virtual machines.
48. Verification of Object Relational Maps.
49. Monitoring Off-the-Shelf Components.
50. Opportunistic Data Dissemination in Mobile Peer-to-Peer Networks.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.