Concepedia

Daniel Matichuk

DM

4

Publications

279

Citations

4

H-Index

2013

Active since

Affiliations

Data61(Current)

UNSW Sydney

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

Top concepts

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 · 202 citations · Full text

, , +24

Eisbach: A Proof Method Language for Isabelle

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

, , +7

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

, , +25

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

, , +25

Rows per page

1–4 of 4