No photo of Mark Josephs

View Scopus Profile

Mark Josephs

Prof.

 https://orcid.org/0000-0003-3379-9608
Calculated based on number of publications stored in Pure and citations from SciVal
1986 …2022

Research activity per year

Filter
Conference contribution

Search results

  • 2021

    Intrusion Detection for Industrial Control Systems by Machine Learning using Privileged Information

    Pordelkhaki, M., Fouad, S. & Josephs, M., 2021, Proceedings - 2021 IEEE International Conference on Intelligence and Security Informatics, ISI 2021. Institute of Electrical and Electronics Engineers Inc., (Proceedings - 2021 IEEE International Conference on Intelligence and Security Informatics, ISI 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Citations (SciVal)
  • 2020

    Continuous Risk Management for Industrial IoT: a Methodological View

    Adaros-Boye, C., Kearney, P. & Josephs, M., 28 Feb 2020, 14th International Conference on Risk and Security of Internet and Systems. Kallel, S., Hadj Kacem, A., Cuppens, F. & Cuppens-Boulahia, N. (eds.). Springer, p. 34-49 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12026 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Citations (SciVal)
  • 2019

    A research-led practice-driven digital forensic curriculum to train next generation of cyber firefighters

    Naqvi, S., Sommer, P. & Josephs, M., Apr 2019, Proceedings of 2019 IEEE Global Engineering Education Conference, EDUCON 2019. Schreiter, S. & Ashmawy, A. K. (eds.). IEEE Computer Society, p. 1204-1211 8 p. 8725129. (IEEE Global Engineering Education Conference, EDUCON; vol. April-2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Citations (SciVal)
  • 2018

    Collective responsibility and mutual coercion in IoT botnets a tragedy of the commons problem

    Boye, C. A., Kearney, P. & Josephs, M., 2018, DCNET, ICE-B, OPTICS, SIGMAP and WINSYS. Callegari, C., van Sinderen, M., Novais, P., Sarigiannidis, P., Battiato, S., de Leon, A. S. S., Lorenz, P., Obaidat, M. S. & Obaidat, M. S. (eds.). SciTePress, p. 470-480 11 p. (ICETE 2018 - Proceedings of the 15th International Joint Conference on e-Business and Telecommunications; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Citation (Scopus)
  • 2007

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

    Josephs, M. B., 2007, 13th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2007. IEEE Computer Society, p. 83-94 12 p. 4137035. (Proceedings - International Symposium on Asynchronous Circuits and Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Citations (Scopus)
  • 2006

    Asynchronous packet-switching for networks-on-chip

    Xu, J., Josephs, M. B. & Sotudeh, R., 2006, Proceedings - Sixth International Conference on Application of Concurrency to System Design, ACSD 2006. p. 201-207 7 p. 1640237. (Proceedings - International Conference on Application of Concurrency to System Design, ACSD).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)
  • 2005

    Controllable delay-insensitive processes and their reflection, interaction and factorisation

    Kapoor, H. K. & Josephs, M. B., 2005, Proceedings - Fifth International Conference on Application of Concurrency to System Design, ACSD 2005. p. 58-67 10 p. 1508130. (Proceedings - International Conference on Application of Concurrency to System Design, ACSD; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)
  • 2004

    Verification and implementation of delay-insensitive processes in restrictive environments

    Kapoor, H. K., Josephs, M. B. & Furey, D. P., 2004, Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004. Kishinesky, M. & Darondeau, P. (eds.). p. 89-98 10 p. (Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)
  • 1998

    Formal derivation of a loadable asynchronous counter

    Josephs, M. B., 1998, Mathematics of Program Construction - 4th International Conference, MPC 1998, Proceedings. Jeuring, J. (ed.). Springer Verlag, p. 234-253 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1422).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)
  • 1996

    Some limitations to speed-independence in asynchronous circuits

    Bush, M. E. & Josephs, M. B., 1996, Proceedings - 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems, ASYNC 1996. Institute of Electrical and Electronics Engineers Inc., p. 104-111 8 p. 494442. (Proceedings - 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems, ASYNC 1996).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Citations (Scopus)
  • 1993

    An overview of D-I algebra

    Josephs, M. B. & Udding, J. T., 1993, Proceedings of the 26th Hawaii International Conference on System Sciences, HICSS 1993. IEEE Computer Society, p. 329-338 10 p. 270632. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    32 Citations (Scopus)
  • 1991

    An algebra for Delay-Insensitive circuits

    Josephs, M. B. & Udding, J. T., 1991, Computer-Aided Verification - 2nd International Conference, CAV 1990, Proceedings. Clarke, E. M. & Kurshan, R. P. (eds.). Springer Verlag, p. 343-352 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 531 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    8 Citations (Scopus)
  • 1990

    Delay-insensitive circuits: An algebraic approach to their design

    Josephs, M. B. & Udding, J. T., 1990, CONCUR 1990 - Theories of Concurrency: Unification and Extension, Proceedings. Klop, J. W., Baeten, J. C. M., Klop, J. W. & Baeten, J. C. M. (eds.). Springer Verlag, p. 342-366 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 458 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    19 Citations (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.