Concepedia

Daniel Matichuk

DM

Statistics

Publications

4

Citations

281

H-Index

4

Active since

2013

Affiliations

Data61(Current)

Daniel Matichuk is an author at Data61 specializing in computer science, computing, and formal verification.

Publications per year

2013–2016

4

Publications

4

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

Toby Murray, Daniel Matichuk, Matthew Brassil et al. · 2013 · 204 citations · Full text

Computing, Computer Engineering, Computer Science +17

Eisbach: A Proof Method Language for Isabelle

Daniel Matichuk, Toby Murray, Makarius Wenzel · Journal of Automated Reasoning · 2016 · 41 citations

Computing, Computer Science, Formal Methods +11

Empirical study towards a leading indicator for cost of formal software verification

Daniel Matichuk, Toby Murray, June Andronick et al. · International Conference on Software Engineering · 2015 · 18 citations

Computing, Computer Science, Formal Methods +16

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

Daniel Matichuk, Toby Murray, June Andronick et al. · 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering · 2015 · 18 citations

Computing, Computer Science, Formal Methods +16

1–4 of 4