Edinburgh Research Explorer

Mr. Brian Campbell

Research Assistant

Education/Academic qualification

Doctor of Philosophy (PhD), University of Edinburgh
Type-based amortized stack memory prediction

Research outputs

  1. Randomised testing of a microprocessor model using SMT-solver state generation

    Research output: Contribution to journalArticle

  2. Extracting Behaviour from an Executable Instruction Set Model

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Certified Complexity (CerCo)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (8) »

ID: 219509