Luke Thomas Herbert - Publications

All
|Research

1 - 7 out of 7Page size: 10

RSS feed of this list

Sort by: Publication year

2013
Published
Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows. / Herbert, Luke Thomas ; Sharp, Robin.
In: Journal of Computing and Information Science in Engineering, Vol. 13, No. 1, 2013, p. 011007.
Publication: Research - peer-review › Journal article – Annual report year: 2013
Submitted
Specication, Verication and Optimisation of Business Processes : A Comprehensive Framework. / Herbert, Luke Thomas ; Sharp, Robin (Supervisor).
DTU Compute, 2013. 196 p. (Compute PhD; No. 2013-303).
Publication: Research › Ph.d. thesis – Annual report year: 2013
2012
Published
Quantitative analysis of probabilistic BPMN workflows. / Herbert, Luke Thomas ; Sharp, Robin.
In: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2012.
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
Published
Using Stochastic Model Checking to Provision Complex Business Services. / Herbert, Luke Thomas ; Sharp, Robin.
In: 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE). IEEE, 2012. p. 98-105 (I E E E International Symposium on High-Assurance Systems Engineering).
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
2011
Published
Towards quantitative evaluation of stochastic pharmacy workflows. / Herbert, Luke Thomas ; Sharp, Robin.
In: Proceedings of the 23rd Nordic Workshop Programming Theory. 2011.
Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
Published
Using Dafny, an Automatic Program Verifier. / Herbert, Luke Thomas; Leino, K. Rustan M.; Carvalho Quaresma, Jose Nuno.
2011. Paper presented at 8th LASER Summer School on Software Engineering, Elba Island, Italy.
Publication: Research - peer-review › Paper – Annual report year: 2012
2008
Published
From policies to aspects in KLAIM. / Herbert, Luke Thomas ; Egilsson, Einar.
In: Proceedings of The 13. Nordic Workshop on Secure IT Systems: NordSec 2008. 13. ed. Kgs. Lyngby : Technical University of Denmark, 2008. p. 39-53.
Publication: Research - peer-review › Article in proceedings – Annual report year: 2008