Robin Sharp

  1. 2015
  2. In press

    Optimal Sceduling of Stochastic Production Processes Through Model Checking. / Herbert, Luke Thomas; Hansen, Zaza Nadja Lee; Sharp, Robin; Jacobsen, Peter.

    Modelling and Management of Engineering Processes. ed. / Michael Schabacker; Kilian Gericke; Nikoletta Szélig; Sándor Vajna. Springer, 2015. p. 187-202.

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

  3. 2014
  4. Published

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

    Safety, Reliability and Risk Analysis: Beyond the Horizon: Proceedings. ed. / R.D.J.M. Steenbergen; P.H.A.J.M. van Gelder; S. Miraglia; A.C.W.M. Ton Vrouwenvelder. C R C Press LLC, 2014. p. 2229-2236.

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

  5. 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

  6. 2013
  7. Published

    An Introduction to Malware. / Sharp, Robin.

    2013. 35 p.

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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 2012
  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

Previous 1 2 3 4 5 6 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