Philip Daian

Suggest Changes
  • Citations Per Year
Grigore Rosu8
Hemalatha Marimuthu6
Shinichi Shiraishi6
Andreas Bauer6
Veena Mohan6
3Grigore Rosu
2Akihito Iwai
2Traian-Florin Serbanuta
2Yliès Falcone
1Walter Binder

Filter Results:

  • Full text PDF available (4)

Publication Year

2015
2017
  • This year (1)
  • Last 5 years (4)
  • Last 10 years (4)

Publication Type

Co-author

Journals and Conferences

Learn More
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
RV-Android is a new freely available open source runtime library for monitoring formal safety properties on Android. RV-Android uses the commercial RV-Monitor technology as its core monitoring library generation technology, allowing for the verification of safety properties during execution and operating entirely in userspace with no kernel or operating… (More)
(Short Paper): PieceWork: Generalized Outsourcing Control for Proofs of Work
Most prominent cryptocurrencies utilize proof of work (PoW) to secure their operation, yet PoW suffers from two key undesirable properties. First, the work done is generally wasted, not useful for anything but the gleaned security of the cryptocurrency. Second, PoW is naturally outsourceable, leading to inegalitarian concentration of power in the hands of… (More)
RV-ECU: Maximum Assurance In-Vehicle Safety Monitoring
The Runtime Verification ECU (RV-ECU) is a new development platform for checking and enforcing the safety of automotive bus communications and software systems. RV-ECU uses runtime verification, a formal analysis subfield geared at validating and verifying systems as they run, to ensure that all manufacturer and third-party safety specifications are… (More)
Runtime Verification at Work: A Tutorial
We present a suite of runtime verification tools developed by Runtime Verification Inc.: RV-Match, RV-Predict, and RV-Monitor. RV-Match is a tool for checking C programs for undefined behavior and other common programmer mistakes. It is extracted from the most complete formal semantics of the C11 language and beats many similar tools in its ability to catch… (More)
  • ‹
  • 1
  • ›