Mark B. Josephs

48 papers A* 2A 1B 4C 4Journal 15Unranked 21

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