Robin Sharp
- 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
A collaborative approach to botnet protection. / Stevanovic, Matija; Revsbech, Kasper; Pedersen, Jens Myrup; Sharp, Robin; Jensen, Christian D.
In: Multidisciplinary Research and Practice for Information Systems. ed. / Gerald Quirchmayr; Josef Basl; Ilsun You; Lida Xu; Edgar Weippl. Springer Verlag, 2012. p. 624-638 (Lecture Notes in Computer Science, Vol. 7465).Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- Submitted
Attacker Modelling in Ubiquitous Computing Systems. / Papini, Davide; Sharp, Robin (Main supervisor); Jensen, Christian D. (Supervisor).
Kgs. Lyngby : Technical University of Denmark, 2012. 154 p. (IMM-PHD-2012; No. 295).Publication: Research › Ph.d. thesis – Annual report year: 2013
- 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
Improving e-learning by Emotive Feedback. / Sharp, Robin; Gjedde, Lisa.
In: Proceedings of the IADIS International Conference on Interfaces and Human Computer Interaction. 2011.Publication: Research - peer-review › Article in proceedings – Annual report year: 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
- 2010
- Published
CIT-AWARE-09 - En undersøgelse af it-sikkerhed blandt borgerne i Danmark. / Sharp, Robin.
Kgs. Lyngby : DTU Informatics, Building 321, 2010. (IMM-Technical Report-2010-07).Publication: Research › Report – Annual report year: 2010
- 2009
- Published
CC-based Design of Secure Application Systems. / Sharp, Robin.
In: Engineering Secure Software and Systems. ed. / B. De Win; F. Massacci; S. Redwine; N. Zannone. Springer, 2009. p. 111-121 (Lecture Notes in Computer Science; No. 5429).Publication: Research - peer-review › Article in proceedings – Annual report year: 2009