464 results on '"Viswanathan, Mahesh"'
Search Results
202. Analyzing Real Time Linear Control Systems Using Software Verification
203. Preface: Volume 89, Issue 2
204. Experiences with Building Disaster Recovery for Enterprise-Class Clouds
205. ResilientVM
206. C2E2
207. Statistical verification of dynamical systems using set oriented methods
208. How Can Automatic Feedback Help Students Construct Automata?
209. Model Checking Concurrent Programs with Nondeterminism and Randomization
210. Stability of linear autonomous systems under regular switching sequences
211. STORMED Hybrid Systems
212. A Decidable Class of Planar Linear Hybrid Systems
213. Limit Deterministic and Probabilistic Automata for LTL \ GU.
214. Reachability under Contextual Locking
215. Verification of annotated models from executions
216. On the decidability of stability of hybrid systems
217. Automation System for Validation of Configuration and Security Compliance in Managed Cloud Services
218. Verification of Bounded Discrete Horizon Hybrid Automata
219. Pre-orders for reasoning about stability
220. Power of Randomization in Automata on Infinite Strings
221. Model Checking MDPs with a Unique Compact Invariant Set of Distributions
222. Comment: projection methods require black border removal
223. A dynamic algorithm for approximate flow computations
224. A counterexample-guided abstraction-refinement framework for markov decision processes
225. Reasoning about MDPs as Transformers of Probability Distributions
226. Verifying Tolerant Systems Using Polynomial Approximations
227. Assertion Checking in J-Sim Simulation Models of Network Protocols
228. Honda Next Generation Speech User Interface
229. Taking IT Management Services to a Cloud
230. Incremental state-space exploration for programs with dynamically allocated data
231. Visibly pushdown automata for streaming XML
232. J-Sim: An Integrated Environment for Simulation and Model Checking of Network Protocols
233. Learning to verify branching time properties
234. Learning to verify branching time properties
235. Preface
236. Methods and apparatus for unknown speaker labeling using concurrent speech recognition, segmentation, classification and clustering
237. Incremental state-space exploration for programs with dynamically allocated data.
238. A Decidable Class of Planar Linear Hybrid Systems.
239. Least Upper Bounds for Probability Measures and Their Applications to Abstractions.
240. Model-Checking Markov Chains in the Presence of Uncertainties.
241. Propositional Tree Automata.
242. Minimization, Learning, and Conformance Testing of Boolean Programs.
243. LEVER: A Tool for Learning Based Verification.
244. Model Checking Multithreaded Programs with Asynchronous Atomic Methods.
245. Comparison of measures of speech quality for listening tests of text-to-speech systems
246. An Approximate L1 -Difference Algorithm for Massive Data Streams
247. Conformance testing in the presence of multiple faults.
248. On Statistical Model Checking of Stochastic Systems.
249. Congruences for Visibly Pushdown Languages.
250. Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.