팔로우
David Aspinall
David Aspinall
Professor in Computer Science, University of Edinburgh
ed.ac.uk의 이메일 확인됨
제목
인용
인용
연도
Proof General: A generic tool for proof development
D Aspinall
International Conference on Tools and Algorithms for the Construction and …, 2000
2182000
On validity of program transformations in the Java memory model
J Ševčík, D Aspinall
European Conference on Object-Oriented Programming, 27-51, 2008
1912008
Personal choice and challenge questions: a security and usability assessment
M Just, D Aspinall
Proceedings of the 5th Symposium on Usable Privacy and Security, 1-11, 2009
1382009
Data driven authentication: On the effectiveness of user behaviour modelling with mobile device sensors
HG Kayacik, M Just, L Baillie, D Aspinall, N Micallef
arXiv preprint arXiv:1410.7743, 2014
1002014
Subtyping with singleton types
D Aspinall
International Workshop on Computer Science Logic, 1-15, 1994
971994
Mobile resource guarantees for smart devices
D Aspinall, S Gilmore, M Hofmann, D Sannella, I Stark
International Workshop on Construction and Analysis of Safe, Secure, and …, 2004
872004
Formalising Java’s data race free guarantee
D Aspinall, J Ševčík
International Conference on Theorem Proving in Higher Order Logics, 22-37, 2007
812007
Subtyping dependent types
D Aspinall, A Compagnoni
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 86-97, 1996
811996
A program logic for resources
D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano
Theoretical Computer Science 389 (3), 411-445, 2007
742007
Another type system for in-place update
D Aspinall, M Hofmann
European Symposium on Programming, 36-52, 2002
662002
Subtyping dependent types
D Aspinall, A Compagnoni
Theoretical computer science 266 (1-2), 273-309, 2001
582001
Heap-bounded assembly language
D Aspinall, A Compagnoni
Journal of automated reasoning 31 (3), 261-302, 2003
542003
Security testing for Android mHealth apps
K Knorr, D Aspinall
2015 IEEE Eighth International Conference on Software Testing, Verification …, 2015
492015
Dependent types
D Aspinall, M Hofmann
Advanced topics in types and programming languages, 45-86, 2004
482004
A program logic for resource verification
D Aspinall, L Beringer, M Hofmann, HW Loidl, A Momigliano
International Conference on Theorem Proving in Higher Order Logics, 34-49, 2004
442004
A framework for interactive proof
D Aspinall, C Lüth, D Winterstein
Towards Mechanized Mathematical Assistants, 161-175, 2007
432007
Java memory model examples: Good, bad and ugly
D Aspinall, J Sevcik
Proc. of VAMP 7, 2007
422007
Towards formal proof script refactoring
I Whiteside, D Aspinall, L Dixon, G Grov
International Conference on Intelligent Computer Mathematics, 260-275, 2011
332011
An IoT analysis framework: An investigation of IoT smart cameras' vulnerabilities
R Alharbi, D Aspinall
IET Digital Library, 2018
312018
Mobile resource guarantees and policies
D Aspinall, K MacKenzie
International Workshop on Construction and Analysis of Safe, Secure, and …, 2005
302005
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20