Philip Daian

From FSL
Revision as of 22:14, 1 October 2016 by Grosu (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Philip Daian was an FSL undergraduate student at UIUC and an employee at Runtime Verification, Inc.. He is now pursuing a PhD at Cornell. check out his webpage at

Runtime Verification at Work: A Tutorial 
Philip Daian and Dwight Guth and Chris Hathhorn and Yilong Li and Edgar Pek and Manasvi Saxena and Traian Florin Serbanuta and Grigore Rosu
RV'16, LNCS 10012, pp 46-67. 2016
PDF, Slides(PPTX), RV Products, DOI, RV'16, BIB
RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring 
Philip Daian and Bhargava Manja and Shinichi Shiraishi and Akihito Iwai and Grigore Rosu
SAE'16, SAE International 2016-01-0126, pp 1-13. 2016
PDF, Slides(PPT), RV-ECU, DOI, SAE'16, BIB
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial 
Philip Daian and Ylies Falcone and Patrick Meredith and Traian Florin Serbanuta and Shinichi Shiraishi and Akihito Iwai and Grigore Rosu
RV'15, Lecture Notes in Computer Science 9333, pp 342-357. 2015
PDF, Slides(PDF), RV-Android, DOI, RV'15, BIB

Personal tools