Mark B. Josephs

ORCID

Publication Activity (10 Years)

Years Active: 1986-2021
Publications (10 Years): 9

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Carolina Adaros Boye, Paul Kearney, Mark B. Josephs, Hans Ulmer
An Indicators-of-Risk Library for Industrial Network Security. ARES (2021)
Xiaohu Zhou, Vitor Jesus, Yonghao Wang, Mark B. Josephs
User-Controlled, Auditable, Cross-Jurisdiction Sharing of Healthcare Data Mediated by a Public Blockchain. TrustCom (2020)
Yussuf Ahmed, Syed Naqvi, Mark B. Josephs
Cybersecurity Metrics for Enhanced Protection of Healthcare IT Systems. ISMICT (2019)
Xiaohu Zhou, Antonio Nehme, Vitor Jesus, Yonghao Wang, Mark B. Josephs, Khaled Mahbub
Towards Blockchain-Based Auditing of Data Exchanges. SmartBlock (2019)
Carolina Adaros Boye, Paul Kearney, Mark B. Josephs
Continuous Risk Management for Industrial IoT: A Methodological View. CRiSIS (2019)
Syed Naqvi, Peter Sommer, Mark B. Josephs
A Research-Led Practice-Driven Digital Forensic Curriculum to Train Next Generation of Cyber Firefighters. EDUCON (2019)
Yussuf Ahmed, Syed Naqvi, Mark B. Josephs
Aggregation of security metrics for decision making: a reference architecture. ECSA (Companion) (2018)
Carolina Adaros Boye, Paul Kearney, Mark B. Josephs
Collective Responsibility and Mutual Coercion in IoT Botnets - A Tragedy of the Commons Problem. ICETE (1) (2018)
Carolina Adaros Boye, Paul Kearney, Mark B. Josephs
Cyber-Risks in the Industrial Internet of Things (IIoT): Towards a Method for Continuous Assessment. ISC (2018)
Mark B. Josephs
Gate-level modelling and verification of asynchronous circuits using CSPM and FDR. ASYNC (2007)
Mark B. Josephs, Hemangee K. Kapoor
Controllable Delay-Insensitive Processes. Fundam. Informaticae 78 (1) (2007)
Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Furey
Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments. Fundam. Informaticae 70 (1-2) (2006)
Jun Xu, Reza Sotudeh, Mark B. Josephs
Asynchronous Packet-Switching for Networks-on-Chip. ACSD (2006)
Hemangee K. Kapoor, Mark B. Josephs
Controllable Delay-Insensitive Processes and their Reflection, Interaction and Factorisation. ACSD (2005)
Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Furey
Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments. ACSD (2004)
Hemangee K. Kapoor, Mark B. Josephs
Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis. DAC (2004)
Mark B. Josephs
Models for Data-Flow Sequential Processes. 25 Years Communicating Sequential Processes (2004)
Hemangee K. Kapoor, Mark B. Josephs
Modelling and verification of delay-insensitive circuits using CCS and the Concurrency Workbench. Inf. Process. Lett. 89 (6) (2004)
Mark B. Josephs
An Analysis of Determinacy Using a Trace-Theoretic Model of Asynchronous Circuits. ASYNC (2003)
Igor Lemberski, Mark B. Josephs
Optimal Two-Level Delay - Insensitive Implementation of Logic Functions. PATMOS (2002)
Mark B. Josephs, Dennis P. Furey
A Programming Approach to the Design of Asynchronous Logic Blocks. Concurrency and Hardware Design (2002)
Mark B. Josephs, Dennis P. Furey
Delay-Insensitive Interface Specification and Synthesis. DATE (2000)
Mark B. Josephs, Steven M. Nowick, Kees van Berkel
Modeling and design of asynchronous circuits. Proc. IEEE 87 (2) (1999)
Steven M. Nowick, Mark B. Josephs, Kees van Berkel
Special Issue On Asynchronous Circuits And Systems. Proc. IEEE 87 (2) (1999)
Kees van Berkel, Mark B. Josephs, Steven M. Nowick
Applications of asynchronous circuits. Proc. IEEE 87 (2) (1999)
Mark B. Josephs
Formal Derivation of a Loadable Asynchronous Counter. MPC (1998)
Mark B. Josephs
Protocol Specification, Testing and Verification XV, by Piotr Dembinski and Marek Sredniawa (Editors), Chapman and Hall, 1996 (Book Review). Softw. Test. Verification Reliab. 8 (1) (1998)
Mark B. Josephs, Andrew M. Bailey
The Use of SI-Algebra in the Design of Sequencer Circuits. Formal Aspects Comput. 9 (4) (1997)
Martin E. Bush, Mark B. Josephs
Some limitations to speed-independence in asynchronous circuits. ASYNC (1996)
Mark B. Josephs, Jelio Todorov Yantchev
CMOS design of the tree arbiter element. IEEE Trans. Very Large Scale Integr. Syst. 4 (4) (1996)
Jelio Todorov Yantchev, C. G. Huang, Mark B. Josephs, Ivailo M. Nedelchev
Low-latency asynchronous FIFO buffers. ASYNC (1995)
Andrew M. Bailey, Mark B. Josephs
Sequencer circuits for VLSI programming. ASYNC (1995)
Iain S. C. Houston, Mark B. Josephs
Specifying Distributed CICS in Z: Accessing Local and Remote Resources (Short Communication). Formal Aspects Comput. 6 (5) (1994)
Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding, Tom Verhoeff
Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra. ASYNC (1994)
Rix Groenboom, Mark B. Josephs, Paul G. Lucassen, Jan Tijmen Udding
Normal Form in a Delay-Insensitive Algebra. Asynchronous Design Methodologies (1993)
Mark B. Josephs, Jan Tijmen Udding
Implementing a Stack as a Delay-insensitive Circuit. Asynchronous Design Methodologies (1993)
Mark B. Josephs
Receptive Process Theory. Acta Informatica 29 (1) (1992)
Mark B. Josephs, Rudolf H. Mak, Jan Tijmen Udding, Tom Verhoeff, Jelio Todorov Yantchev
High-Level Design of an Asynchronous Packet-Routing Chip. Designing Correct Circuits (1992)
Mark B. Josephs, Jan Tijmen Udding
An Algebra for Delay-Insensitive Circuits. CAV (DIMACS/AMS volume) (1990)
Mark B. Josephs, Jan Tijmen Udding
Delay-Insensitive Circuits: An Algebraic Approach to their Design. CONCUR (1990)
Mark B. Josephs, Jan Tijmen Udding
An Algebra for Delay-Insensitive Circuits. CAV (1990)
Jifeng He, Mark B. Josephs, Charles Antony Richard Hoare
A Theory of Synchrony and Asynchrony. Programming Concepts and Methods (1990)
Mark B. Josephs
The Semantics of Lazy Functional Languages. Theor. Comput. Sci. 68 (1) (1989)
Mark B. Josephs
A State-Based Approach to Communicating Processes. Distributed Comput. 3 (1) (1988)
Mark B. Josephs
The Data Refinement Calculator for Z Specifications. Inf. Process. Lett. 27 (1) (1988)
Mark B. Josephs
Functional Programming with Side-Effects. Sci. Comput. Program. 7 (3) (1986)

Mark B. Josephs.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mark B. Josephs