Concepedia

Andy Walter

AW

Statistics

Publications

3

Citations

52

H-Index

3

Active since

2001

Affiliations

FZI Research Center for Information Technology(Current)

Andy Walter is an author at FZI Research Center for Information Technology specializing in formal methods, formal verification, and engineering.

Top concepts

EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringComputer EngineeringSoftware Engineering

Publications per year

2001–2016

3

Publications

3

HIDOORS - a high integrity distributed deterministic Java environment

J. Ventura, Fridtjof Siebert, Andy Walter et al. · 2003 · 21 citations

Engineering, High Integrity, Computer Architecture +24

Deterministic execution of java's primitive bytecode operations

Fridtjof Siebert, Andy Walter · 2001 · 17 citations

Engineering, Compiler Technology, Computer Architecture +20

Rediscovering and modernising the digital Old Minster of Winchester

Paul Reilly, Stephen Todd, Andy Walter · Digital Applications in Archaeology and Cultural Heritage · 2016 · 14 citations · Full text

Digital Heritage, Digital Preservation, Digital Old Minster +1

1–3 of 3