No photo of Robin Sharp
  • Richard Petersens Plads, 322, 223

    2800 Kgs. Lyngby

    Denmark

1990 …2017
If you made any changes in Pure these will be visible here soon.

Research Output 1995 2017

An Introduction to Malware

Sharp, R., 2017, 35 p.

Research output: Book/ReportCompendium/lecture notesEducation

Open Access
File

Optimal Sceduling of Stochastic Production Processes Through Model Checking

Herbert, L. T., Hansen, Z. N. L., Sharp, R. & Jacobsen, P., 2015, Modelling and Management of Engineering Processes: Proceedings of the 3rd International Conference 2013. Schabacker, M., Gericke, K., Szélig, N. & Vajna, S. (eds.). Springer, p. 187-202

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Workflow Fault Tree Generation Through Model Checking

Herbert, L. T. & Sharp, R., 2014, Safety, Reliability and Risk Analysis: Beyond the Horizon: Proceedings. Steenbergen, R. D. J. M., van Gelder, P. H. A. J. M., Miraglia, S. & Ton Vrouwenvelder, A. C. W. M. (eds.). CRC Press, p. 2229-2236

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File

Analyzing Properties of Stochastic Business Processes By Model Checking

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

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Optimal sceduling of complex processes through stochastic model checking: An example from the baked goods industry

Herbert, L. T., Hansen, Z. N. L., Sharp, R. & Jacobsen, P., 2013, Proceedings of the 3rd International Conference on Modelling and Management of Engineering Processes.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Projects 1990 2014

Distributed Systems in ATM Networks

Sharp, R., Jul, E., Skou, A. & Sharp, R.

Ukendt

01/01/1995 → …

Project: Research

Transformational Methods in VLSI Design

Sharp, R., Møller, P. S. & Rasmussen, O. S.

01/01/1992 → …

Project: Research

CIT-AWARE: An Investigation of Citizen ICT Safety and Security Awareness

Sharp, R., Gjedde, L., Meldgaard, H. & Andersen, P.

Forskningsrådene - Andre

01/02/200730/06/2009

Project: Research