Search results for: Martin Rinard
Lecture Notes in Computer Science > On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops > Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES) > 550-563
Lecture Notes in Computer Science > Relational and Kleene-Algebraic Methods in Computer Science > Contributed Papers > 21-33
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 157-173
Lecture Notes in Computer Science > Embedded Software > 289-305
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Aspect and Object-Oriented Programming > 150-165
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Heap and Shape Analysis > 199-215
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Static Analysis > 214-226
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 6. Satisfiability Modulo Theories > 215-230