Byron Cook
New papers
I've recently been working on approaches to automatically verify properties of biological models, as well as relooking at ways of proving temporal properties of programs. This research has resulted in some new papers:
Making prophecies with decision predicates
, with
Eric Koskinen
. This will appear
at
POPL'11
Proving stabilization of biological systems
, with
Jasmin Fisher
,
Elzbieta Krepska
, and
Nir Piterman
. This will appear at
VMCAI'11
Newer Post
Older Post
Home