464 results on '"Viswanathan, Mahesh"'
Search Results
152. Query Automata for Nested Words
153. On Convergence of Concurrent Systems under Regular Interactions
154. Verisim: formal analysis of network simulations
155. Least Upper Bounds for Probability Measures and Their Applications to Abstractions
156. Deciding Differential Privacy for Programs with Finite Inputs and Outputs
157. The Complexity of Dynamic Data Race Prediction
158. Atomicity Checking in Linear Time using Vector Clocks
159. Deciding memory safety for single-pass heap-manipulating programs
160. Replication Package for Article
161. LEVER: A Tool for Learning Based Verification
162. Model-Checking Markov Chains in the Presence of Uncertainties
163. Model Checking Multithreaded Programs with Asynchronous Atomic Methods
164. Minimization, Learning, and Conformance Testing of Boolean Programs
165. Foundations for the Run-Time Monitoring of Reactive Systems – Fundamentals of the MaC Language
166. Using Language Inference to Verify Omega-Regular Properties
167. Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics
168. On Statistical Model Checking of Stochastic Systems
169. Congruences for Visibly Pushdown Languages
170. Measuring speech quality for text-to-speech systems: development and assessment of a modified mean opinion score (MOS) scale
171. Verifying Stochastic Hybrid Systems with Temporal Logic Specifications via Model Reduction.
172. A Higher Order Modal Fixed Point Logic
173. Statistical Model Checking of Black-Box Probabilistic Systems
174. Actively Learning to Verify Safety for FIFO Automata
175. Learning to Verify Safety Properties
176. Controller Synthesis for Linear System With Reach-Avoid Specifications.
177. Testing Extended Regular Language Membership Incrementally by Rewriting
178. Foundations for Circular Compositional Reasoning
179. Syntactic segmentation and labeling of digitized pages from technical journals
180. DIA, OCR, AND THE WWW
181. A prototype document image analysis system for technical journals
182. Complexity of Model Checking MDPs against LTL Specifications
183. Approximating Probabilistic Automata by Regular Languages
184. Relating Syntactic and Semantic Perturbations of Hybrid Automata
185. Decidable and expressive classes of probabilistic automata
186. Decidable verification of uninterpreted programs
187. Data race detection on compressed traces
188. What happens-after the first race? enhancing the predictive power of happens-before based dynamic race detection
189. Computational Analysis of Run-time Monitoring: Fundamentals of Java-MaC
190. A SYNTACTIC APPROACH TO DOCUMENT SEGMENTATION
191. Spot-Checkers
192. Exact quantitative probabilistic model checking through rational search
193. Dynamic race prediction in linear time
194. Verification of randomized security protocols
195. Stability Analysis of Switched Linear Systems Defined by Regular Languages
196. Statistical Verification of the Toyota Powertrain Control Verification Benchmark
197. Robust Model Checking of Timed Automata under Clock Drifts
198. Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction
199. Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
200. Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.