Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Namjoshi, Kedar - Computing and Software Principles Research Department, Bell Laboratories
Symmetry and Completeness in the Analysis of Parameterized Systems
Incremental Algorithms for Inter-procedural Analysis of Safety Properties
Robust and Fast Pattern Matching For Intrusion Detection
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
Kedar Sharad Namjoshi Ameliorating the State Explosion Problem
Abstract Patterns of Compositional Reasoning , E. Allen Emerson2
Local Proofs for Global Safety Properties Ariel Cohen1
Local Proofs for Linear-Time Properties of Concurrent Programs
Lifting Temporal Proofs through Abstractions Kedar S. Namjoshi
Certifying Model Checkers Kedar S. Namjoshi
Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams
Model Checking Synchronous Timing Diagrams , E. Allen Emerson1
Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation
Efficient Decompositional Model Checking for Regular Timing Diagrams
Efficient Analysis of Cyclic Definitions Kedar S. Namjoshi and Robert P. Kurshan
Environment Modeling and Language Universality
A Simple Characterization of Stuttering Bisimulation
