Search results for: Hana Chockler
Lecture Notes in Computer Science > Randomization and Approximation Techniques in Computer Science > 26-38
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Real Time and LTL Model Checking > 176-190
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Logics and Model-Checking > 528-542
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Testing and Debugging > 201-215
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Automata Based Methods > 111-125
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Verification II > 465-481
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Static Analysis > 233-248
Lecture Notes in Computer Science
Formal Methods in System Design > 2013 > 43 > 3 > 552-571
Formal Methods in System Design > 2012 > 40 > 1 > 20-40
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2012 > 31 > 5 > 765 - 778