Home Research-feed Channel Rankings GCT THU AI TR Open Data Must Reading

views: 16

Daniel Matichuk

NICTA, Sydney, Australia

Sign in to view more

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers8 papers

Sort

By YearBy Citation

Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency

June Andronick,Corey Lewis,Daniel Matichuk,Carroll Morgan,Christine Rizkallah

ITP, pp.52-68, (2016)

Cited by10EIBibtex

Eisbach: A Proof Method Language for Isabelle

Daniel Matichuk,Toby C. Murray,Makarius Wenzel

J. Autom. Reasoning, no. 3 (2016): 261-282

Cited by38EIBibtex

Finite Machine Word Library

Joel Beeren,Matthew Fernandez,Xin Gao,Gerwin Klein,Rafal Kolanski,Japheth Lim,Corey Lewis,Daniel Matichuk,Thomas Sewell

Archive of Formal Proofs, (2016)

EIBibtex

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

ICSE, (2015): 722-732

Cited by20EIBibtex

An Isabelle Proof Method Language

Daniel Matichuk,Makarius Wenzel,Toby C. Murray

ITP, pp.390-405, (2014)

Cited by24EIBibtex

Noninterference for operating system kernels

Toby Murray,Daniel Matichuk,Matthew Brassil,Peter Gammie,Gerwin Klein

CPP, pp.126-142, (2012)

Cited by42EIBibtex

Automatic Function Annotations for Hoare Logic

Daniel Matichuk

SSV, pp.46-56, (2012)

EIBibtex

Extensible specifications for automatic re-use of specifications and proofs

Daniel Matichuk,Toby Murray

SEFM, pp.333-341, (2012)

Cited by8EIBibtex

View All

Base Info Papers Patents Projects