Search

Your search keyword '"Viswanathan, Mahesh"' showing total 331 results

Search Constraints

Start Over You searched for: Author "Viswanathan, Mahesh" Remove constraint Author: "Viswanathan, Mahesh"
331 results on '"Viswanathan, Mahesh"'

Search Results

301. Run-Time Monitoring of Electronic Contracts

302. Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol

303. Optimal Strategy Synthesis in Request-Response Games

304. Tree Pattern Rewriting Systems

305. NetQi: A Model Checker for Anticipation Game

306. Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic

307. Model Based Importance Analysis for Minimal Cut Sets

308. Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT

309. Alaska : Antichains for Logic, Automata and Symbolic Kripke Structures Analysis

310. DiVinE Multi-Core – A Parallel LTL Model-Checker

311. Goanna: Syntactic Software Model Checking

312. Controllable Test Cases for the Distributed Test Architecture

313. CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications

314. A Dynamic Assertion-Based Verification Platform for Validation of UML Designs

315. SMELS: Satisfiability Modulo Equality with Lazy Superposition

316. Interpolants for Linear Arithmetic in SMT

317. SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems

318. Compositional Verification for Component-Based Systems and Application

319. Model Checking Recursive Programs with Exact Predicate Abstraction

320. Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms

321. Automating Algebraic Specifications of Non-freely Generated Data Types

322. Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions

323. Loop Summarization Using Abstract Transformers

324. A Direct Algorithm for Multi-valued Bounded Model Checking

325. Computation Tree Regular Logic for Genetic Regulatory Networks

326. CTL Model-Checking with Graded Quantifiers

327. Trust and Automation in Verification Tools

328. Tests, Proofs and Refinements

329. Formal Verification and Biology

330. Jeux Stochastiques à Deux Joueurs à Information Parfaite et Zéro

331. Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields

Catalog

Books, media, physical & digital resources