CLAN: A Tool for Contract Analysis and Conflict Discovery. - Stephen Fenech; Gordon J. Pace; Gerardo Schneider (ATVA, 2009)

Automatic Conflict Detection on Contracts. - Stephen Fenech; Gordon J. Pace; Gerardo Schneider (ICTAC, 2009)

On the Specification of Full Contracts. - Stephen Fenech; Gordon J. Pace; Joseph C. Okika; Anders P. Ravn; Gerardo Schneider (FESCA@ETAPS, 2009)

Development of a Flexible and Wireless ECG Monitoring Device. - Lucas Bonek; Stephen Fenech; Nicholas Sapoznik; Anthony J. Hanson; Simin Masihi; Dinesh Maddipatla; Masoud Panahi; Massood Z. Atashbar (IEEE SENSORS, 2020)