1. OAR@UM

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 21-30 of 137 (Search time: 0.031 seconds).
Item hits:
Issue DateTitleAuthor(s)
2008Definition characterisation through genetic algorithmsBorg, Claudia; Rosner, Mike; Pace, Gordon J.
2004Counter-example generation in symbolic abstract model-checkingPace, Gordon J.; Halbwachs, Nicolas; Raymond, Pascal
2000The semantics of verilog using transition system combinatorsPace, Gordon J.
2008Detection of conflicts in electronic contractsFenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2007Automatic interface generation for compositional verificationSpina, Sandro; Pace, Gordon J.; Lang, Frederic
2014-11Event-based characterisation of temporal properties over system statesColombo, Christian; Pace, Gordon J.; Scicluna, Justine
2014-11A domain specific property language for fraud detection to support agile specification developmentCalafato, Aaron; Colombo, Christian; Pace, Gordon J.
2016Compliance checking in the open payments ecosystemAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.; Vella, Brian
2005Describing and verifying FFT circuits using SharpHDLPace, Gordon J.; Vella, Christine
2014Contract automata with reparationsAzzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando

Discover