Search results for: Samir Genaim
Journal of Automated Reasoning > 2017 > 59 > 1 > 47-85
Lecture Notes in Computer Science > Programming Languages and Systems > Software Security and Verification > 294-310
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Applied Abstract Interpretation > 346-362
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Termination > 685-694
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 38-53
Lecture Notes in Computer Science > Static Analysis > 477-492
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Static Analysis > 126-138
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The MOBIUS Project > 113-132
Lecture Notes in Computer Science > Programming Languages and Systems > Session 5: Concurrency 2 > 238-254
Lecture Notes in Computer Science > Foundational and Practical Aspects of Resource Analysis > FOPARA 2009 > 1-17
Lecture Notes in Computer Science > Static Analysis > 100-116
Science of Computer Programming > 2015 > 111 > Part 3 > 483-504