Stephen Fenech

According to our database, Stephen Fenech authored at least 4 papers between 2009 and 2020.

Collaborative distances:

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

2020

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

Proceedings of the 2020 IEEE Sensors, Rotterdam, The Netherlands, October 25-28, 2020, 2020

2009

On the Specification of Full Contracts.

Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

Automatic Conflict Detection on Contracts.

Stephen Fenech, Gordon J. Pace, Gerardo Schneider

Proceedings of the Theoretical Aspects of Computing, 2009

CLAN: A Tool for Contract Analysis and Conflict Discovery.

Stephen Fenech, Gordon J. Pace, Gerardo Schneider

Proceedings of the Automated Technology for Verification and Analysis, 2009