Search results for: Ranjit Jhala
2017 IEEE Symposium on Security and Privacy (SP) > 559 - 578
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Invited Contributions > 2-18
Lecture Notes in Computer Science > Automata, Languages and Programming > Logic and Lambda-Calculus > 886-902
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Refinement > 459-473
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software and Hardware Verification > 553-567
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Program Analysis > 352-367
Lecture Notes in Computer Science > Computer Aided Verification > Abstraction and Refinement > 39-51
Lecture Notes in Computer Science > High Performance Embedded Architectures and Compilers > II Architecture/Compiler Optimizations for Efficient Embedded Processing > 71-86
Lecture Notes in Computer Science > CONCUR 2001 — Concurrency Theory > Probabilistic Systems > 351-365