Daniel Matichuk

According to our database1, Daniel Matichuk
  • authored at least 10 papers between 2012 and 2016.
  • has a "Dijkstra number"2 of four.

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


  Loading...