Andrew Boyton

According to our database¹, Andrew Boyton authored at least 5 papers between 2009 and 2014.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2014

Secure architectures on a verified microkernel.

[BibT_eX]

[DOI]

Andrew Boyton

PhD thesis, 2014

2013

Formally Verified System Initialisation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Separation Algebra.

[BibT_eX]

[DOI]

Gerwin Klein

Rafal Kolanski

Andrew Boyton

Arch. Formal Proofs, 2012

Mechanised Separation Algebra.

[BibT_eX]

[DOI]

Gerwin Klein

Rafal Kolanski

Andrew Boyton

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

2009

A Verified Shared Capability Model.

[BibT_eX]

[DOI]

Andrew Boyton

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Andrew Boyton

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...