Andrew Gauci

According to our database, Andrew Gauci authored at least 2 papers between 2010 and 2011.

Collaborative distances:

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

2011

Distributed System Contract Monitoring

Adrian Francalanza, Andrew Gauci, Gordon J. Pace

Proceedings of the Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2011

2010

LarvaStat: Monitoring of Statistical Properties.

Christian Colombo, Andrew Gauci, Gordon J. Pace

Proceedings of the Runtime Verification - First International Conference, 2010