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

214 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

184 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

131 downloads
Fourier-Motzkin method for failure diagnosis in petri net models of discrete event systems
Behzad Bordbar, 23 Jun 2016, 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

121 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

93 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)