Ruth Mizzi

According to our database, Ruth Mizzi authored at least 3 papers between 2012 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Extensible Technology-Agnostic Runtime Verification

Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace

Proceedings of the Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2013

SMock - A Test Platform for Monitoring Tools.

Christian Colombo, Ruth Mizzi, Gordon J. Pace

Proceedings of the Runtime Verification - 4th International Conference, 2013

2012

polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries.

Christian Colombo, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012