Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis
Kapoor, Hemangee K., Josephs, Mark B.
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 41st annual conference on Design automation; 07-11 June 2004 (07.06.2004)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 41st annual conference on Design automation; 07-11 June 2004 (07.06.2004)
Get full text
Conference Proceeding
Towards Blockchain-Based Auditing of Data Exchanges
Zhou, Xiaohu, Nehme, Antonio, Jesus, Vitor, Wang, Yonghao, Josephs, Mark, Mahbub, Khaled
Published in Smart Blockchain (2019)
Published in Smart Blockchain (2019)
Get full text
Book Chapter
Cybersecurity Metrics for Enhanced Protection of Healthcare IT Systems
Ahmed, Yussuf, Naqvi, Syed, Josephs, Mark
Published in 2019 13th International Symposium on Medical Information and Communication Technology (ISMICT) (01.05.2019)
Published in 2019 13th International Symposium on Medical Information and Communication Technology (ISMICT) (01.05.2019)
Get full text
Conference Proceeding
Gate-level modelling and verification of asynchronous circuits using CSPM and FDR
Josephs, M.B.
Published in 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07) (01.03.2007)
Published in 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07) (01.03.2007)
Get full text
Conference Proceeding
User-Controlled, Auditable, Cross-Jurisdiction Sharing of Healthcare Data Mediated by a Public Blockchain
Zhou, Xiaohu, Jesus, Vitor, Wang, Yonghao, Josephs, Mark
Published in 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) (01.12.2020)
Published in 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) (01.12.2020)
Get full text
Conference Proceeding
A Research-Led Practice-Driven Digital Forensic Curriculum to Train Next Generation of Cyber Firefighters
Naqvi, Syed, Sommer, Peter, Josephs, Mark
Published in 2019 IEEE Global Engineering Education Conference (EDUCON) (01.04.2019)
Published in 2019 IEEE Global Engineering Education Conference (EDUCON) (01.04.2019)
Get full text
Conference Proceeding
Modeling and design of asynchronous circuits
Josephs, Mark B, Nowick, Steven M, Van Berkel, C H
Published in Proceedings of the IEEE (01.02.1999)
Get full text
Published in Proceedings of the IEEE (01.02.1999)
Journal Article
Asynchronous circuits and systems
NOWICK, Steven M, JOSEPHS, Mark B, VAN BERKEL, C.H. (Kees)
Published in Proceedings of the IEEE (1999)
Get full text
Published in Proceedings of the IEEE (1999)
Journal Article