Gordon J. Pace (University of Malta)

Identifiers

• name variant Gordon J. Pace (University of Malta) 0.60 · backfill

Papers (5)

1. Control-Flow Residual Analysis for Symbolic Automata cs.LO · 2017 · author #3
2. Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques cs.LO · 2017 · author #2
3. Comprehensive Monitor-Oriented Compensation Programming cs.SE · 2014 · author #2
4. Extensible Technology-Agnostic Runtime Verification cs.SE · 2013 · author #4
5. Contracts for Interacting Two-Party Systems cs.LO · 2012 · author #1

Mentions

• 1404.0849 #2 · backfill · confidence 0.70 Gordon J. Pace (University of Malta)
• 1302.5169 #4 · backfill · confidence 0.70 Gordon J. Pace (University of Malta)
• 1209.2238 #1 · backfill · confidence 0.70 Gordon J. Pace (University of Malta)

Frequent Coauthors

• Christian Colombo (University of Malta) 3 shared papers
• Adrian Francalanza (University of Malta) 2 shared papers
• Fernando Schapachnik (Universidad de Buenos Aires) 1 shared papers
• Ruth Mizzi (University of Malta) 1 shared papers
• Shaun Azzopardi (University of Malta) 1 shared papers