According to our database1, Daniel Matichuk authored at least 12 papers between 2012 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Automation for Proof Engineering: Machine-Checked Proofs At Scale.
PhD thesis, 2018
Modular Verification Scopes via Export Sets and Translucent Exports.
Proceedings of the Principled Software Development, 2018
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
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
An Isabelle Proof Method Language.
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014
seL4: From General Purpose to a Proof of Information Flow Enforcement.
Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013
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