Search results for: Lenore D. Zuck
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 222-236
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Computer Aided Verification > Verification of Hardware, Microcode, and Synchronous Systems > 185-198
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Heap and Shape Analysis > 164-180
Lecture Notes in Computer Science > CONCUR '92 > 370-385
Lecture Notes in Computer Science > Static Analysis > 249-262
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 2 > 91-105
Lecture Notes in Computer Science > Computer Aided Verification > Session 2: Memory Consistency > 121-134
Lecture Notes in Computer Science > CONCUR '92 > 325-339
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 142-158
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Parameterized Verification > 356-371
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > KEYNOTE SPEECHES > 1-12