Home > Research > Researchers > Professor Neeraj Suri > Publications

Research

Professor Neeraj Suri

Distinguished Professor in Cyber Security, Distinguished Professor & Chair in Cyber Security

201 - 225 out of 295Page size: 25
RSS feed of this list
Sort by: Type
  1. Conference contribution/Paper
  2. Published

    Efficient TDMA synchronization for distributed embedded systems

    Claesson, V., Lönn, H. & Suri, N., 31/10/2001, Proceedings 20th IEEE Symposium on Reliable Distributed Systems. IEEE, p. 198-201 4 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  3. Published

    On simplifying modular specification and verification of distributed protocols

    Sinha, P. & Suri, N., 22/10/2001, Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering: Special Topic: Impact of Networking. IEEE, p. 173-181 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    An approach for analysing the propagation of data errors in software

    Hiller, M., Jhumka, A., Suri, N. & D.C., Y. (ed.), 1/07/2001, 2001 International Conference on Dependable Systems and Networks. IEEE, p. 161-170 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  5. Published

    Message from the conference chairs

    Torin, J., Suri, N. & D.C., Y. (ed.), 1/07/2001, Proceedings of the 2001 International Conference on Dependable Systems and Networks. ACM, p. xiii-xiv 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  6. Published

    Designing high-performance & reliable superscalar architectures the out of order reliable superscalar (O3RS) approach

    Mendelson, A. & Suri, N., 25/06/2000, Proceeding International Conference on Dependable Systems and Networks. IEEE, p. 473-481 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  7. Published

    Evaluating COTS standards for design of dependable systems

    Walter, C. J., Suri, N. & Monaghan, T., 25/06/2000, Proceeding International Conference on Dependable Systems and Networks.: DSN 2000. IEEE, p. 87-92 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  8. Published

    On the use of formal techniques for analyzing dependable real-time protocols

    Sinha, P. & Suri, N., 1/12/1999, Proceedings 20th IEEE Real-Time Systems Symposium. IEEE, p. 126-135 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  9. Published

    Identification of test cases using a formal approach

    Sinha, P. & Suri, N., 15/06/1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing. IEEE, p. 314-321 8 p. (Proc Annu Int Conf Fault Tolerant Comput).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  10. Published

    A framework for dependability driven software integration

    Suri, N., Ghosh, S. & Marlowe, T., 29/05/1998, Proceedings. 18th International Conference on Distributed Computing Systems. IEEE, p. 406-415 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  11. Published

    On the use of formal techniques for validation

    Suri, N. & Sinha, P., 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing . IEEE, p. 1-10 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  12. Published

    Cache based fault recovery for distributed systems

    Mendelson, A. & Suri, N., 8/09/1997, Proceedings. Third IEEE International Conference on Engineering of Complex Computer Systems. IEEE, p. 119-129 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  13. Published

    Roll-forward recovery: the bidirectional cache approach

    Mendelson, A., Suri, N. & Zimmerman, O., 12/06/1996, Proceedings of IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems. IEEE, p. 59-68 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  14. Published

    Reliability modeling of large fault-tolerant systems

    Suri, N., Hugue, M. M. & Walter, C. J., 1992, Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing. IEEE, p. 212-220 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  15. Published

    BDG-torus union graph-an efficient algorithmically specialized parallel interconnect

    Suri, N., Mendelson, A. & Pradhan, D. K., 2/12/1991, Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing. IEEE, 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  16. Foreword/postscript
  17. Published

    Message from the IC2E 2018 General Chairs

    Hua, K. A., Suri, N., J., L. (ed.), A., C. (ed.), T., G. (ed.) & Y., C. (ed.), 17/04/2018, 2018 IEEE International Conference on Cloud Engineering (IC2E). IEEE, p. xiii 1 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Foreword/postscript

  18. Published

    Foreword from the QASA 2015 chairs

    Aldini, A., Martinelli, F., Suri, N., G., N-A. (ed.), A., A., F., M., N., S. & J., G-A. (ed.), 21/09/2015, Data Privacy Management, and Security Assurance: 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21–22, 2015. Revised Selected Papers. Springer-Verlag, Vol. 9481. 1 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Foreword/postscript

  19. Published

    Foreword from the QASA 2014 program chairs

    Aldini, A., Martinelli, F., Suri, N., J., P. (ed.), N., S., E., L. (ed.), J., H-J. (ed.), J., G-A., F., M. & A., A., 2015, Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance: 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers. Springer-Verlag, Vol. 8872. 1 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Foreword/postscript

  20. Published

    General and program chairs' message

    Malek, M. & Suri, N., 2005, Service Availability: Second International Service Availability Symposium, ISAS 2005. Springer-Verlag, Vol. 3694 LNCS. p. V-VI 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Foreword/postscript

  21. Conference paper
  22. Published

    Replication: 20 Years of Inferring Interdomain Routing Policies

    Kastanakis, S., Giotsas, V., Livadariu, I. & Suri, N., 24/10/2023, p. 16-29. 14 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  23. Published

    Compilation as a Defense: Enhancing DL Model Attack Robustness via Tensor Optimization

    Trawicki, S., Hackett, W., Birch, L., Suri, N. & Garraghan, P., 20/10/2023. 2 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  24. Published

    Model Leeching: An Extraction Attack Targeting LLMs

    Birch, L., Hackett, W., Trawicki, S., Suri, N. & Garraghan, P., 20/10/2023.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  25. Forthcoming

    Federated Meta Learning for Visual Navigation in GPS-denied Urban Airspace

    Yuksek, B., Yu, Z., Suri, N. & Inalhan, G., 22/04/2023, (Accepted/In press).

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  26. Published

    A Reference Architecture for Integrating Safety and Security Applications on Railway Command and Control Systems

    Birkholz, H., Krauß, C., Zhdanova, M., Kuzhiyelil, D., Arul, T., Heinrich, M., Katzenbeisser, S., Suri, N., Vateva-Gurova, T. & Schlehuber, C., 25/06/2018. 4 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  27. Published

    In the Compression Hornet's Nest: A Security Study of Data Compression in Network Services

    Pellegrino, G., Balzarotti, D., Winter, S. & Suri, N., 2015. 16 p.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  28. Published

    Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, Hollywood, CA, USA, October 7, 2012

    Freedman, M. J. (ed.) & Suri, N. (ed.), 2012.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

Previous 1...5 6 7 8 9 10 11 12 Next

Back to top