# Daniel Matichuk

According to our database

^{1}, Daniel Matichuk## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2016

Eisbach: A Proof Method Language for Isabelle.

J. Autom. Reasoning, 2016

Finite Machine Word Library.

Archive of Formal Proofs, 2016

Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency.

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2015

Mining the Archive of Formal Proofs.

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification.

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

An Isabelle Proof Method Language.

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013

seL4: From General Purpose to a Proof of Information Flow Enforcement.

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

2012

Automatic Function Annotations for Hoare Logic

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Extensible Specifications for Automatic Re-use of Specifications and Proofs.

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Noninterference for Operating System Kernels.

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012