Concepedia

Chris Andreae

CA

4

Publications

180

Citations

4

H-Index

2006

Active since

Affiliations

Victoria University of Wellington(Current)

University of California, Los Angeles

Chris Andreae is an author at Victoria University of Wellington specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisVerificationFormal MethodsSystem SoftwareSoftware AnalysisFormal VerificationComputer EngineeringSoftware Engineering

Publications per year

2006–2010

4

Publications

4

A framework for implementing pluggable type systems

Chris Andreae, James Noble, Shane Markstrum et al. · 2006 · 94 citations

Engineering, Type Theory, Verification +19

Shane Markstrum, Daniel Marino, Matthew Esquivel et al. · ACM Transactions on Programming Languages and Systems · 2010 · 44 citations · Full text

Program Checking, Engineering, Program Analysis +12

Scoped types and aspects for real-time Java memory management

Chris Andreae, Yvonne Coady, Celina Gibbs et al. · Real-Time Systems · 2007 · 29 citations

Engineering, Program Analysis, Computer Engineering +9

A framework for implementing pluggable type systems

Chris Andreae, James Noble, Shane Markstrum et al. · ACM SIGPLAN Notices · 2006 · 13 citations

Engineering, Type Theory, Verification +18

Rows per page

1–4 of 4