TY - GEN
T1 - Runtime verification and refutation for biological systems
AU - Kugler, Hillel
PY - 2013
Y1 - 2013
N2 - Advanced computational models are transforming the way research is done in biology, by providing quantitative means to assess the validity of theories and hypotheses and allowing predictive capabilities, raising an urgent need to be able to systematically and efficiently analyze runtime properties of models. In this tutorial I describe key biological applications, modeling formalisms, property specification languages, and computational tools utilized in this domain, survey the techniques and research from the formal verification, machine learning and simulation communities that are currently being used, and outline opportunities for the runtime verification community to contribute new scalable methods.
AB - Advanced computational models are transforming the way research is done in biology, by providing quantitative means to assess the validity of theories and hypotheses and allowing predictive capabilities, raising an urgent need to be able to systematically and efficiently analyze runtime properties of models. In this tutorial I describe key biological applications, modeling formalisms, property specification languages, and computational tools utilized in this domain, survey the techniques and research from the formal verification, machine learning and simulation communities that are currently being used, and outline opportunities for the runtime verification community to contribute new scalable methods.
UR - http://www.scopus.com/inward/record.url?scp=84887491111&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-40787-1_28
DO - 10.1007/978-3-642-40787-1_28
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84887491111
SN - 9783642407864
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 384
EP - 385
BT - Runtime Verification - 4th International Conference, RV 2013, Proceedings
T2 - 4th International Conference on Runtime Verification, RV 2013
Y2 - 24 September 2013 through 27 September 2013
ER -