Daniel Matichuk
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2012–2016
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ITP | Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency. | June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan, Christine Rizkallah |
| 2015 | ICSE | Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification. | Daniel Matichuk, Toby C. Murray, June Andronick, D. Ross Jeffery, Gerwin Klein, Mark Staples |
| 2014 | ITP | An Isabelle Proof Method Language. | Daniel Matichuk, Makarius Wenzel, Toby C. Murray |
| 2013 | SP | seL4: From General Purpose to a Proof of Information Flow Enforcement. | Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein |
| 2012 | CPP | Noninterference for Operating System Kernels. | Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Gerwin Klein |
| 2012 | SEFM | Extensible Specifications for Automatic Re-use of Specifications and Proofs. | Daniel Matichuk, Toby C. Murray |