Robin Sharp

  1. 2014
  2. Accepted

    Automated evolutionary restructuring of workflows to minimise errors via stochastic model checking. / Herbert, Luke Thomas; Hansen, Zaza Nadja Lee; Sharp, Robin; Jacobsen, Peter.

    Proceedings of Probabilistic Safety Assessment and Management conference (PSAM12). 2014.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2014

  3. Published

    Specification, Verification and Optimisation of Business Processes : A Unified Framework. / Herbert, Luke Thomas; Sharp, Robin (Main supervisor); Hansen, Michael Reichhardt (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2014. 285 p. (DTU Compute PHD-2014; No. 303).

    Publication: ResearchPh.D. thesis – Annual report year: 2014

  4. 2013
  5. Published

    Analyzing Properties of Stochastic Business Processes By Model Checking. / Herbert, Luke Thomas; Sharp, Robin.

    Model Checking Business Processes. American Society of Mechanical Engineers, 2013. p. 3-40 (Advances in Computational Sciences and Information in Engineering (ACIER)).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2013

  6. Published

    Optimal sceduling of complex processes through stochastic model checking: An example from the baked goods industry. / Herbert, Luke Thomas; Hansen, Zaza Nadja Lee; Sharp, Robin; Jacobsen, Peter.

    Proceedings of the 3rd International Conference on Modelling and Management of Engineering Processes. 2013.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  7. Published

    Optimisation of BPMN Business Models via Model Checking. / Herbert, Luke Thomas; Sharp, Robin.

    Proceedings of the ASME 2013 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference (IDETC/CIE 2013). American Society of Mechanical Engineers, 2013. p. DETC2013-13047.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2013

  8. 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-reviewJournal article – Annual report year: 2013

  9. Published

    Workflow Fault Tree Generation Through Model Checking. / Herbert, Luke Thomas; Sharp, Robin.

    2013. Paper presented at 22nd ESREL conference, Amsterdam, Netherlands.

    Publication: Research - peer-reviewPaper – Annual report year: 2013

  10. 2012
  11. Published

    A collaborative approach to botnet protection. / Stevanovic, Matija; Revsbech, Kasper; Pedersen, Jens Myrup; Sharp, Robin; Jensen, Christian D.

    In: Lecture Notes in Computer Science, Vol. 7465, 2012, p. 624-638.

    Publication: Research - peer-reviewConference article – Annual report year: 2012

  12. Published

    Attacker Modelling in Ubiquitous Computing Systems. / Papini, Davide; Sharp, Robin (Main supervisor); Jensen, Christian D. (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2012. 182 p. (IMM-PHD-2012; No. 295).

    Publication: ResearchPh.D. thesis – Annual report year: 2014

  13. Published

    Quantitative analysis of probabilistic BPMN workflows. / Herbert, Luke Thomas; Sharp, Robin.

    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-reviewArticle in proceedings – Annual report year: 2012

  14. Published

    Using Stochastic Model Checking to Provision Complex Business Services. / Herbert, Luke Thomas; Sharp, Robin.

    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-reviewArticle in proceedings – Annual report year: 2012

  15. 2011
  16. Published

    Improving e-learning by Emotive Feedback. / Sharp, Robin; Gjedde, Lisa.

    Proceedings of the IADIS International Conference on Interfaces and Human Computer Interaction. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  17. Published

    Towards quantitative evaluation of stochastic pharmacy workflows. / Herbert, Luke Thomas; Sharp, Robin.

    Proceedings of the 23rd Nordic Workshop Programming Theory. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  18. 2010
  19. Published

    CIT-AWARE-09 - En undersøgelse af it-sikkerhed blandt borgerne i Danmark. / Sharp, Robin.

    Kgs. Lyngby : Technical University of Denmark, DTU Informatics, Building 321, 2010. (IMM-Technical Report-2010-07).

    Publication: ResearchReport – Annual report year: 2010

  20. 2009
  21. Published

    CC-based Design of Secure Application Systems. / Sharp, Robin.

    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-reviewArticle in proceedings – Annual report year: 2009

  22. Published

    Improving on Tacit Knowledge through a Media-rich Survey. / Sharp, Robin; Gjedde, Lisa.

    Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare, & Higher Education. Chesapeake, Va. : AACE, 2009. p. 1962-1965.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  23. Published

    Incorporating User-oriented Security into CC. / Sharp, Robin.

    Proceedings of 10th ICCC. 2009.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  24. Published

    Questions as pathways to learning - implicit learning in a simulated environment. / Gjedde, Lisa; Sharp, Robin.

    Proceedings of CELDA 2009: Cogntion and Exploratory Learning in a Digital Age. ed. / D. G. Kinshuk. IADIS, 2009. p. 516-519.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  25. Published

    Safeguarding the User - Developing a Multimodal Design for Surveying and Raising Internet Safety and Security Awareness. / Gjedde, Lisa; Sharp, Robin; Andersen, Preben; Meldgaard, Helle.

    Research, Reflections and Innovations in Integrating ICT in Education. ed. / A. Méndez-Vilas. Vol. Volume 1 Badajoz, Spain : FORMATEX, 2009. p. 568-571.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  26. 2008
  27. Published

    Principles of Protocol Design. / Sharp, Robin.

    Springer Verlag, 2008. 412 p.

    Publication: Research - peer-reviewBook – Annual report year: 2008

  28. 2007
  29. Published

    An Introduction to Malware. / Sharp, Robin.

    2007.

    Publication: EducationCompendium/lecture notes – Annual report year: 2007

  30. Published

    Incremental Trust in Grid Computing. / Brinkløv, Michael Hvalsøe; Sharp, Robin.

    Seventh IEEE International Symposium on Cluster Computing and the Grid -- ccGrid07. IEEE, 2007. p. 135-144.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

  31. Published

    Internet Safety and Security Surveys - A Review. / Sharp, Robin.

    Kgs. Lyngby : Informatics and Mathematical Modelling, 2007. 61 p. (IMM-Technical Report; No. 2007-21).

    Publication: ResearchReport – Annual report year: 2007

  32. Published

    Timed Traces and Strand Spaces. / Hansen, Michael Reichhardt; Sharp, Robin.

    Lecture Notes in Computer Science. Vol. 4649 Springer, 2007. p. 373-386.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2007

  33. Published

    Trust Management in Open Grid Systems. / Jensen, Christian D.; Sharp, Robin.

    NODES 07 - NOrdic workshop and doctoral symposium on DEpendability and Security. Oslo, Norway, 2007.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2007

Previous 1 2 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word