Statistical runtime checking of probabilistic properties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4839 LNCS, Issue , 2007, Pages 164-175

  Sammapun, Usa ^a   Lee, Insup ^a   Sokolsky, Oleg ^a   Regehr, John ^b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF UTAH   (United States)

Author keywords

Probabilistic properties; Runtime verification; Statistical monitoring

Indexed keywords

MODEL CHECKING; PROBABILISTIC LOGICS; REAL TIME SYSTEMS; STATISTICAL METHODS; WIRELESS SENSOR NETWORKS;

ERROR BOUNDS; PROBABILISTIC SYSTEMSS; STATISTICAL RUNTIME CHECKING;

SYSTEMS ANALYSIS;

EID: 38549127121     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77395-5_14     Document Type: Conference Paper

References (16)

1. Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Proceedings of 5th International Conference on Verification, Model Checking and Abstract Interpretation, Vanice, Italy, pp. 44-57 (2004)
2. Culler, D.E., Hill, J., Buonadonna, P., Szewczyk, R., Woo, A.: A network- centric approach to embedded software for tiny devices. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, Springer, Heidelberg (2001)
3. Devore, J.L.: Probability and Statistics for Engineering and the Sciences. Duxbury Thomson Learning (2000)
4. Drusinsky, D.: Monitoring temporal rules combined with Time Series. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, Springer, Heidelberg (2003)
5. Finkbeiner, B., Sankaranarayanan, S., Sipma, H.B.: Collecting statistics about runtime executions. Formal Methods in System Design 27(3), 253-274 (2005)
6. Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., Culler, D.: The nesC language: A holistic approach to networked embedded systems. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (2003)
7. Havelund, K., Ro̧u, G.: Java PathExplorer - A runtime verification tool. In: Proceedings of the 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space (2001)
8. Jayaputera, J., Poernomo, I., Schmidt, H.: Runtime verification of timing and probabilistic properties using WMI and .NET. In: Proceedings of the 30th EUROMICRO Conference (2004)
9. Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Java-MaC: a runtime assurance approach for Java programs. Formal Methods in Systems Design 24(2), 129-155 (2004)
10. Kristoffersen, K.J., Pedersen, C., Anderson, H.R.: Runtime verification of Timed LTL using disjunctive normalized equation systems. In: Proceedings of the 3rd International Workshop on Runtime Verification (2003)
11. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)
12. Sammapun, U., Lee, I., Sokolsky, O.: RT-MaC: Runtime monitoring and checking of quantitative and probabilistic properties. In: Proceedings of the 11th IEEE International Conference of Embedded and Real-Time Computing Systems and Applications (2005)
13. Stolz, V., Bodden, E.: Temporal assertions using AspectJ. In: Proceedings of the 5th International Workshop on Runtime Verification (July 2005)
14. Titzer, B.L.: Avrora: The AVR simulation and analysis framework. Master's thesis, University of California, Los Angeles, June (2004)
15. Wald, A.: Sequential Analysis. In: Dover Phoenix Editions (2004)
16. Younes, H.L.S., Kwiatkowska, M., Norman, G., Parker, D.: Numerical vs. statistical probabilistic model checking: An empirical study. In: Proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (2004)