Neeraj Suri - Publications & Outputs - Research Portal

Professor Neeraj Suri

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

1 - 296 out of 296Page size: 500

10
25
50
100
500

RSS feed of this list

Sort by: Title

Published
Wireless Sensor Cooperation for a Sustainable Quality of Information
Khelil, A., Reinl, C., Ayari, B., Shaikh, F. K., Szczytowski, P., Ali, A. & Suri, N., 2011, Pervasive Computing and Networking. John Wiley and Sons, p. 71-100 30 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
WiP abstract: A framework on profiling cross-domain noise propagation in control CPS
Tan, F., Liu, L., Winter, S., Wang, Q., Suri, N., Bu, L., Peng, Y., Liu, X. & Peng, X., 14/04/2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). IEEE, p. 224 1 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Why Have Progresses in Real-Time Fault Tolerant Computing Been Slow?
Kim, K. H., Ezhilchelvan, P. D., Kaiser, J., Moser, L. E., Nett, E. & Suri, N., 2004, IEEE Symposium on Reliable Distributed Systems . IEEE
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper
Published
Whetstone: Reliable monitoring of cloud services
Zhang, H., Luna, J., Trapero, R. & Suri, N., 18/06/2018, 2018 IEEE International Conference on Smart Computing (SMARTCOMP). IEEE, p. 115-122 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Using underutilized CPU resources to enhance its reliability
Timor, A., Mendelson, A., Birk, Y. & Suri, N., 1/01/2010, In: IEEE Transactions on Dependable and Secure Computing. 7, 1, p. 94-109 16 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
User-centric security assessment of software configurations: A case study
Ghani, H., Luna Garcia, J., Petkov, I. & Suri, N., 2014, Engineering Secure Software and Systems: 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014, Proceedings. Springer-Verlag, Vol. 8364 LNCS. p. 196-212 17 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Forthcoming
UNICAD: A Unified Approach for Attack Detection, Noise Reduction and Novel Class Identification
Lopez Pellicer, A., Giatgong, K., Li, Y., Suri, N. & Angelov, P., 15/03/2024, (Accepted/In press) 2024 International Joint Conference on Neural Networks (IJCNN). IEEE, 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Understanding the confounding factors of inter-domain routing modeling
Kastanakis, S., Giotsas, V. & Suri, N., 25/10/2022, IMC 2022 - Proceedings of the 2022 ACM Internet Measurement Conference. New York: ACM, p. 758-759 2 p. (Proceedings of the 22nd ACM Internet Measurement Conference).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
TTET: Event-triggered channels on a time-triggered base
Claesson, V. & Suri, N., 14/04/2004, ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age. ACM, p. 39-46 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Trust validation of cloud IaaS: A customer-centric approach
Manzoor, S., Taha, A. & Suri, N., 23/08/2016, 2016 IEEE Trustcom/BigDataSE/ISPA. IEEE, p. 97-104 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Trust & security RTD in the internet of things: Opportunities for international cooperation
Clarke, J., Sharma, A., Suri, N., Castro, R. R. & Lopez, J., 17/08/2012, Proceedings of the First International Conference on Security of Internet of Things. ACM, p. 172-178 7 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
TrEKer: Tracing error propagation in operating system kernels
Coppik, N., Schwahn, O., Winter, S., Suri, N., T.N., N. (ed.), G., R. & M., D. P., 30/10/2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, p. 377-387 11 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
TRCCIT: Tunable reliability with congestion control for information transport in wireless sensor networks
Shaikh, F. K., Khelil, A., Ali, A. & Suri, N., 2010. 9 p.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Trading transport timeliness and reliability for efficiency in wireless sensor networks
Sachidananda, V., Khelil, A., Umap, D., Majuntke, M. & Suri, N., 10/04/2013, 2013 10th IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC). I. B. Tauris, p. 720-727 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis.
Saissi, H., Winter, S., Schwahn, O., Pattabiraman, K. & Suri, N., 25/06/2020, 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, p. 52-63 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Trace Sanitizer: Eliminating the Effects of Non-Determinism of Error Propagation Analysis
Saissi, H., Winter, S., Schwahn, O., Pattabiraman, K. & Suri, N., 23/06/2020, 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Towards Effective Performance Fuzzing
Chen, Y., Bradbury, M. & Suri, N., 26/12/2022, 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, p. 128-129 2 p. (Proceedings - 2022 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2022).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Towards DDoS attack resilient wide area monitoring systems
Demir, K. & Suri, N., 29/08/2017, ARES '17 Proceedings of the 12th International Conference on Availability, Reliability and Security. ACM, 7 p. 99
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Towards benchmarking of P2P technologies from a SCADA systems protection perspective
Khelil, A., Jeckel, S., Germanus, D. & Suri, N., 2010, Mobile Lightweight Wireless Systems: Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers. Springer, Vol. 45 LNICST. p. 400-414 15 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Towards a framework for benchmarking privacy-ABC technologies
Veseli, F., Vateva-Gurova, T., Krontiris, I., Rannenberg, K. & Suri, N., 2014, IFIP Advances in Information and Communication Technology: 29th IFIP TC 11 International Conference, SEC 2014, Marrakech, Morocco, June 2-4, 2014. Proceedings. Springer New York LLC, Vol. 428. p. 197-204 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Towards a framework for assessing the feasibility of side-channel attacks in virtualized environments
Vateva-Gurova, T., Luna, J., Pellegrino, G. & Suri, N., 28/08/2014, 2014 11th International Conference on Security and Cryptography (SECRYPT). IEEE, p. 113-124 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
TOM: Topology oriented maintenance in sparse Wireless Sensor Networks
Szczytowski, P., Khelil, A., Ali, A. & Suri, N., 27/06/2011, 2011 8th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks. IEEE, p. 548-556 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Time-critical fog computing for vehicular networks
Chebaane, A., Khelil, A. & Suri, N., 5/05/2020, Fog Computing: Theory and Practice. Zomaya, A., Abbas, A. & Khan, S. (eds.). London: Wiley, p. 431-458 28 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
ThreatPro: Multi-Layer Threat Analysis in the Cloud
Manzoor, S., Gouglidis, A., Bradbury, M. & Suri, N., 29/09/2022, In: arXiv. abs/2209.14795, 32 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Threat Modeling the Cloud: An Ontology Based Approach
Manzoor, S., Vateva-Gurova, T., Trapero, R. & Suri, N., 30/01/2019, IOSec 2018: Information and Operational Technology Security Systems . Fournaris, A., Lampropoulos, K. & Marin Tordera, E. (eds.). Cham: Springer-Verlag, p. 61-72 12 p. (Lecture Notes in Computer Science; vol. 11398).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Threat modeling and analysis for the cloud ecosystem
Manzoor, S., Zhang, H., Suri, N., J., L., A., C., T., G. & Y., C., 17/04/2018, 2018 IEEE International Conference on Cloud Engineering (IC2E). IEEE, p. 278-281 4 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
The need for a generalized compositional framework
Suri, N., 3/03/2004, 10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings.. IEEE, p. 340 1 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
The influence of geopolitics on polar research – Options for HM Government
Germond, B. & Suri, N., 8/06/2023
Research output: Exhibits, objects and web-based outputs › Blog
Published
The impact of hypervisor scheduling on compromising virtualized environments
Vateva-Gurova, T., Suri, N., Mendelson, A., Atzori, L. (ed.), Jin, X. (ed.), Jarvis, S. (ed.), Liu, L. (ed.), Calvo, R. A. (ed.), Hu, J. (ed.), Min, G. (ed.), Georgalas, N. (ed.) & Wu, Y. (ed.), 26/10/2015, 2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing. IEEE, p. 1910-1917 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
The impact of fault models on software robustness evaluations
Winter, S., Sârbu, C., Suri, N. & Murphy, B., 21/05/2011, Proceedings of the 33rd International Conference on Software Engineering . ACM, p. 51-60 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
The fail-heterogeneous architectural model
Serafini, M. & Suri, N., 10/10/2007, 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007). IEEE, p. 103-113 11 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
The event-triggered and time-triggered medium-access methods
Claesson, V., Ekelin, C. & Suri, N., 16/05/2003, Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003. IEEE, p. 131-134 4 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
The customizable fault/error model for dependable distributed systems
Walter, C. J. & Suri, N., 2/01/2003, In: Theoretical Computer Science. 290, 2, p. 1223-1251 29 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
The complexity of robust atomic storage
Dobre, D., Guerraoui, R., Majuntke, M., Suri, N. & Vukolić, M., 6/06/2011, PODC '11 Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing. ACM, p. 59-68 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Technical implementation and feasibility
Mikkelsen, G. L., Damgård, K., Guldager, H., Jensen, J. L., Luna, J. G., Nielsen, J. D., Paillier, P., Pellegrino, G., Stausholm, M. B., Suri, N. & Zhang, H., 2015, Attribute-Based Credentials for Trust: Identity in the Information Society. Springer International Publishing, p. 255-318 64 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Synchronization Issues in Real Time Systems
Suri, N., Hugue, M. M. & Walter, C. J., 1994, In: Proceedings of the IEEE. 82, 1, p. 41-54 14 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Sustaining property verification of synchronous dependable protocols over implementation
Bokor, P., Serafini, M., Sisak, Á., Pataricza, A. & Suri, N., 14/11/2007, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07). IEEE, p. 169-178 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Susceptibility analysis of structured P2P systems to localized eclipse attacks
Germanus, D., Langenberg, R., Khelil, A. & Suri, N., 8/10/2012, 2012 IEEE 31st Symposium on Reliable Distributed Systems. IEEE, p. 11-20 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Supporting domain-specific state space reductions through local partial-order reduction
Bokor, P., Kinder, J., Serafini, M. & Suri, N., 6/11/2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). IEEE, p. 113-122 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Specifying Autonomous System Behaviour
Sogokon, A., Yuksek, B., Inalhan, G. & Suri, N., 2023, In: CoRR. abs/2302.10087
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
SlowCoach: Mutating Code to Simulate Performance Bugs
Chen, Y., Schwahn, O., Natella, R., Bradbury, M. & Suri, N., 21/12/2022, 33rd IEEE International Symposium on Software Reliability Engineering. New York: IEEE, p. 274-285 12 p. (2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
SLA-Based Service Selection for Multi-Cloud Environments
Taha, A., Manzoor, S., Suri, N., A.M., G. (ed.) & M., L. (ed.), 25/06/2017, 2017 IEEE International Conference on Edge Computing (EDGE). IEEE, p. 65-72 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Similarity-based Deep Neural Network to Detect Imperceptible Adversarial Attacks
Almeida Soares, E., Angelov, P. & Suri, N., 30/01/2023, Proceedings of the 2022 IEEE Symposium Series on Computational Intelligence, SSCI 2022. Ishibuchi, H., Kwoh, C-K., Tan, A-H., Srinivasan, D., Miao, C., Trivedi, A. & Crockett, K. (eds.). IEEE, p. 1028-1035 8 p. (Proceedings of the 2022 IEEE Symposium Series on Computational Intelligence, SSCI 2022).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
SimFI: From single to simultaneous software fault injections
Winter, S., Tretter, M., Sattler, B. & Suri, N., 24/06/2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Sicherheit 2012: Sicherheit, Schutz und Zuverlässigkeit, Beiträge der 6. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 7.-9. März 2012 in Darmstadt
Suri, N. (ed.) & Waidner, M. (ed.), 2012
Research output: Book/Report/Proceedings › Proceedings
Published
Service Availability: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers
Malek, M. (ed.), Nett, E. (ed.) & Suri, N. (ed.), 2005, Springer.
Research output: Book/Report/Proceedings › Proceedings
Published
SeReCP: A secure and reliable communication platform for the smart grid
Demir, K., Suri, N., M., K. (ed.), D.S., K. (ed.) & V., V. (ed.), 22/01/2017, 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, p. 175-184 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
SENTRY: A novel approach for mitigating application layer DDoS threats
Zhang, H., Taha, A., Trapero, R., Luna, J. & Suri, N., 23/08/2016, 2016 IEEE Trustcom/BigDataSE/ISPA. IEEE, p. 465-472 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Security Requirements Engineering in Safety-Critical Railway Signalling Networks.
Heinrich, M., Vateva-Gurova, T., Arul, T., Katzenbeisser, S., Suri, N., Birkholz, H., Fuchs, A., Krauß, C., Zhdanova, M., Kuzhiyelil, D., Tverdyshev, S. & Schlehuber, C., 14/07/2019, In: Security and Communication Networks. 2019, 14 p., 8348925.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Security issues in cloud federations
Rak, M., Ghani, H., Ficco, M., Suri, N., Luna, J., Panica, S. & Petcu, D., 2012, Achieving Federated and Self-Manageable Cloud Infrastructures: Theory and Practice. IGI Global, p. 176-194 19 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Security as a service using an SLA-based approach via SPECS
Rak, M., Suri, N., Luna, J., Petcu, D., Casola, V. & Villano, U., 2/12/2013, 2013 IEEE 5th International Conference on Cloud Computing Technology and Science. IEEE, p. 1-6 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Securing the cloud-assisted smart grid
Demir, K., Ismail, H., Vateva-Gurova, T. & Suri, N., 1/12/2018, In: International Journal of Critical Infrastructure Protection. 23, p. 100-111 12 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
SecLA-based negotiation and brokering of cloud resources
Luna, J., Vateva-Gurova, T., Suri, N., Rak, M. & De Benedictis, A., 2014, Cloud Computing and Services Science: Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers. Springer-Verlag, Vol. 453. p. 1-18 18 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Scrooge: Reducing the costs of fast Byzantine replication in presence of unresponsive replicas
Serafini, M., Bokor, P., Dobre, D., Majuntke, M. & Suri, N., 28/06/2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN). IEEE, p. 353-362 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Sampling and transport co-design in Wireless Sensor Networks
Sachidananda, V., Khelil, A., Noack, D. & Suri, N., 18/03/2013, 2013 10th Annual Conference on Wireless On-demand Network Systems and Services (WONS). IEEE, p. 98-100 3 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Safety verification utilizing model-based development for safety critical cyber-physical systems
Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 15/08/2017, In: Journal of Information Processing Systems. 25, p. 797-810 14 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Run Time Application Repartitioning in Dynamic Mobile Cloud Environments
Yang, L., Cao, J., Tang, S., Han, D. & Suri, N., 1/07/2016, In: IEEE Transactions on Cloud Computing. 4, 3, p. 336-348 13 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
Published
Role-based symmetry reduction of fault-tolerant distributed protocols with language support
Bokor, P., Serafini, M., Suri, N. & Veith, H., 2009, Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Springer, Vol. 5885 LNCS. p. 147-166 20 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Robustness Evaluation of Operating Systems
Johansson, A. & Suri, N., 2008, Information Assurance: The Morgan Kaufmann Series in Networking. Elsevier Inc., p. 349-375 27 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Robust QoS-aware communication in the smart distribution grid
Demir, K., Germanus, D. & Suri, N., 1/01/2017, In: Peer-to-Peer Networking and Applications. 10, 1, p. 193-207 15 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Robust compressive data gathering in wireless sensor networks with linear topology
Mahmudimanesh, M. & Suri, N., 26/05/2014, 2014 IEEE International Conference on Distributed Computing in Sensor Systems. IEEE, p. 179-186 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Robust and real-time communication on heterogeneous networks for smart distribution grid
Demir, K., Germanus, D. & Suri, N., 3/11/2014, 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm). IEEE, p. 386-391 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Response to the Call for evidence: “The UK and the Arctic Environment”
Germond, B. & Suri, N., 25/05/2023
Research output: Other contribution
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
Published
Reordering for better compressibility: Efficient spatial sampling in Wireless Sensor Networks
Mahmudimanesh, M., Khelil, A. & Suri, N., 7/06/2010, 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing. IEEE, p. 50-57 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Reliable Memory Efficient Name Forwarding in Named Data Networking
Saxena, D., Raychoudhury, V., Becker, C. & Suri, N., 24/08/2016, 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES). IEEE, p. 48-55 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Reliable congestion-aware information transport in wireless sensor networks
Shaikh, F. K., Khelil, A., Ali, A. & Suri, N., 1/07/2011, In: International Journal of Communication Networks and Distributed Systems. 7, 1-2, p. 135-152 18 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
Published
Reducing the costs of large-scale BFT replication
Serafini, M. & Suri, N., 15/09/2008, LADIS '08 Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware. ACM, 5 p. 14
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
RAFL: A Robust and Adaptive Federated Meta-Learning Framework Against Adversaries
Yu, Z., Lu, Y. & Suri, N., 1/11/2023, 2023 IEEE 20th International Conference on Mobile Ad Hoc and Smart Systems (MASS). IEEE
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Quick verification of concurrent programs by iteratively relaxed scheduling
Metzler, P., Saissi, H., Bokor, P., Suri, N., T.N., N. (ed.), G., R. (ed.) & M., D. P. (ed.), 30/10/2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, p. 776-781 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Quantitative Reasoning about Cloud Security Using Service Level Agreements
Luna, J., Taha, A., Trapero, R. & Suri, N., 1/07/2017, In: IEEE Transactions on Cloud Computing. 5, 3, p. 457-471 15 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Quantitative assessment of software vulnerabilities based on economic-driven security metrics
Ghani, H., Luna, J. & Suri, N., 23/10/2013, 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS). IEEE, p. 1-8 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Quantitative assessment of Cloud Security Level Agreements: A case study
Luna, J., Ghani, H., Vateva, T. & Suri, N., 2012, Proceedings of the International Conference on Security and Cryptography - Volume 1: SECRYPT, 2012, Rome, Italy. SciTePress, p. 64-73 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Quantifiably Trusting the Cloud: Putting Metrics to Work
Trapero, R., Luna, J. & Suri, N., 1/06/2016, In: IEEE Security and Privacy Magazine. 14, 3, p. 73-77 5 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Quality of information in wireless sensor networks: A survey
Sachidananda, V., Khelil, A. & Suri, N., 2010.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Protection of SCADA communication channels: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Khelil, A., Germanus, D. & Suri, N., 2012, Critical Infrastructure Protection: Information Infrastructure Models, Analysis, and Defense. Springer, Vol. 7130. p. 177-196 20 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Protecting Cloud-Based CIs: Covert Channel Vulnerabilities at the Resource Level
Vateva-Gurova, T., Manzoor, S., Trapero, R., Suri, N., E., M. T., A.P., F. (ed.) & K., L., 30/01/2019, Information and Operational Technology Security Systems: First International Workshop, IOSec 2018, CIPSEC Project, Heraklion, Crete, Greece, September 13, 2018, Revised Selected Papers. Springer-Verlag, Vol. 11398 LNCS. p. 27-38 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11398 LNCS).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
PROPANE: An environment for examining the propagation of errors in software
Hiller, M., Jhumka, A., Suri, N. & P.G., F. (ed.), 22/07/2002, Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis: ISSTA '02. ACM, p. 81-85 5 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Proofs of Writing for Robust Storage
Dobre, D., Karame, G., Li, W., Majuntke, M., Suri, N. & Vukolic, M., 27/05/2019, In: IEEE Transactions on Parallel and Distributed Systems. 30, 11, p. 2547-2566 20 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Profiling the operational behavior of OS device drivers
Sârbu, C., Johansson, A., Suri, N. & Nagappan, N., 1/08/2010, In: Empirical Software Engineering. 15, 4, p. 380-422 43 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
Published
Privacy-preserving Decentralized Federated Learning over Time-varying Communication Graph
Lu, Y., Yu, Z. & Suri, N., 1/10/2022, In: arXiv. abs/2210.00325, 26 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Privacy-preserving Decentralized Federated Learning over Time-varying Communication Graph
Lu, Y., Yu, Z. & Suri, N., 31/08/2023, In: ACM Transactions on Privacy and Security. 26, 3, p. 1-39 39 p., 33.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Privacy-by-design based on quantitative threat modeling
Luna, J., Suri, N. & Krontiris, I., 10/10/2012, 2012 7th International Conference on Risks and Security of Internet and Systems (CRiSIS). IEEE, 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Predictive vulnerability scoring in the context of insufficient information availability
Ghani, H., Luna, J., Khelil, A., Alkadri, N. & Suri, N., 23/10/2013, 2013 International Conference on Risks and Security of Internet and Systems (CRiSIS). IEEE, p. 1-8 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Practical use of formal verification for safety critical cyber-physical systems: A case study
Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 25/08/2014, 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications. IEEE, p. 7-12 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Practical Formal Verification for Model Based Development of Cyber-Physical Systems
Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 24/08/2016, 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES). IEEE, p. 1-8 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Practical aspects of IP take-over mechanisms
Fetzer, C. & Suri, N., 1/10/2003, 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. IEEE, p. 250-254 5 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
PPFM: An Adaptive and Hierarchical Peer-to-Peer Federated Meta-Learning Framework
Yu, Z., Lu, Y., Angelov, P. & Suri, N., 29/03/2023, 2022 18th International Conference on Mobility, Sensing and Networking (MSN). IEEE, p. 502-509 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
PoWerStore: Proofs of writing for efficient and robust storage
Dobre, D., Karame, G., Li, W., Majuntke, M., Suri, N. & Vukolić, M., 4/11/2013, Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security. ACM, p. 285-297 13 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Poster: Multi-Layer Threat Analysis of the Cloud
Manzoor, S., Gouglidis, A., Bradbury, M. & Suri, N., 7/11/2022, p. 3419-3421. 3 p.
Research output: Contribution to conference - Without ISBN/ISSN › Poster › peer-review
Published
Poster: Effectiveness of Moving Target Defense Techniques to Disrupt Attacks in the Cloud
Manzoor, S., Gouglidis, A., Bradbury, M. & Suri, N., 7/11/2022, CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Yin, H. & Stavrou, A. (eds.). New York: ACM, p. 3415-3417 3 p. (Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
PINCH: An Adversarial Extraction Attack Framework for Deep Learning Models.
Hackett, W., Trawicki, S., Yu, Z., Suri, N. & Garraghan, P., 13/09/2022, In: arXiv. abs/2209.06300, 15 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Pinch: An Adversarial Extraction Attack Framework for Deep Learning Models
Hackett, W., Trawicki, S., Yu, Z., Suri, N. & Garraghan, P., 13/09/2022, In: arXiv.
Research output: Contribution to Journal/Magazine › Journal article
Published
PCaaD: Towards automated determination and exploitation of industrial systems
Green, B., Derbyshire, R., Krotofil, M., Knowles, W., Prince, D. & Suri, N., 30/11/2021, In: Computers and Security. 110, 19 p., 102424.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
PBMC: Symbolic slicing for the verification of concurrent programs
Saissi, H., Bokor, P. & Suri, N., 2015, Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Springer-Verlag, Vol. 9364. p. 344-360 17 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
PASS: An Address Space Slicing Framework for P2P Eclipse Attack Mitigation
Germanus, D., Ismail, H. & Suri, N., 28/09/2015, 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS). IEEE, p. 74-83 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
ParTAC: A Partition-Tolerant Atomic Commit protocol for MANETs
Ayari, B., Khelil, A. & Suri, N., 23/05/2010, 2010 Eleventh International Conference on Mobile Data Management. IEEE, p. 135-144 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Panel Summary Statements
Some, R. R., Avizienis, A., Gaisler, J., Ihara, H., Mukherjee, S. & Suri, N., 2004, 10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings.. IEEE, 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper
Published
Panel statement: Why progress in (composite) fault tolerant real-time systems has been slow (-er than expected... & what can we do about it?)
Suri, N., 18/10/2004, Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems, 2004.. IEEE, p. 112-113 2 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
P2P routing table poisoning: A quorum-based sanitizing approach
Ismail, H., Germanus, D. & Suri, N., 1/03/2017, In: Computers and Security. 65, p. 283-299 17 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Online diagnosis and recovery: On the choice and impact of tuning parameters
Serafini, M., Bondavalli, A. & Suri, N., 12/11/2007, In: IEEE Transactions on Dependable and Secure Computing. 4, 4, p. 295-312 18 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
One-step consensus with zero-degradation
Dobre, D. & Suri, N., 25/06/2006, International Conference on Dependable Systems and Networks (DSN'06). IEEE, p. 137-142 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
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
Published
On the time-complexity of robust and amnesic storage
Dobre, D., Majuntke, M. & Suri, N., 2008, Principles of Distributed Systems: 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings. Springer, Vol. 5401 LNCS. p. 197-216 20 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
On the selection of error model(s) for OS robustness evaluation
Johansson, A., Suri, N. & Murphy, B., 25/06/2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07). IEEE, p. 502-511 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On the placement of software mechanisms for detection of data errors
Hiller, M., Jhumka, A. & Suri, N., 23/06/2002, Proceedings International Conference on Dependable Systems and Networks. p. 135-144 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On the limits of the precise specification of component interfaces
Kopetz, H. & Suri, N., 1/10/2003, 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. IEEE, p. 26-27 2 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On the latency efficiency of message-parsimonious asynchronous atomic broadcast
Dobre, D., Ramasamy, H. V. & Suri, N., 12/10/2007, 2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007). IEEE, p. 311-322 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On the impact of injection triggers for OS robustness evaluation
Johansson, A., Suri, N. & Murphy, B., 5/11/2007, The 18th IEEE International Symposium on Software Reliability (ISSRE '07). IEEE, p. 127-136 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On the feasibility of side-channel attacks in a virtualized environment
Vateva-Gurova, T., Luna, J., Pellegrino, G. & Suri, N., 2015, E-Business and Telecommunications: 11th International Joint Conference, ICETE 2014, Vienna, Austria, August 28-30, 2014, Revised Selected Papers. Springer-Verlag, Vol. 554. p. 319-339 21 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms
Piper, T., Winter, S., Suri, N. & Fuhrman, T. E., 7/09/2015, 2015 11th European Dependable Computing Conference (EDCC). IEEE, p. 85-96 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On the detection of side-channel attacks
Vateva-Gurova, T. & Suri, N., 4/12/2018, 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, p. 185-186 2 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On the design of perturbation-resilient atomic commit protocols for mobile transactions
Ayari, B., Khelil, A. & Suri, N., 1/08/2011, In: ACM Transactions on Computer Systems. 29, 3, 7.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
On systematic design of globally consistent executable assertions in embedded software
Jhumka, A., Hiller, M., Claesson, V. & Suri, N., 19/06/2002, Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems. ACM, p. 75-84 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
Published
On modeling the reliability of data transport in wireless sensor networks
Shaikh, F. K., Khelil, A. & Suri, N., 7/02/2007, 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07). IEEE, p. 395-402 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On equivalence partitioning of code paths inside OS kernel components
Sârbu, C., Nagappan, N. & Suri, N., 17/03/2009, 2009 Software Technologies for Future Dependable Distributed Systems. IEEE, p. 17-19 3 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On enhancing the robustness of commercial operating systems
Johansson, A., Sârbu, A., Jhumka, A. & Suri, N., 2005, Service Availability: First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers. Springer, p. 148-159 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
On efficient models for model checking message-passing distributed protocols
Bokor, P., Serafini, M. & Suri, N., 2010, Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Springer, Vol. 6117 LNCS. p. 216-223 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
On dependability driven software and hardware integration
Suri, N., 12/05/2004, Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings.. IEEE, p. 45-49 5 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
On choosing server-or client-side solutions for BFT
Platania, M., Obenshain, D., Tantillo, T., Amir, Y. & Suri, N., 1/05/2016, In: ACM Computing Surveys. 48, 4, 30 p., 61.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Novel efficient techniques for real-time cloud security assessment
Modic, J., Trapero, R., Taha, A., Luna, J., Stopar, M. & Suri, N., 1/09/2016, In: Computers and Security. 62, p. 1-18 18 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
No PAIN, No Gain? The utility of parallel fault injections
Winter, S., Schwahn, O., Natella, R., Suri, N., Cotroneo, D., J., K. (ed.) & U., Z. (ed.), 16/05/2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. IEEE, p. 494-505 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Negotiating and brokering Cloud resources based on Security Level Agreements
Luna, J., Vateva-Gurova, T., Suri, N., Rak, M. & Liccardo, L., 2013, Proceedings of the 3rd International Conference on Cloud Computing and Services Science - Volume 1. SciTePress, p. 533-541 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Named Data Networking: A survey
Saxena, D., Raychoudhury, V., Suri, N., Becker, C. & Cao, J., 28/02/2016, In: Computer Science Review. 19, p. 15-55 41 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
MWM: A map-based world model for wireless sensor networks
Khelil, A., Shaikh, F. K., Ayari, B. & Suri, N., 23/09/2011, Autonomics: 2nd International ICST Conference on Autonomic Computing and Communication Systems. EUDL, 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
MPTCP-H: A DDoS attack resilient transport protocol to secure wide area measurement systems
Demir, K., Nayyer, F. & Suri, N., 1/06/2019, In: International Journal of Critical Infrastructure Protection. 25, p. 84-101 18 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
MPM: Map based Predictive Monitoring for Wireless Sensor Networks
Ali, A., Khelil, A., Shaikh, F. K. & Suri, N., 2010, Autonomic Computing and Communications Systems: Third International ICST Conference, Autonomics 2009, Limassol, Cyprus, September 9-11, 2009, Revised Selected Papers. Springer, Vol. 23 LNICST. p. 79-95 17 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Monitoring path discovery for supporting indirect monitoring of cloud services
Zhang, H., Manzoor, S., Suri, N., J., L., A., C., T., G. & Y., C., 17/04/2018, 2018 IEEE International Conference on Cloud Engineering (IC2E). IEEE, p. 274-277 4 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Monitoring and evaluation of semantic rooms
Gönczy, L., Csertán, G., Urbanics, G., Ghani, H., Khelil, A. & Suri, N., 2012, Collaborative Financial Infrastructure Protection: Tools, Abstractions, and Middleware. Springer Berlin / Heidelberg, p. 99-116 18 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Modular composition of redundancy management protocols in distributed systems: An outlook on simplifying protocol level formal specification & verification
Sinha, P. & Suri, N., 16/04/2001, p. 255-263. 9 p.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Model-based development of distributed embedded real-time systems with the DECOS tool-chain
Herzner, W., Schlick, R., Schlager, M., Leiner, B., Huber, B., Balogh, A., Csertan, G., Leguennec, A., Lesergent, T., Suri, N. & Islam, S., 2007, SAE International, (SAE Techni. Paper.).
Research output: Working paper › Other
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
Published
Mitigating timing error propagation in mixed-criticality automotive systems
Piper, T., Winter, S., Schwahn, O., Bidarahalli, S. & Suri, N., 13/04/2015, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing. IEEE, p. 102-109 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Mitigating eclipse attacks in peer-to-peer networks
Germanus, D., Roos, S., Strufe, T. & Suri, N., 29/10/2014, 2014 IEEE Conference on Communications and Network Security. Springer-Verlag, p. 400-408 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Message from the program committee co-chairs
Cukic, B., Lyu, M. R. & Suri, N., 2005, 24th IEEE Symposium on Reliable Distributed Systems (SRDS'05). IEEE, 1 p. (Proc IEEE Symp Reliab Distrib Syst).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Message from the program chairs
Gill, C., Suri, N. & Hong, Y-S., 2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. IEEE, 1 p. (Proc. Int. Workshop Object Oriented Real Time Dependable Syst. WORDS).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Message from the program chair
Suri, N., 2005, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05). IEEE, 1 p. (Proc. IEEE Int. Symp. High Assur. Syst. Eng.).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
Published
Message from the DCCS program chair
Suri, N., 24/06/2008, 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN). IEEE, p. ii 1 p. (Proc. Int. Conf. Dependable Syst. Networks).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper
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
Published
MemFuzz: Using memory accesses to guide fuzzing
Coppik, N., Schwahn, O. & Suri, N., 24/04/2019, 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST). IEEE, p. 48-58 11 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
MAP-based modeling and design of wireless sensor networks with OMNeT++
Szczytowski, P., Khelil, A. & Suri, N., 13/07/2009, 2009 International Symposium on Performance Evaluation of Computer & Telecommunication Systems. IEEE, p. 162-169 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Map-based design for autonomic wireless sensor networks
Khelil, A., Shaikh, F. K., Szczytowski, P., Ayari, B. & Suri, N., 2009, Autonomic Communication. Tsinghua University Press & Springer-Verlag, p. 309-326 18 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
MAP++: support for map-based WSN modeling and design with OMNeT++.
Szczytowski, P., Khelil, A. & Suri, N., 2009, 2nd International ICST Workshop on OMNeT++. ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Malicious peers eviction for P2P overlays
Ismail, H., Germanus, D. & Suri, N., 17/10/2016, 2016 IEEE Conference on Communications and Network Security (CNS). IEEE, p. 216-224 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Low-latency access to robust amnesic storage
Dobre, D., Majuntke, M. & Suri, N., 15/09/2009, LADIS '08 Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware. ACM, 3 p. 12
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Leveraging the Potential of Cloud Security Service-Level Agreements through Standards
Luna, J., Suri, N., Iorga, M. & Karmel, A., 1/05/2015, In: IEEE Cloud Computing. 2, 3, p. 32-40 9 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Leveraging the next-generation power grid: Data sharing and associated partnerships
Germanus, D., Dionysiou, I., Gjermundrød, H., Khelil, A., Suri, N., Bakken, D. E. & Hauser, C., 11/10/2010, 2010 IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT Europe). IEEE, 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
LEHP: Localized energy hole profiling in wireless sensor networks
Szczytowski, P., Khelil, A. & Suri, N., 22/06/2010, The IEEE symposium on Computers and Communications. IEEE, p. 100-106 7 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants
Chan, A., Winter, S., Saissi, H., Pattabiraman, K. & Suri, N., 13/03/2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, p. 184-195 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Instrumenting AUTOSAR for dependability assessment: A guidance framework
Piper, T., Winter, S., Manns, P. & Suri, N., 25/06/2012, IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012). IEEE, 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Information quality aware co-design of sampling and transport in wireless sensor networks
Sachidananda, V., Khelil, A., Noack, D. & Suri, N., 23/04/2013, 6th Joint IFIP Wireless and Mobile Networking Conference (WMNC). IEEE, 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
InfoLeak: Scheduling-based information leakage
Vateva-Gurova, T., Manzoor, S., Huang, Y. & Suri, N., 11/02/2019, 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, p. 44-53 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Inferring Performance Bug Patterns from Developer Commits
Chen, Y., Winter, S. & Suri, N., 17/07/2019, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering, ISSRE 2019. Wolter, K., Schieferdecker, I., Gallina, B., Cukier, M., Natella, R., Ivaki, N. & Laranjeiro, N. (eds.). IEEE Computer Society Press, p. 70-81 12 p. 8987574. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2019-October).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
INDEXYS, a logical step beyond GENESYS
Eckel, A., Milbredt, P., Al-Ars, Z., Schneele, S., Vermeulen, B., Csertán, G., Scheerer, C., Suri, N., Khelil, A., Fohler, G., Obermaisser, R. & Fidi, C., 2010, Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings. Springer, Vol. 6351 LNCS. p. 431-451 21 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Increasing the resilience of critical SCADA systems using peer-to-peer overlays
Germanus, D., Khelil, A. & Suri, N., 2010, Architecting Critical Systems: First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings. Springer, Vol. 6150 LNCS. p. 161-178 18 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
INcreasing security and protection through infrastructure REsilience: The INSPIRE project
D'Antonio, S., Romano, L., Khelil, A. & Suri, N., 2009, Critical Information Infrastructure Security: Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers. Springer, Vol. 5508 LNCS. p. 109-118 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Increasing security and protection of SCADA systems through infrastructure resilience
D'Antonio, S., Romano, L., Khelil, A. & Suri, N., 2009, In: International Journal of System of Systems Engineering. 1, 4, p. 401-413 13 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
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
Published
Improving robustness testing of COTS OS extensions
Sârbu, C., Johansson, A., Fraikin, F. & Suri, N., 2006, Service Availability: Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers. Springer-Verlag, Vol. 4328 LNCS. p. 120-139 20 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
IEEE Transactions on Dependable an Secure Computing: Editorial
Gligor, V. D., Meadows, C. & Suri, N., 8/02/2008, In: IEEE Transactions on Dependable and Secure Computing. 5, 1, p. 4-5 2 p.
Research output: Contribution to Journal/Magazine › Editorial
Published
Identifying and utilizing dependencies across cloud security services
Taha, A., Metzler, P., Trapero, R., Luna, J. & Suri, N., 30/05/2016, ASIA CCS '16 Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security. ACM, p. 329-340 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
Published
HP: Hybrid paxos for WANs
Dobre, D., Majuntke, M., Serafini, M. & Suri, N., 28/04/2010, 2010 European Dependable Computing Conference. IEEE, p. 117-126 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
How to Fillet a Penguin: Runtime Data Driven Partitioning of Linux Code
Schwahn, O., Winter, S., Coppik, N. & Suri, N., 1/11/2018, In: IEEE Transactions on Dependable and Secure Computing. 15, 6, p. 945-958 14 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Gyro: A Modular Scale-Out Layer for Single-Server DBMSs
Suri, N., 30/03/2020, 2019 38th Symposium on Reliable Distributed Systems (SRDS). Lyon, France, Vol. 2019. p. 71-82 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Guaranteeing Proper-Temporal-Embedding safety rules in wireless CPS: A hybrid formal modeling approach
Tan, F., Wang, Y., Wang, Q., Bu, L., Zheng, R. & Suri, N., 24/06/2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
GRINDER: On Reusability of Fault Injection Tools
Winter, S., Piper, T., Schwahn, O., Natella, R., Suri, N. & Cotroneo, D., 23/05/2015, 2015 IEEE/ACM 10th International Workshop on Automation of Software Test. IEEE, p. 75-79 5 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Gossiping: Adaptive and reliable broadcasting in MANETs
Khelil, A. & Suri, N., 2007, Dependable Computing: Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings. Springer, Vol. 4746 LNCS. p. 123-141 19 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
GMTC: A generalized commit approach for hybrid mobile environments
Ayari, B., Khelil, A. & Suri, N., 1/12/2013, In: IEEE Transactions on Mobile Computing. 12, 12, p. 2399-2411 13 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
gMAP: Efficient construction of global maps for mobility-assisted wireless sensor networks
Khelil, A., Shaikh, F. K., Ali, A. & Suri, N., 2/02/2009, 2009 Sixth International Conference on Wireless On-Demand Network Systems and Services. IEEE, p. 189-196 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Generic information transport for wireless sensor networks
Shaikh, F. K., Khelil, A., Ayari, B., Szczytowski, P. & Suri, N., 7/06/2010, 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing. ACM, p. 27-34 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
Forthcoming
Fuzzy Detectors Against Adversarial Attacks
Li, Y., Angelov, P. & Suri, N., 15/09/2023, (Accepted/In press) IEEE Symposium Series on Computational Intelligence. Mexico, 5 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
FT-PPTC: An efficient and fault-tolerant commit protocol for mobile environments
Ayari, B., Khelil, A. & Suri, N., 2/10/2006, 2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06). IEEE, p. 96-105 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
FTDE: Distributed Fault Tolerance for WSN Data Collection and Compression Schemes
Ali, A., Khelil, A. & Suri, N., 7/01/2016, 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS). IEEE, p. 140-145 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Formally Verified On-Line Diagnosis
Walter, C. J., Lincoln, P. & Suri, N., 1997, In: IEEE Trans. Software Eng.. 23, 11, p. 684-721 38 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Fork-consistent constructions from registers
Majuntke, M., Dobre, D., Cachin, C. & Suri, N., 2011, Principles of Distributed Systems: 15th International Conference, OPODIS 2011, Toulouse, France, December 13-16, 2011. Proceedings. Vol. 7109 LNCS. p. 283-298 16 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Foreword from the QASA 2016 program chairs
Aldini, A., Martinelli, F., Suri, N., G., L. (ed.), A., A. (ed.), V., T. (ed.), F., M. (ed.) & N., S., 2016, Springer.
Research output: Book/Report/Proceedings › Book
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
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
Published
Flashlight: A novel monitoring path identification schema for securing cloud services
Zhang, H., Luna, J., Suri, N. & Trapero, R., 27/08/2018, ARES 2018 Proceedings of the 13th International Conference on Availability, Reliability and Security. ACM, 10 p. 5
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
Published
FastFI: Accelerating software fault injections
Schwahn, O., Coppik, N., Winter, S. & Suri, N., 4/12/2018, 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, p. 193-202 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Fast Kernel Error Propagation Analysis in Virtualized Environments
Coppik, N., Darmstadt, TU. & Suri, N., 24/05/2021, 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, p. 159-170 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Failure Diagnosis for Cluster Systems using Partial Correlations
Chuah, E., Jhumka, A., Alt, S., Evans, R. T. & Suri, N., 22/12/2021, 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom). IEEE, p. 1091-1101 11 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Extracting Safe Thread Schedules from Incomplete Model Checking Results
Metzler, P., Suri, N. & Weissenbacher, G., 2/10/2019, Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings. Springer, p. 153-171 19 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Extracting Safe Thread Schedules from Incomplete Model Checking Results
Metzler, P., Suri, N. & Weissenbacher, G., 31/10/2020, In: International Journal on Software Tools for Technology Transfer. 22, p. 565-581 17 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Exploring the relationship between dimensionality reduction and private data release
Tai, B-C., Li, S-C., Huang, Y., Suri, N. & Wang, P-C., 4/12/2018, 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, p. 25-33 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Exploring delay-aware transactions in heterogeneous mobile environments
Ayari, B., Khelil, A. & Suri, N., 2009, In: Journal of Software. 4, 7, p. 634-643 10 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Execution path profiling for OS device drivers: Viability and methodology
Sârbu, C., Johansson, A. & Suri, N., 2008, Service Availability: 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings. Vol. 5017 LNCS. p. 90-109 20 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Eventually linearizable shared objects
Serafini, M., Dobre, D., Majuntke, M., Bokor, P. & Suri, N., 25/07/2010, PODC '10 Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing. ACM, p. 95-104 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Event pattern discovery on IDS traces of cloud services
Huang, S-Y., Huang, Y. & Suri, N., 3/12/2014, 2014 IEEE Fourth International Conference on Big Data and Cloud Computing. IEEE, p. 25-32 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
Published
Error propagation profiling of operating systems
Johansson, A. & Suri, N., 28/06/2005, 2005 International Conference on Dependable Systems and Networks (DSN'05). IEEE, p. 86-95 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Error models for the representative injection of software defects
Lanzaro, A., Natella, R., Winter, S., Cotroneo, D. & Suri, N., 2015, Software-engineering and management. Assmann, U. (ed.). Gesellschaft für Informatik, p. 118-119 2 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
EPIC: Profiling the propagation and effect of data errors in software
Hiller, M., Jhumka, A. & Suri, N., 1/05/2004, In: IEEE Transactions on Computers. 53, 5, p. 512-530 19 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Enhancing FPGA robustness via generic monitoring IP cores
Biedermann, A., Piper, T., Patzina, L., Patzina, S., Huss, S. A., Schürr, A. & Suri, N., 2011, Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS, 2011, Vilamoura, Algarve, Portugal. SciTePress, p. 379-386 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Forthcoming
Enabling Multi-Layer Threat Analysis in Dynamic Cloud Environments
Manzoor, S., Gouglidis, A., Bradbury, M. & Suri, N., 7/02/2024, (Accepted/In press) In: IEEE Transactions on Cloud Computing.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Efficient verification of program fragments: Eager POR
Metzler, P., Saissi, H., Bokor, P., Hess, R., Suri, N., Artho, C. (ed.), Peled, D. (ed.) & Legay, A. (ed.), 22/09/2016, Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Springer-Verlag, Vol. 9938 LNCS. p. 375-391 17 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Efficient verification of distributed protocols using stateful model checking
Saissi, H., Bokor, P., Muftuoglu, C. A., Suri, N. & Serafini, M., 30/09/2013, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems. IEEE, p. 133-142 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
Published
Efficient robust storage using secret tokens
Dobre, D., Majuntke, M., Serafini, M. & Suri, N., 2009, Stabilization, Safety, and Security of Distributed Systems: 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings. Springer, Vol. 5873 LNCS. p. 269-283 15 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Efficient predictive monitoring of wireless sensor networks
Ali, A., Khelil, A., Shaikh, F. K. & Suri, N., 2012, In: International Journal of Autonomous and Adaptive Communications Systems. 5, 3, p. 233-254 22 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Efficient model checking of fault-tolerant distributed protocols
Bokor, P., Kinder, J., Serafini, M. & Suri, N., 27/06/2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN). IEEE, p. 73-84 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Efficient agile sink selection in wireless sensor networks based on compressed sensing
Mahmudimanesh, M., Naseri, A. & Suri, N., 26/05/2014, 2014 IEEE International Conference on Distributed Computing in Sensor Systems. IEEE, p. 193-200 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Editorial: Special Section on Dependable Real-Time Systems
Suri, N. & Ramamritham, K., 1999, In: IEEE Transactions on Parallel and Distributed Systems. 10, 6, p. 529-532 4 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Domain Generalization and Feature Fusion for Cross-domain Imperceptible Adversarial Attack Detection
Li, Y., Angelov, P. & Suri, N., 2/08/2023, 2023 International Joint Conference on Neural Networks (IJCNN). Gold Coast, Australia: IEEE, 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
DKM: Distributed k-connectivity maintenance in wireless sensor networks
Szczytowski, P., Khelil, A. & Suri, N., 9/01/2012, 2012 9th Annual Conference on Wireless On-Demand Network Systems and Services (WONS). IEEE, p. 83-90 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Distributed Systems Security Knowledge Area: Issue 1.0
Suri, N., 2019, The Cyber Security Body of Knowledge . Lupu, E. (ed.). University of Bristol, 38 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Distributed Systems Security
Suri, N., 1/10/2019, CyBOK Knowledge Base. Lupu, E. (ed.). Bristol: University of Bristol, p. 38
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Detecting and mitigating P2P eclipse attacks
Ismail, H., Germanus, D. & Suri, N., 14/12/2015, 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS). IEEE, p. 224-231 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
Published
Designing efficient fail-safe multitolerant systems
Jhumka, A. & Suri, N., 2005, Formal Techniques for Networked and Distributed Systems - FORTE 2005 . Springer, Vol. 3731 LNCS. p. 428-422 15 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Design of an optimal Bayesian incentive compatible broadcast protocol for ad hoc networks with rational nodes
Suri, N. & Narahari, Y., 2008, In: IEEE Journal on Selected Areas in Communications. 26, 7, p. 1138-1148 11 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Design of a parallel interconnect based on communication pattern considerations.
Suri, N. & Mendelson, A., 2001, In: Parallel Algorithms Appl.. 16, 4, p. 243-271 29 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
DeQAM: A Dependency Based Indirect Monitoring Approach for Cloud Services
Zhang, H., Trapero, R., Luna, J., Suri, N., X., L. & U., B., 25/06/2017, 2017 IEEE International Conference on Services Computing (SCC). IEEE, p. 27-34 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Dependable Embedded Systems Special Day Panel: Issues and Challenges in Dependable Embedded Systems.
Suri, N., Fetzer, C., Abraham, J. A., Poledna, S., Mendelson, A. & Mitra, S., 2008, 2008 Design, Automation and Test in Europe. IEEE, 2 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Dependable and cost-effective architecture for X-by-wire systems with membership middleware
Sakurai, K., Matsubara, M., Serafini, M. & Suri, N., 2008, p. 160-169. 10 p.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Dependability issues in the reuse of standard components in open architectures
Walter, C., Suri, N. & Monaghan, T., 1995, p. 443-453. 11 p.
Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review
Published
Dependability driven integration of mixed criticality SW components
Islam, S., Lindström, R. & Suri, N., 24/04/2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06). IEEE, p. 485-495 11 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Delay-aware mobile transactions
Ayari, B., Khelil, A. & Suri, N., 2008, Software Technologies for Embedded and Ubiquitous Systems: 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings. Springer, Vol. 5287 LNCS. p. 280-291 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Delay tolerant monitoring of mobility-assisted WSN
Khelil, A., Shaikh, F. K., Ali, A., Suri, N. & Reinl, C., 2016, Delay Tolerant Networks: Protocols and Applications. Vasilakos, A. V. (ed.). CRC Press, p. 189-221 33 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Decentralized Runtime Monitoring Approach Relying on the Ethereum Blockchain Infrastructure
Taha, A., Zakaria, A., Kim, D. & Suri, N., 19/05/2020, 2020 IEEE International Conference on Cloud Engineering (IC2E). IEEE, p. 134-143 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Data-based agreement for inter-vehicle coordination
Ayari, B., Khelil, A., Saffar, K. & Suri, N., 23/05/2010, 2010 Eleventh International Conference on Mobile Data Management. IEEE, p. 279-280 2 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
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
Garcia-Alfaro, J. (ed.), Herrera-Joancomartí, J. (ed.), Lupu, E. (ed.), Posegga, J. (ed.), Aldini, A. (ed.), Martinelli, F. (ed.) & Suri, N. (ed.), 2015, Springer. 343 p. (Lecture Notes in Computer Science)
Research output: Book/Report/Proceedings › Book
Published
Data Privacy Management and Security Assurance: 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
Livraga, G. (ed.), Torra, V. (ed.), Aldini, A. (ed.), Martinelli, F. (ed.) & Suri, N. (ed.), 2016, Springer.
Research output: Book/Report/Proceedings › Proceedings
Published
Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS.
Tan, F., Liu, L., Winter, S., Wang, Q., Suri, N., Bu, L., Peng, Y., Liu, X. & Peng, X., 1/01/2019, In: TCPS. 3, 1, 25 p., 2.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Coral: Reliable and low-latency P2P convergecast for critical sensor data collection
Germanus, D., Khelil, A., Schwandke, J. & Suri, N., 21/10/2013, 2013 IEEE International Conference on Smart Grid Communications (SmartGridComm). IEEE, p. 300-305 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Compressive sensing for wireless sensor networks
Mahmudimanesh, M., Khelil, A. & Suri, N., 2012, Intelligent Sensor Networks: The Integration of Sensor Networks, Signal Processing and Machine Learning. CRC Press, p. 379-396 18 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Compositional design of RT systems: A conceptual basis for specification of linking interfaces
Kopetz, H. & Suri, N., 16/05/2003, Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.. IEEE, p. 51-60 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Component-based synthesis of dependable embedded software
Jhumka, A., Hiller, M. & Suri, N., 2002, Formal Techniques in Real-Time and Fault-Tolerant Systems. Springer-Verlag, Vol. 2469. p. 111-128 18 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
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
Published
C'MON: Monitoring the compliance of cloud services to contracted properties
Alboghdady, S., Winter, S., Taha, A., Zhang, H. & Suri, N., 29/08/2017, ARES '17 Proceedings of the 12th International Conference on Availability, Reliability and Security. ACM, p. 6 36
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Cloud Security Requirement Based Threat Analysis
Taha, A., Lawall, A. & Suri, N., 23/03/2023, 2023 International Conference on Computing, Networking and Communications, ICNC 2023. Institute of Electrical and Electronics Engineers Inc., p. 506-510 5 p. (2023 International Conference on Computing, Networking and Communications, ICNC 2023).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
CIPSEC-enhancing critical infrastructure protection with innovative security framework
Álvarez, A., Trapero, R., Guilhot, D., García-Mila, I., Hernandez, F., Marín-Tordera, E., Forne, J., Masip-Bruin, X., Suri, N., Heinrich, M., Katzenbeisser, S., Athanatos, M., Ioannidis, S., Kallipolitis, L., Spais, I., Fournaris, A. & Lampropoulos, K., 30/06/2019, Challenges in Cybersecurity and Privacy: the European Research Landscape. River Publishers, p. 129-148 20 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Challenges in Identifying Network Attacks Using Netflow Data
Chuah, E., Suri, N., Jhumka, A. & Alt, S., 31/01/2022, 2021 IEEE 20th International Symposium on Network Computing and Applications (NCA). IEEE
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Challenges and approaches in securing safety-relevant railway signalling
Schlehuber, C., Heinrich, M., Vateva-Gurova, T., Katzenbeisser, S. & Suri, N., 26/04/2017, 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). IEEE, p. 139-145 7 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
Published
Building a long term strategy for international collaboration in trustworthy ICT: Security, privacy and trust in global networks and services
Clarke, J., Suri, N., Riguidel, M. & Pasic, A., 6/07/2011, 2011 First SysSec Workshop. IEEE, p. 90-93 4 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Broadcast in ad hoc wireless networks with selfish nodes: A Bayesian incentive compatibility approach
Suri, N. & Narahari, Y., 7/01/2007, 2007 2nd International Conference on Communication Systems Software and Middleware. IEEE, 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Brief announcement: MP-state: State-aware software model checking of message-passing systems
Muftuoglu, C. A., Bokor, P. & Suri, N., 2012, Stabilization, Safety, and Security of Distributed Systems: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings. Vol. 7596 LNCS. p. 183-186 4 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction
Bokor, P., Serafini, M., Suri, N. & Veith, H., 2009, Distributed Computing: 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings. Springer, p. 289-290 2 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
Benchmarking cloud security level agreements using quantitative policy trees
Luna, J., Langenberg, R. & Suri, N., 19/10/2012, Proceedings of the 2012 ACM Workshop on Cloud computing security workshop. ACM, p. 103-112 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
Published
Balanced spatio-temporal compressive sensing for multi-hop wireless sensor networks
Mahmudimanesh, M., Khelil, A. & Suri, N., 8/10/2012, 2012 IEEE 9th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS 2012). IEEE, p. 389-397 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Auction based models for ticket allocation problem in IT service delivery industry
Deshpande, P. M., Garg, D. & Suri, N., 7/07/2008, 2008 IEEE International Conference on Services Computing. IEEE, p. 111-118 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
AttackDive: Diving Deep into the Cloud Ecosystem to Explore Attack Surfaces
Manzoor, S., Luna, J., Suri, N., X., L. (ed.) & U., B. (ed.), 25/06/2017, 2017 IEEE International Conference on Services Computing (SCC). IEEE, p. 499-502 4 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Assessing the state and improving the art of parallel testing for C
Schwahn, O., Coppik, N., Winter, S. & Suri, N., 15/07/2019, ISSTA 2019 Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM, p. 123-133 11 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Assessing the security of internet-connected critical infrastructures
Ghani, H., Khelil, A., Suri, N., Csertán, G., Gönczy, L., Urbanics, G. & Clarke, J., 1/12/2014, In: Security and Communication Networks. 7, 12, p. 2713-2725 13 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Assessing the comparative effectiveness of map construction protocols in wireless sensor networks
Khelil, A., Chang, H. & Suri, N., 17/11/2011, 30th IEEE International Performance Computing and Communications Conference. IEEE, 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Assessing privacy capabilities of cloud service providers
Del Alamo, J. M., Trapero, R., Martin, Y. S., Yelmo, J. C. & Suri, N., 1/11/2015, In: IEEE Latin America Transactions. 13, 11, p. 3634-3641 8 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Assessing inter-modular error propagation in distributed software
Jhumka, A., Hiller, M. & Suri, N., 31/10/2001, Proceedings 20th IEEE Symposium on Reliable Distributed Systems. IEEE, p. 152-161 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
ASample: Adaptive spatial sampling in Wireless Sensor Networks
Szczytowski, P., Khelil, A. & Suri, N., 7/06/2010, 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing. IEEE, p. 35-42 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
AReIT: Adaptive Reliable Information Transport Protocol for Wireless Sensor Networks
Shaikh, F. K., Khelil, A. & Suri, N., 2009, Proceedings of the 2009 International Conference on Wireless Networks, ICWN 2009. CSREA Press, p. 75-81 7 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Application-level diagnostic and membership protocols for generic time-triggered systems
Serafini, M., Bokor, P., Suri, N., Vinter, J., Ademaj, A., Brandstätter, W., Tagliabo, F. & Koch, J., 1/03/2011, In: IEEE Transactions on Dependable and Secure Computing. 8, 2, p. 177-193 17 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Analyzing the Impact of Data Errors in Safety-Critical Control Systems
Askerdal, Ö., Gäfvert, M., Hiller, M. & Suri, N., 2003, In: IEICE Transactions on Information and Systems. E86-D, 12, p. 2623-2633 11 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Analyzing the Effects of Bugs on Software Interfaces
Natella, R., Winter, S., Cotroneo, D. & Suri, N., 1/03/2020, In: IEEE Transactions on Software Engineering. 46, 3, p. 280-301 23 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Analyzing and improving customer-side cloud security certifiability
Zhao, S., Chen, Y., Winter, S. & Suri, N., 1/10/2019, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019. p. 300-307 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
An optimization based design for integrated dependable real-time embedded systems
Islam, S., Suri, N., Balogh, A., Csertán, G. & Pataricza, A., 2009, In: Design Automation for Embedded Systems. 13, 4, p. 245-285 41 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
An empirical study of injected versus actual interface errors
Lanzaro, A., Natella, R., Winter, S., Cotroneo, D. & Suri, N., 21/07/2014, Proceedings of the 2014 International Symposium on Software Testing and Analysis. ACM, p. 397-408 12 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
An efficient TDMA start-up and restart synchronization approach for distributed embedded systems
Claesson, V., Lönn, H. & Suri, N., 13/09/2004, In: IEEE Transactions on Parallel and Distributed Systems. 15, 8, p. 725-739 15 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
An efficient pricing based protocol for broadcasting in wireless ad hoc networks
Suri, N., Narahari, Y. & Manjunath, D., 8/01/2006, 2006 1st International Conference on Communication Systems Software & Middleware. IEEE, 7 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
An auction algorithm for procuring wireless channel in a heterogenous wireless network
Suri, N. & Narahari, Y., 11/04/2006, 2006 IFIP International Conference on Wireless and Optical Communications Networks. IEEE, 5 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
An approach to synthesise safe systems
Jhumka, A., Freiling, F., Fetzer, C. & Suri, N., 2006, In: International Journal of Security and Networks. 1, 1-2, p. 62-74 13 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
An approach to specify and test component-based dependable software
Jhumka, A., Hiller, M. & Suri, N., 23/10/2002, 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings.. IEEE, p. 211-220 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
An approach for designing and assessing detectors for dependable component-based systems
Jhumka, A., Hiller, M. & Suri, N., 25/03/2004, Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. IEEE, Vol. 8. p. 69-78 10 p. (Proc. IEEE Int. Symp. High Assur. Syst. Eng.).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
Published
An adaptive and composite spatio-temporal data compression approach for wireless sensor networks
Ali, A., Khelil, A., Szczytowski, P. & Suri, N., 31/10/2011, Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems. ACM, p. 67-76 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Aiding modular design and verification of safety-critical time-triggered systems by use of executable formal specifications
Sakurai, K., Bokor, P. & Suri, N., 3/12/2008, 2008 11th IEEE High Assurance Systems Engineering Symposium. IEEE, p. 261-270 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
AHP-based quantitative approach for assessing and comparing cloud security
Taha, A., Trapero, R., Luna, J. & Suri, N., 24/09/2014, 2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications. IEEE, p. 284-291 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Agile sink selection in wireless sensor networks
Mahmudimanesh, M. & Suri, N., 30/06/2014, 2014 Eleventh Annual IEEE International Conference on Sensing, Communication, and Networking (SECON). IEEE, p. 390-398 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
Adaptive hybrid compression for wireless sensor networks
Ali, A., Khelil, A., Suri, N. & Mahmudimanesh, M., 1/12/2015, In: ACM Transactions on Sensor Networks. 11, 4, 36 p., 53.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
Abortable fork-linearizable storage
Majuntke, M., Dobre, D., Serafini, M. & Suri, N., 2009, Principles of Distributed Systems: 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings. Springer, Vol. 5923 LNCS. p. 255-269 15 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
A tunable add-on diagnostic protocol for time-triggered systems
Serafini, M., Suri, N., Vinter, J., Ademaj, A., Brandstätter, W., Tagliabò, F. & Koch, J., 25/06/2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07). IEEE, p. 164-173 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A Survey of Log-Correlation Tools for Failure Diagnosis and Prediction in Cluster Systems
Chuah, E., Jhumka, A., Malek, M. & Suri, N., 29/12/2022, In: IEEE Access. 10, p. 133487-133503 17 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
A software integration approach for designing and assessing dependable embedded systems
Suri, N., Jhumka, A., Hiller, M., Pataricza, A., Islam, S. & Sârbu, C., 1/10/2010, In: Journal of Systems and Software. 83, 10, p. 1780-1800 21 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
A security metrics framework for the Cloud
Luna, J., Ghani, H., Germanus, D. & Suri, N., 18/07/2011, Proceedings of the International Conference on Security and Cryptography 2011. IEEE, p. 245-250 6 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A security architecture for railway signalling
Schlehuber, C., Heinrich, M., Vateva-Gurova, T., Katzenbeisser, S., Suri, N., Bitsch, F. (ed.), Tonetta, S. (ed.) & Schoitsch, E. (ed.), 17/08/2017, Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. Springer-Verlag, Vol. 10488 LNCS. p. 320-328 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
Published
A pre-injection analysis for identifying fault-injection tests for protocol validation
Suri, N. & Sinha, P., 2010, In: Journal of Software. 5, 10, p. 1144-1161 18 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
A novel approach to manage cloud security SLA incidents
Trapero, R., Modic, J., Stopar, M., Taha, A. & Suri, N., 1/07/2017, In: Future Generation Computer Systems. 72, p. 193-205 13 p.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
A multi variable optimization approach for the design of integrated dependable real-time embedded systems
Islam, S. & Suri, N., 2007, Embedded and Ubiquitous Computing: International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings. Springer, Vol. 4808 LNCS. p. 517-530 14 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking
Tan, F., Wang, Y., Wang, Q., Bu, L. & Suri, N., 1/10/2015, In: IEEE Transactions on Parallel and Distributed Systems. 26, 10, p. 2630-2642 13 p., 6898840.
Research output: Contribution to Journal/Magazine › Journal article › peer-review
Published
A framework for the design and validation of efficient fail-safe fault-tolerant programs
Jhumka, A., Suri, N. & Hiller, M., 2003, Software and Compilers for Embedded Systems . Springer-Verlag, Vol. 2826. p. 182-197 16 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Published
A Framework for Ranking Cloud Security Services
Taha, A., Trapero, R., Luna, J., Suri, N., X., L. (ed.) & U., B. (ed.), 25/06/2017, 2017 IEEE International Conference on Services Computing (SCC). IEEE, p. 322-329 8 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
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
Published
A Detection Mechanism for Internal Attacks on Pull-Based P2P Streaming Systems
Ismail, H., Roos, S. & Suri, N., 12/06/2018, 2018 IEEE 19th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM). IEEE, p. 1-7 7 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A control theory approach for analyzing the effects of data errors in safety-critical control systems
Askerdal, O., Gäfvert, M., Hiller, M. & Suri, N., 16/12/2002, Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings. IEEE, p. 105-114 10 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A Composite Malicious Peer Eviction Mechanism for Super-P2P Systems
Ismail, H., Roos, S. & Suri, N., 1/08/2018, 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE). IEEE, p. 456-464 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Published
A comparative study of data transport protocols in wireless sensor networks
Shaikh, F. K., Khelil, A. & Suri, N., 23/06/2008, 2008 International Symposium on a World of Wireless, Mobile and Multimedia Networks. IEEE, 9 p.
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review