Author

Robin Sharp

Observed name: Sharp, Robin

Institution: Technical University of Denmark

Observed institution: Technical University of Denmark

ORCID: 0000-0002-8593-267X

Observed ORCID: 0000-0002-8593-267X

OpenAlex ID: A5103769770

Principles of Protocol Design

2008 · Robin Sharp · Springer eBooks · 37

Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows

2013 · Luke Herbert, Robin Sharp · Journal of Computing and Information Science in Engineering · 25

The T-Ruby Design System

1997 · Robin Sharp, Ole Rasmussen · Formal Methods in System Design · 23

A Timed Semantics for SDL

1996 · Simon Mørk, Jens C. Godskesen, et al. · IFIP advances in information and communication technology · 16

Using Stochastic Model Checking to Provision Complex Business Services

2012 · Luke Herbert, Robin Sharp · IEEE International Symposium on High Assurance Systems Engineering (HASE) · 14

Quantitative Analysis of Probabilistic BPMN Workflows

2012 · Luke T. Herbert, Robin Sharp · ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference (IDETC/CIE) · 14

An Introduction to Malware

2007 · Robin Sharp · 14

Transformational Rewriting with Ruby

1993 · Robin Sharp, Ole Rasmussen · Elsevier eBooks · 14

A Collaborative Approach to Botnet Protection

2012 · Matija Stevanovic, Kasper Revsbech, et al. · Lecture notes in computer science · 13

Incremental Trust in Grid Computing

2007 · Michael Brinklov, Robin Sharp · IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid) · 12

Optimisation of BPMN Business Models via Model Checking

2013 · Luke T. Herbert, Robin Sharp · ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference (IDETC/CIE) · 10

Using interval logics for temporal analysis of security protocols

2003 · Michael R. Hansen, Robin Sharp · Formal Methods in Security Engineering · 10

Using a language of functions and relations for VLSI specification

1995 · Robin Sharp, Ole Rasmussen · International Conference on Functional Programming Languages and Computer Architecture (FPCA) · 9

Communication Networks

2023 · Robin Sharp · Undergraduate topics in computer science · 6

Timed Traces and Strand Spaces

2007 · Robin Sharp, Michael R. Hansen · Lecture notes in computer science · 5

An approach to analyzing availability properties of security protocols

2003 · Henrik Pilegaard, Michael R. Hansen, et al. · Nordic journal of computing · 5

Analysis of channel access schemes for high-speed LANs

1984 · Niels Nørup Pedersen, Robin Sharp · ACM SIGCOMM Computer Communication Review · 4