Search results for: Scott D. Stoller
Formal Methods in System Design > 2017 > 51 > 1 > 62-86
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 113-122
Lecture Notes in Computer Science > Programming Languages and Systems > Regular Contributions > 288-305
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Static Analysis > 70-85
Lecture Notes in Computer Science > SPIN Model Checking and Software Verification > Papers > 224-244
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Tools (Demos) and Program Analysis > 425-439
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > State Space Reductions > 489-504
Lecture Notes in Computer Science > Static Analysis > Data Structures > 213-233
Lecture Notes in Computer Science > Algorithms and Architectures for Parallel Processing > ICA3PP 2011 Regular Papers > 66-79
Lecture Notes in Computer Science > Network and Operating Systems Support for Digital Audio and Video > 330-341
Lecture Notes in Computer Science > Static Analysis > Optimizations > 211-231
Lecture Notes in Computer Science > Model Checking Software > Transformations for model checking distributed java programs > 192-199