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

    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

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

  6. 2013
  7. 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

  8. Published

    An Introduction to Malware. / Sharp, Robin.

    2013. 35 p.

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

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

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

  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

    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

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

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

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

  17. 2011
  18. 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

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

  20. 2010
  21. 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

  22. 2009
  23. 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

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

  25. Published

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

    Proceedings of 10th ICCC. 2009.

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

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

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

  28. 2008
  29. Published

    Principles of Protocol Design. / Sharp, Robin.

    Springer Verlag, 2008. 412 p.

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

  30. 2007
  31. Published

    An Introduction to Malware. / Sharp, Robin.

    2007.

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

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

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

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

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

  36. 2006
  37. Published

    Designing a Secure Point-of-Sale System. / Sharp, Robin; Pedersen, Allan; Hedegaard, Anders.

    Fourth IEEE International Workshop on Information Assurance (IWIA'06). IEEE Computer Society Press, 2006. p. 51-65.

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

  38. Published

    Trustsim - A Simulator for Trust Relationships in Grid Systems. / Brinkløv, Michael Hvalsøe (Author); Sharp, Robin (Author).

    2006. Informatics and Mathematical Modelling, Technical University of Denmark, DTU.

    Publication: Research - peer-reviewComputer programme – Annual report year: 2006

  39. 2005
  40. Published

    Bluetoothsikkerhed. / Sharp, Robin.

    2005.

    Publication: Research - peer-reviewReport – Annual report year: 2005

  41. Published

    Can we avoid misuse of Grid systems?. / Sharp, Robin.

    1st Nordic Grid Neighbourhood Conference. Department of Physics, University of Oslo, 2005.

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

  42. Published

    Regnekraft fra et stik i væggen?. / Sharp, Robin.

    2005.

    Publication: Research - peer-reviewReport – Annual report year: 2005

  43. 2004
  44. Published

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

    Proceedings of the 16th Nordic Workshop on Programming Theory. 2004. p. 96-98.

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

  45. 2003
  46. Published

    An Approach to Analyzing Availability Properties of Security Protocols. / Pilegaard, Henrik; Hansen, Michael Reichhardt; Sharp, Robin.

    In: Nordic Journal of Computing, Vol. 10, No. 4, 2003, p. 337-373.

    Publication: Research - peer-reviewJournal article – Annual report year: 2003

  47. Published

    Sikkerhed i Gridsystemer. / Sharp, Robin.

    2003. Poster session presented at IDA-IT meeting on Grid Technology, .

    Publication: ResearchPoster – Annual report year: 2003

  48. Published

    The Poor Man's Guide to Computer Networks and their Applications. / Sharp, Robin.

    2003.

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

  49. Published

    Using Interval Logics for Temporal Analysis of Security Protocols. / Hansen, Michael Reichhardt; Sharp, Robin; Backes et a., Michael (Editor).

    First ACM Workshop on Formal Methods in Security Engineering (FMSE'03). ACM Press, 2003. p. 24-31.

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

  50. 2002
  51. Published

    Best-effort Support for a Virtual Seminar Room. / Sharp, Robin; Todirica, Edward Alexandru.

    ACM Multimedia '02, Juan les Pins, France. 2002.

    Publication: ResearchArticle in proceedings – Annual report year: 2002

  52. Published

    The Global Computer. / Sharp, Robin.

    Proceedings of 20th NORDUnet Networking Conference, Copenhagen.. 2002.

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

  53. Published

    The Global Computer. / Sharp, Robin.

    2002. Poster session presented at IBM meeting on Grid Technology, IBM Danmark, Lundtofte, .

    Publication: ResearchPoster – Annual report year: 2002

  54. Published

    The RTMM Toolbox for DMM Applications. / Sharp, Robin; Todirica, Edward Alexandru.

    2002 IEEE International Conference on Multimedia, ICME2002, Lausanne, Switzerland. 2002.

    Publication: ResearchArticle in proceedings – Annual report year: 2002

  55. Published

    Using Interval Logic and Isabelle/HOL for Analyzing Real-TimeProperties of Security Protocols. / Pilegaard, Henrik; Hansen, Michael Pilegaard; Sharp, Robin; Vain et al., J. (Editor).

    The 14th Nordic Workshop on Programming Theory, Institute of Cybernetics, Tallinn Technical University. 2002. p. 84-86.

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

  56. Published

    Video Conferencing for a Virtual Seminar Room. / Forchhammer, Søren; Fosgerau, A.; Hansen, Peter Søren K.; Sharp, Robin; Todirica, Edward Alexandru; Zsigri, A.

    4th International Conference on Digital Signal Processing and its Applications. 2002.

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

  57. 2000
  58. Published

    Streams and Sockets in DTU-RTMM. / Sharp, Robin; Løvengreen, Hans Henrik; Todirica, Edward Alexandru.

    Department of Information Technology, Technical University of Denmark, 2000.

    Publication: Research - peer-reviewReport – Annual report year: 2000

  59. 1999
  60. Published

    High-Performance Operating Systems. / Sharp, Robin.

    1999. 197 p.

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

  61. Published

    PCISIM - A Simulation Tool for PCI Bus Based Systems. / Sharp, Robin.

    1999. 22 p.

    Publication: Research - peer-reviewReport – Annual report year: 1999

  62. Published

    Virtual Seminar Room. / Forchhammer, Søren Otto; Fosgerau, Anders; Hansen, Peter Søren Kirk; Hansen, Steffen Duus; Jensen, Ole Riis; Sharp, Robin; Sørensen, John Aasted.

    Proceedings of the IEEE 3rd Multimedia Signal. IEEE, 1999. p. 581-586.

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

  63. Published

    Virtual seminar room-modelling and experimentation in horizontal and vertical integration. / Forchhammer, Søren; Fosgerau, Anders; Hansen, Peter Søren Kirk; Hansen, Steffen Duus; Jensen, Ole Riis; Sharp, Robin; Sørensen, John Aasted.

    IEEE 3rd Workshop on Multimedia Signal Processing, 1999. IEEE, 1999.

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

  64. 1998
  65. Published
  66. 1997
  67. Published

    The T-Ruby Design System. / Sharp, Robin; Rasmussen, Ole Steen.

    In: Formal Methods in System Design, Vol. 11, No. 3, 1997, p. 239-264.

    Publication: Research - peer-reviewJournal article – Annual report year: 1997

  68. 1996
  69. Published

    A Timed Semantics for SDL. / Mørk, Simon; Godskesen, Jens Christian; Hansen, Michael Reichhardt; Sharp, Robin.

    Formal Description Techniques IX, Theory, application and tools. London : Chapman & Hall, 1996. p. 295-309.

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

  70. 1995
  71. Published

    The T-Ruby design system. / Sharp, Robin; Rasmussen, Ole.

    Proceedings of the ASP-DAC '95/CHDL '95/VLSI '95. IEEE, 1995. p. 587-596.

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

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