Behzad Bordbar

(Former)

View graph of relations

Most downloaded publications

A Protocol for Preventing Insider Attacks in Untrusted Infrastructure-as-a-Service Clouds.
Behzad Bordbar, Eike Ritter, 1 Oct 2018, In: IEEE Transactions on Cloud Computing. 6, 4, p. 942-954

Research output: Contribution to journal › Article › peer-review

171 downloads
Automated Conflict Detection Between Medical Care Pathways
Philip Weber, Joao Bosco Ferreira Filho, Behzad Bordbar, Mark Lee, Ian Litchfield & Ruth Palmer, Jul 2018, In: Journal of software: Evolution and Process. 30, 7, 18 p., e1898.

Research output: Contribution to journal › Article › peer-review

134 downloads
Weaving true-concurrent aspects using constraint solvers
Behzad Bordbar, 6 Feb 2017, 16th International Conference on Application of Concurrency to System Design 2016. IEEE Xplore, 10 p. (International Conference on Application of Concurrency to System Design. Proceedings).

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

79 downloads
Fourier-Motzkin method for failure diagnosis in petri net models of discrete event systems
Behzad Bordbar, 23 Jun 2016, (E-pub ahead of print) Proceedings of the 13th International Workshop on Discrete Event Systems (WODES 2016). IEEE Computer Society Press, 6 p.

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

72 downloads
Automated composition of sequence diagrams via alloy
Behzad Bordbar, 2014, MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. Institute of Electrical and Electronics Engineers (IEEE), p. 384-391 8 p.

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

71 downloads

Recent publications

A Protocol for Preventing Insider Attacks in Untrusted Infrastructure-as-a-Service Clouds.
Behzad Bordbar, Eike Ritter, 1 Oct 2018, In: IEEE Transactions on Cloud Computing. 6, 4, p. 942-954

Research output: Contribution to journal › Article › peer-review

Automated Conflict Detection Between Medical Care Pathways
Philip Weber, Joao Bosco Ferreira Filho, Behzad Bordbar, Mark Lee, Ian Litchfield & Ruth Palmer, Jul 2018, In: Journal of software: Evolution and Process. 30, 7, 18 p., e1898.

Research output: Contribution to journal › Article › peer-review

A better understanding of machine learning malware misclassifcation
Tom Chothia & Behzad Bordbar, 1 Jan 2018, Information Systems Security and Privacy - 3rd International Conference, ICISSP 2017, Revised Selected Papers. Mori, P., Furnell, S. & Camp, O. (eds.). Springer Verlag, p. 35-58 24 p. (Communications in Computer and Information Science; vol. 867).

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

View all (94)