Robin Sharp

Search results

• 2020

  What's Cybersecurity all about?

  Sharp, R., 2020, 1. ed. Polyteknisk Boghandel og Forlag. 104 p.

  Research output: Book/Report › Book › Education

  • Child Pornography 100%
  • Widows 100%
  • Patent Research 50%
• 2017

  An Introduction to Malware

  Sharp, R., 2017, 35 p.

  Research output: Book/Report › Compendium/lecture notes

  Open Access

  File

  • Malware 100%
  • Network Security 25%
  • Basic Principle 25%
  3152 Downloads (Pure)
• 2015

  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 proceeding › Book chapter › Research › peer-review
• 2014

  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 proceeding › Article in proceedings › Research › peer-review

  File

  • Mean Value 100%
  • Algorithm 100%
  • System State 100%
  • State Error 100%
  • Individual Probability 100%
  758 Downloads (Pure)
• 2013

  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 proceeding › Book chapter › Research › peer-review

  • Real Estate Sector 100%
  • Stochastics 66%
  • Quantitative 33%
  • Stochastic Property 33%
  • Formal Analysis 33%

• 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 proceeding › Article in proceedings › Research › peer-review

• Optimisation of BPMN Business Models via Model Checking

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

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Model Checking 100%
  • Optimisation 100%
  • Evolutionary Algorithm 33%
  • Simple Algorithm 33%
  • Business Process Redesign 33%

• Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows

  Herbert, L. T. & Sharp, R., 2013, In: Journal of Computing and Information Science in Engineering. 13, 1, p. 011007 9 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • State Probability 100%
  • Business Process Model 100%
• 2012

  A collaborative approach to botnet protection

  Stevanovic, M., Revsbech, K., Pedersen, J. M., Sharp, R. & Jensen, C. D., 2012, In: Lecture Notes in Computer Science. 7465, p. 624-638

  Research output: Contribution to journal › Conference article › Research › peer-review

  • Botnets 100%
  • Botnet Detection 40%
  • Compromised Computer 20%
  • Packet Sniffer 20%
  • Malicious Person 20%

• Quantitative analysis of probabilistic BPMN workflows

  Herbert, L. T. & Sharp, R., 2012, Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Business Process Redesign 100%
  • Annotation 66%
  • Markov Decision Process 66%
  • Algorithms 33%
  • Business Process 33%

• Using Stochastic Model Checking to Provision Complex Business Services

  Herbert, L. T. & Sharp, R., 2012, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE). IEEE, p. 98-105 (I E E E International Symposium on High-Assurance Systems Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Business Process 100%
  • Case Scenario 33%
  • Stochastic Behavior 33%
  • Resource Provisioning 33%
  • Transient Probability 33%
• 2011

  Improving e-learning by Emotive Feedback

  Sharp, R. & Gjedde, L., 2011, Proceedings of the IADIS International Conference on Interfaces and Human Computer Interaction.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  File

  • e-learning 100%
  • Learning Materials 50%
  170 Downloads (Pure)

• Towards quantitative evaluation of stochastic pharmacy workflows

  Herbert, L. T. & Sharp, R., 2011, Proceedings of the 23rd Nordic Workshop Programming Theory.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  File
  164 Downloads (Pure)
• 2010

  CIT-AWARE-09 - En undersøgelse af it-sikkerhed blandt borgerne i Danmark

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

  Research output: Book/Report › Report › Research

  Open Access

  File
  253 Downloads (Pure)
• 2009

  CC-based Design of Secure Application Systems

  Sharp, R., 2009, Engineering Secure Software and Systems. De Win, B., Massacci, F., Redwine, S. & Zannone, N. (eds.). Springer, p. 111-121 (Lecture Notes in Computer Science; No. 5429).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Wind Turbines 100%
  • Systematic Methodology 100%
  • Concrete Design 100%
  • Protection Profile 100%
  • Wind Turbine 100%

• Improving on Tacit Knowledge through a Media-rich Survey

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

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Incorporating User-oriented Security into CC

  Sharp, R., 2009, Proceedings of 10th ICCC.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Inappropriate User 100%
  • Technical Security 100%

• Questions as pathways to learning - implicit learning in a simulated environment

  Gjedde, L. & Sharp, R., 2009, Proceedings of CELDA 2009: Cogntion and Exploratory Learning in a Digital Age. Kinshuk, D. G. (ed.). IADIS, p. 516-519

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Safeguarding the User - Developing a Multimodal Design for Surveying and Raising Internet Safety and Security Awareness

  Gjedde, L., Sharp, R., Andersen, P. & Meldgaard, H., 2009, Research, Reflections and Innovations in Integrating ICT in Education. Méndez-Vilas, A. (ed.). Badajoz, Spain: FORMATEX, Vol. Volume 1. p. 568-571

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Internet 100%
  • Professional Personnel 100%
  • Vocabularies 100%
  • Pilot Study 50%
  • Scientific Methods 50%
• 2008

  Principles of Protocol Design

  Sharp, R., 2008, Springer Verlag. 412 p.

  Research output: Book/Report › Book › Research › peer-review

  • Communication Protocol 100%
  • Distributed Computer Systems 100%
  • Data Communication 100%
  • Sequential Process 100%
• 2007

  An Introduction to Malware

  Sharp, R., 2007

  Research output: Book/Report › Compendium/lecture notes

  Open Access

  File

  • Malware 100%
  • Network Security 25%
  • Basic Principle 25%
  10568 Downloads (Pure)

• Incremental Trust in Grid Computing

  Brinkløv, M. H. & Sharp, R., 2007, Seventh IEEE International Symposium on Cluster Computing and the Grid -- ccGrid07. IEEE, p. 135-144

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

  • Grid Computing 100%
  • Reputation Algorithm 100%
  • Algorithms 100%
  • Simulation Study 50%
  • Distributed Systems 50%
  441 Downloads (Pure)

• Internet Safety and Security Surveys - A Review

  Sharp, R., 2007, Kgs. Lyngby: Informatics and Mathematical Modelling. 61 p. (D T U Compute. Technical Report; No. 2007-21).

  Research output: Book/Report › Report › Research

  Open Access

  File

  • Internet 100%
  • Motivational Factor 20%
  • Internet Security 20%
  • User Awareness 20%
  • Security Survey 20%
  955 Downloads (Pure)

• Timed Traces and Strand Spaces

  Hansen, M. R. & Sharp, R., 2007, Lecture Notes in Computer Science. Springer, Vol. 4649. p. 373-386

  Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

• Trust Management in Open Grid Systems

  Jensen, C. D. & Sharp, R., 2007, NODES 07 - NOrdic workshop and doctoral symposium on DEpendability and Security. Oslo, Norway

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
• 2006

  Designing a Secure Point-of-Sale System

  Sharp, R., Pedersen, A. & Hedegaard, A., 2006, Fourth IEEE International Workshop on Information Assurance (IWIA'06). IEEE Computer Society Press, p. 51-65

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Information Security 100%
  • Common Criterion 100%
  • Security Evaluation 100%
  • Design Process 100%

• Trustsim - A Simulator for Trust Relationships in Grid Systems

  Brinkløv, M. H. & Sharp, R., 2006

  Research output: Non-textual form › Computer programme › Research › peer-review

  File

  • Grid Computing 100%
  • Scale Distributed System 100%
  • Trust Relationship 100%
  160 Downloads (Pure)
• 2005

  Bluetoothsikkerhed

  Sharp, R., 2005

  Research output: Book/Report › Report › Research › peer-review

• Can we avoid misuse of Grid systems?

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

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Regnekraft fra et stik i væggen?

  Sharp, R., 2005

  Research output: Book/Report › Report › Research › peer-review
• 2004

  Timed Traces and Strand Spaces

  Sharp, R. & Hansen, M. R., 2004, Proceedings of the 16th Nordic Workshop on Programming Theory. p. 96-98

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
• 2003

  An Approach to Analyzing Availability Properties of Security Protocols

  Pilegaard, H., Hansen, M. R. & Sharp, R., 2003, In: Nordic Journal of Computing. 10, 4, p. 337-373

  Research output: Contribution to journal › Journal article › Research › peer-review

• Sikkerhed i Gridsystemer

  Sharp, R., 2003.

  Research output: Contribution to conference › Poster › Research

  • Distributed Systems 100%
  • Grid Technology 100%
  • Security Issue 100%

• The Poor Man's Guide to Computer Networks and their Applications

  Sharp, R., 2003

  Research output: Book/Report › Compendium/lecture notes

  Open Access

  File
  276 Downloads (Pure)

• Using Interval Logics for Temporal Analysis of Security Protocols

  Hansen, M. R., Sharp, R. & Backes et a., M. (ed.), 2003, First ACM Workshop on Formal Methods in Security Engineering (FMSE'03). ACM Press, p. 24-31

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
• 2002

  Best-effort Support for a Virtual Seminar Room

  Sharp, R. & Todirica, E. A., 2002, ACM Multimedia '02, Juan les Pins, France.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

  • Hundred Kilometer 100%
  • Support Effort 100%
  • Bandwidth 100%

• The Global Computer

  Sharp, R., 2002, Proceedings of 20th NORDUnet Networking Conference, Copenhagen.. 18 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Business School 100%
  • Computational 100%

• The Global Computer

  Sharp, R., 2002.

  Research output: Contribution to conference › Poster › Research

  • Application Area 100%

• The RTMM Toolbox for DMM Applications

  Sharp, R. & Todirica, E. A., 2002, 2002 IEEE International Conference on Multimedia, ICME2002, Lausanne, Switzerland.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

  • Networking 100%
  • Multimedia Application 100%
  • σ property 100%

• Using Interval Logic and Isabelle/HOL for Analyzing Real-TimeProperties of Security Protocols

  Pilegaard, H., Hansen, M. P., Sharp, R. & Vain et al., J. (ed.), 2002, The 14th Nordic Workshop on Programming Theory, Institute of Cybernetics, Tallinn Technical University. p. 84-86

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Video Conferencing for a Virtual Seminar Room

  Forchhammer, S., Fosgerau, A., Hansen, P. S. K., Sharp, R., Todirica, E. A. & Zsigri, A., 2002, 4th International Conference on Digital Signal Processing and its Applications.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  File

  • Camera Control 100%
  • Beam Forming 100%
  469 Downloads (Pure)
• 2000

  Streams and Sockets in DTU-RTMM

  Sharp, R., Løvengreen, H. H. & Todirica, E. A., 2000, Department of Information Technology, Technical University of Denmark.

  Research output: Book/Report › Report › Research › peer-review
• 1999

  High-Performance Operating Systems

  Sharp, R., 1999, 197 p.

  Research output: Book/Report › Book › Research › peer-review

• PCISIM - A Simulation Tool for PCI Bus Based Systems

  Sharp, R., 1999, 22 p.

  Research output: Book/Report › Report › Research › peer-review

• Virtual Seminar Room

  Forchhammer, S. O., Fosgerau, A., Hansen, P. S. K., Hansen, S. D., Jensen, O. R., Sharp, R. & Sørensen, J. A., 1999, Proceedings of the IEEE 3rd Multimedia Signal. IEEE, p. 581-586

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Design Research 100%
  • Design Consideration 100%

• Virtual seminar room-modelling and experimentation in horizontal and vertical integration

  Forchhammer, S., Fosgerau, A., Hansen, P. S. K., Hansen, S. D., Jensen, O. R., Sharp, R. & Sørensen, J. A., 1999, IEEE 3rd Workshop on Multimedia Signal Processing, 1999. IEEE

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

  • Design Research 100%
  • Design Consideration 100%
  • Service Guarantee 100%
  • Network Environment 100%
  • Human Computer Interfaces 100%
  463 Downloads (Pure)
• 1998

  Infrastruktur til TV/video og telefoni i Folketinget

  Sharp, R., Pedersen, S., Forchhammer, S., Staalhagen, L. & Jensen, O. R., 1998, 56 p.

  Research output: Book/Report › Report › Research › peer-review
• 1997

  The T-Ruby Design System

  Sharp, R. & Rasmussen, O. S., 1997, In: Formal Methods in System Design. 11, 3, p. 239-264

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Systems Design 100%
  • Formal Specification 100%
  • Dimensional Convolution 100%
  • Preserving Transformation 100%
  • VLSI 100%
• 1996

  A Timed Semantics for SDL

  Mørk, S., Godskesen, J. C., Hansen, M. R. & Sharp, R., 1996, Formal Description Techniques IX, Theory, application and tools. London: Chapman & Hall, p. 295-309

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Calculus 100%
  • Formal Semantics 50%
  • Specification Language 50%
  • Temporal Logic 50%
  • Concurrency 50%
• 1995

  The T-Ruby design system

  Sharp, R. & Rasmussen, O., 1995, Proceedings of the ASP-DAC '95/CHDL '95/VLSI '95. IEEE, p. 587-596

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

  • Systems Design 100%
  • Formal Specification 100%
  • Dimensional Convolution 100%
  • Preserving Transformation 100%
  • VLSI 100%
  322 Downloads (Pure)