City Research Online

Items where Schools and Departments is "Software Reliability" and Year is 2015

Up a level
Group by: Authors | Type | No Grouping
Number of items: 11.

Article

Van Delft, B., Hunt, S. & Sands, D. (2015). Very static enforcement of dynamic policies. Lecture Notes in Computer Science, 9036, pp. 32-52. doi: 10.1007/978-3-662-46666-7_3

Book Section

Mantas, G., Komninos, N., Rodriuez, J. , Logota, E. & Marques, H. (2015). Security for 5G Communications. In: Rodriguez, J. (Ed.), Fundamentals of 5G Mobile Networks. (pp. 207-220). John Wiley & Sons, Ltd.. doi: 10.1002/9781118867464.ch9

Conference or Workshop Item

Bishop, P. G. (2015). Modeling the Impact of Testing on Diverse Programs. In: Koornneef, F & van Gulijk, C (Eds.), LNCS Computer Safety, Reliabilty and Security. 34th International Conference, SAFECOMP 2015, 23-09-2015 - 25-09-2015, Delft, The Netherlands. doi: 10.1007/978-3-319-24255-2

Bloomfield, R. E. & Parisaca-Vargas, A. (2015). Using Ontologies to Support Model-based Exploration of the Dependencies between Causes and Consequences of Hazards. Paper presented at the 7th International Conference on Knowledge Engineering and Ontology Development, 12-11-2015 - 14-11-2015, Lisbon, Portugal.

Komninos, N. & Junejo, A. K. (2015). Privacy Preserving Attribute Based Encryption for Multiple Cloud Collaborative Environment. Paper presented at the 1st International Workshop on Cloud Security and Data Privacy by Design (CloudSPD'15), 07-12-2015 - 09-12-2015, Limassol, Cyprus.

Netkachova, K., Müller, K., Paulitsch, M. & Bloomfield, R. E. (2015). Investigation into a Layered Approach to Architecting Security-Informed Safety Cases. In: Digital Avionics Systems Conference (DASC), 2015 IEEE/AIAA 34th. 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 13-09-2015 - 17-09-2015, Prague, Czech Republic. doi: 10.1109/DASC.2015.7311447

Popov, P. T., Salako, K. ORCID: 0000-0003-0394-7833 & Stankovic, V. ORCID: 0000-0002-8740-6526 (2015). Stochastic modeling for performance evaluation of database replication protocols. In: Lecture Notes in Computer Science. doi: 10.1007/978-3-319-22264-6_2

Procopiou, A. & Komninos, N. (2015). Current and Future Threats Framework in Smart Grid Domain. Paper presented at the 5th Annual IEEE International Conference on CYBER Technology in Automation Control and Intelligence Systems, 8-06-2015 - 12-06-2015, Shenyang, China.

Zhao, X., Littlewood, B., Povyakalo, A. A. & Wright, D. (2015). Conservative Claims about the Probability of Perfection of Software-based Systems. Paper presented at the The 26th IEEE International Symposium on Software Reliability Engineering, 02-11-2015 - 05-11-2015, Washington DC, USA.

Software

Popov, P. T. (2015). A SAN model for safety and security analysis of the eMotor, an ASIL-D device

Salako, K. ORCID: 0000-0003-0394-7833, Stankovic, V. ORCID: 0000-0002-8740-6526 & Popov, P. T. (2015). Stochastic model for performance evaluation of database replication protocols

This list was generated on Fri Nov 22 02:25:26 2024 UTC.