Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_bedb6dc63918f9dcefe551860e1eb030, O_RDWR) failed: Read-only file system (30) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: session_start() [function.session-start]: Cannot send session cookie - headers already sent by (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: session_start() [function.session-start]: Cannot send session cache limiter - headers already sent (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: Cannot modify header information - headers already sent by (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/header.php on line 2
CoSy Bibliography
Runtime Verification with State Estimation
Scott D. Stoller, Ezio Bartocci, Radu Grosu, Havelund Klaus, Scott A. Smolka, Seyster Justin, Erez Zadok.
In Proc. of RV 2011: 2nd International Conference on Runtime Verification. 2011.

@INPROCEEDINGS{,
  title = {{Runtime Verification with State Estimation}},
  author = {Stoller, Scott D. and Bartocci, Ezio and Grosu, Radu and Klaus, Havelund and Smolka, Scott A. and Justin, Seyster and Zadok, Erez},
  booktitle = {In Proc. of RV 2011: 2nd International Conference on Runtime Verification},
  year = {2011},
}

Warning: Unknown: open(/var/lib/php5/sess_bedb6dc63918f9dcefe551860e1eb030, O_RDWR) failed: Read-only file system (30) in Unknown on line 0

Warning: Unknown: Failed to write session data (files). Please verify that the current setting of session.save_path is correct (/var/lib/php5) in Unknown on line 0