Concepedia

Daniel Matichuk

DM

Statistics

Publications

4

Citations

279

H-Index

4

Active since

2013

Affiliations

Data61(Current)

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

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystem SoftwareProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware Design

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

Engineering, Information Security, Verification +24

Eisbach: A Proof Method Language for Isabelle

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

Engineering, Automated Reasoning, Verification +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

Software Maintenance, Program Checking, Engineering +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

Software Maintenance, Program Checking, Engineering +25

1–4 of 4