Mark B. Josephs

According to our database, Mark B. Josephs authored at least 41 papers between 1986 and 2020.

Collaborative distances:

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

2020

User-Controlled, Auditable, Cross-Jurisdiction Sharing of Healthcare Data Mediated by a Public Blockchain.

Xiaohu Zhou, Vitor Jesus, Yonghao Wang, Mark B. Josephs

Proceedings of the 19th IEEE International Conference on Trust, 2020

2019

Towards Blockchain-Based Auditing of Data Exchanges.

Xiaohu Zhou, Antonio Nehme, Vitor Jesus, Yonghao Wang, Mark B. Josephs, Khaled Mahbub

Proceedings of the Smart Blockchain - Second International Conference, 2019

Cybersecurity Metrics for Enhanced Protection of Healthcare IT Systems.

Yussuf Ahmed, Syed Naqvi, Mark B. Josephs

Proceedings of the 13th International Symposium on Medical Information and Communication Technology, 2019

A Research-Led Practice-Driven Digital Forensic Curriculum to Train Next Generation of Cyber Firefighters.

Syed Naqvi, Peter Sommer, Mark B. Josephs

Proceedings of the IEEE Global Engineering Education Conference, 2019

Continuous Risk Management for Industrial IoT: A Methodological View.

Carolina Adaros Boye, Paul Kearney, Mark B. Josephs

Proceedings of the Risks and Security of Internet and Systems, 2019

2018

Cyber-Risks in the Industrial Internet of Things (IIoT): Towards a Method for Continuous Assessment.

Carolina Adaros Boye, Paul Kearney, Mark B. Josephs

Proceedings of the Information Security - 21st International Conference, 2018

Collective Responsibility and Mutual Coercion in IoT Botnets - A Tragedy of the Commons Problem.

Carolina Adaros Boye, Paul Kearney, Mark B. Josephs

Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, 2018

Aggregation of security metrics for decision making: a reference architecture.

Yussuf Ahmed, Syed Naqvi, Mark B. Josephs

Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018

2007

Controllable Delay-Insensitive Processes.

Mark B. Josephs, Hemangee K. Kapoor

Fundam. Informaticae, 2007

Gate-level modelling and verification of asynchronous circuits using CSPM and FDR.

Mark B. Josephs

Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007), 2007

2006

Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments.

Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Furey

Fundam. Informaticae, 2006

Asynchronous Packet-Switching for Networks-on-Chip.

Jun Xu, Reza Sotudeh, Mark B. Josephs

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Controllable Delay-Insensitive Processes and their Reflection, Interaction and Factorisation.

Hemangee K. Kapoor, Mark B. Josephs

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

Modelling and verification of delay-insensitive circuits using CCS and the Concurrency Workbench.

Hemangee K. Kapoor, Mark B. Josephs

Inf. Process. Lett., 2004

Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis.

Hemangee K. Kapoor, Mark B. Josephs

Proceedings of the 41th Design Automation Conference, 2004

Models for Data-Flow Sequential Processes.

Mark B. Josephs

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2003

An Analysis of Determinacy Using a Trace-Theoretic Model of Asynchronous Circuits.

Mark B. Josephs

Proceedings of the 9th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2003), 2003

2002

Optimal Two-Level Delay - Insensitive Implementation of Logic Functions.

Igor Lemberski, Mark B. Josephs

Proceedings of the Integrated Circuit Design. Power and Timing Modeling, 2002

A Programming Approach to the Design of Asynchronous Logic Blocks.

Mark B. Josephs, Dennis P. Furey

Proceedings of the Concurrency and Hardware Design, Advances in Petri Nets, 2002

2000

Delay-Insensitive Interface Specification and Synthesis.

Mark B. Josephs, Dennis P. Furey

Proceedings of the 2000 Design, 2000

1998

Protocol Specification, Testing and Verification XV, by Piotr Dembinski and Marek Sredniawa (Editors), Chapman and Hall, 1996 (Book Review).

Mark B. Josephs

Softw. Test. Verification Reliab., 1998

Formal Derivation of a Loadable Asynchronous Counter.

Mark B. Josephs

Proceedings of the Mathematics of Program Construction, 1998

1997

The Use of SI-Algebra in the Design of Sequencer Circuits.

Mark B. Josephs, Andrew M. Bailey

Formal Aspects Comput., 1997

1996

CMOS design of the tree arbiter element.

Mark B. Josephs, Jelio Todorov Yantchev

IEEE Trans. Very Large Scale Integr. Syst., 1996

Some limitations to speed-independence in asynchronous circuits.

Martin E. Bush, Mark B. Josephs

Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '96), 1996

1995

Low-latency asynchronous FIFO buffers.

Jelio Todorov Yantchev, C. G. Huang, Mark B. Josephs, Ivailo M. Nedelchev

Proceedings of the Second Working Conference on Asynchronous Design Methodologies, 1995

Sequencer circuits for VLSI programming.

Andrew M. Bailey, Mark B. Josephs

Proceedings of the Second Working Conference on Asynchronous Design Methodologies, 1995

1994

Specifying Distributed CICS in Z: Accessing Local and Remote Resources (Short Communication).

Iain S. C. Houston, Mark B. Josephs

Formal Aspects Comput., 1994

Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra.

Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding, Tom Verhoeff

Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994

1993

Implementing a Stack as a Delay-insensitive Circuit.

Mark B. Josephs, Jan Tijmen Udding

Proceedings of the Asynchronous Design Methodologies, Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March, 1993

Normal Form in a Delay-Insensitive Algebra.

Rix Groenboom, Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding

Proceedings of the Asynchronous Design Methodologies, Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March, 1993

1992

Receptive Process Theory.

Mark B. Josephs

Acta Informatica, 1992

High-Level Design of an Asynchronous Packet-Routing Chip.

Mark B. Josephs, Rudolf H. Mak, Jan Tijmen Udding, Tom Verhoeff, Jelio Todorov Yantchev

Proceedings of the Designing Correct Circuits, 1992

1990

A Theory of Synchrony and Asynchrony.

Jifeng He, Mark B. Josephs, Charles Antony Richard Hoare

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

Delay-Insensitive Circuits: An Algebraic Approach to their Design.

Mark B. Josephs, Jan Tijmen Udding

Proceedings of the CONCUR '90, 1990

An Algebra for Delay-Insensitive Circuits.

Mark B. Josephs, Jan Tijmen Udding

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

The Semantics of Lazy Functional Languages.

Mark B. Josephs

Theor. Comput. Sci., 1989

1988

The Data Refinement Calculator for Z Specifications.

Mark B. Josephs

Inf. Process. Lett., 1988

A State-Based Approach to Communicating Processes.

Mark B. Josephs

Distributed Comput., 1988

1986

Functional programming with side-effects.

Mark B. Josephs

PhD thesis, 1986

Functional Programming with Side-Effects.

Mark B. Josephs

Sci. Comput. Program., 1986