LarvaStat: Monitoring of statistical properties

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

Volumn 6418 LNCS, Issue , 2010, Pages 480-484

  Colombo, Christian ^a   Gauci, Andrew ^a   Pace, Gordon J ^a  

^a UNIVERSITY OF MALTA   (Malta)

Author keywords

[No Author keywords available]

Indexed keywords

EXECUTION PATHS; NON-FUNCTIONAL; RUN-TIME VERIFICATION; STATISTICAL PROPERTIES; STATISTICS GATHERING; SYSTEM RELIABILITY; USER MODELLING; REAL TIME;

INTRUSION DETECTION;

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 78650095411     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16612-9_38     Document Type: Conference Paper

References (5)

1. Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol. 2937, pp. 44-57. Springer, Heidelberg (2004)
2. Colombo, C., Pace, G., Schneider, G.: Dynamic event-based runtime monitoring of real-time and contextual properties. In: Cofer, D., Fantechi, A. (eds.) FMICS 2008. LNCS, vol. 5596, pp. 135-149. Springer, Heidelberg (2009)
3. D'Angelo, B., Sankaranarayanan, S., Sánchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.: Lola: Runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning (TIME), pp. 166-174 (2005)
4. Denning, D.E.: An intrusion-detection model. IEEE Transactions on Software Engineering 13, 222-232 (1987)
5. Finkbeiner, B., Sankaranarayanan, S., Sipma, H.B.: Collecting statistics over runtime executions. Electr. Notes Theor. Comput. Sci. 70(4), 36-55 (2002)