Search results for: Alastair F. Donaldson
Software Testing, Verification and Reliability > 32 > 4 > n/a - n/a
Science of Computer Programming > 2017 > 148 > C > 107-122
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Invited Papers > 28-42
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 9-23
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 300-315
Lecture Notes in Computer Science > Euro-Par 2010 Parallel Processing Workshops > Forth Workshop on Highly Parallel Processing on a Chip (HPPC 2010) > 117-125
Lecture Notes in Computer Science > High Performance Embedded Architectures and Compilers > Programming and Analysis of Accelerators > 337-352
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > System Descriptions > 374-380
Lecture Notes in Computer Science > High Performance Embedded Architectures and Compilers > IV Communication > 168-182
Lecture Notes in Computer Science > Euro-Par 2009 – Parallel Processing Workshops > Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) > 36-45
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 169-183
Lecture Notes in Computer Science > Euro-Par 2008 Workshops - Parallel Processing > Second Workshop on Highly Parallel Processing on a Chip (HPPC 2008) > 163-173
Lecture Notes in Computer Science > Static Analysis > 351-368
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 280-295