# Daniel Matichuk

According to our database

Collaborative distances:

^{1}, Daniel Matichuk authored at least 12 papers between 2012 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

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

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