Distributed Finite-State Runtime Monitoring with Aggregated Events

Kevin Falzon, Eric Bodden, Rahul Purandare. Distributed Finite-State Runtime Monitoring with Aggregated Events. In Axel Legay, Saddek Bensalem, editors, Runtime Verification - 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings. Volume 8174 of Lecture Notes in Computer Science, pages 94-111, Springer, 2013. [doi]

Authors

Kevin Falzon

This author has not been identified. Look up 'Kevin Falzon' in Google

Eric Bodden

This author has not been identified. It may be one of the following persons: Look up 'Eric Bodden' in Google

Rahul Purandare

This author has not been identified. Look up 'Rahul Purandare' in Google