Robin Sharp

According to our database, Robin Sharp authored at least 19 papers between 1984 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Introduction to Cybersecurity - A Multidisciplinary Challenge

Robin Sharp

Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-031-41462-6, 2024

2013

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

Luke Herbert, Robin Sharp

J. Comput. Inf. Sci. Eng., 2013

2012

Using Stochastic Model Checking to Provision Complex Business Services.

Luke Herbert, Robin Sharp

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

A Collaborative Approach to Botnet Protection.

Matija Stevanovic, Kasper Revsbech, Jens Myrup Pedersen, Robin Sharp, Christian Damsgaard Jensen

Proceedings of the Multidisciplinary Research and Practice for Information Systems, 2012

2009

Report: CC-Based Design of Secure Application Systems.

Robin Sharp

Proceedings of the Engineering Secure Software and Systems, 2009

2008

Principles of protocol design.

Robin Sharp

Springer, ISBN: 978-3-540-77540-9, 2008

2007

Timed Traces and Strand Spaces.

Robin Sharp, Michael R. Hansen

Proceedings of the Computer Science, 2007

Incremental Trust in Grid Computing.

Michael Brinklov, Robin Sharp

Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 2007

2006

Designing a Secure Point-of-Sale System.

Allan Pedersen, Anders Hedegaard, Robin Sharp

Proceedings of the 4th IEEE International Workshop on Information Assurance (IWIA 2006), 2006

2003

An Approach to Analyzing Availability Properties of Security Protocols.

Henrik Pilegaard, Michael R. Hansen, Robin Sharp

Nord. J. Comput., 2003

Using interval logics for temporal analysis of security protocols.

Michael R. Hansen, Robin Sharp

Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003

1999

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

Søren Forchhammer, Anders Fosgerau, Peter Søren Kirk Hansen, Steffen Duus Hansen, Ole Riis Jensen, Robin Sharp, John Aasted Sørensen

Proceedings of the Third IEEE Workshop on Multimedia Signal Processing, 1999

1997

The T-Ruby Design System.

Robin Sharp, Ole Rasmussen

Formal Methods Syst. Des., 1997

1996

A Timed Semantics for SDL.

Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

Using a Language of Functions and Relations for VLSI Specification.

Robin Sharp, Ole Rasmussen

Proceedings of the seventh international conference on Functional programming languages and computer architecture, 1995

1993

Transformational Rewriting with Ruby.

Robin Sharp, Ole Rasmussen

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

Rewriting with Constraints in T-Ruby.

Robin Sharp, Ole Rasmussen

Proceedings of the Correct Hardware Design and Verification Methods, 1993

1992

Sequence Semantics of Ruby.

Lars Rossen, Robin Sharp

Proceedings of the Designing Correct Circuits, 1992

1984

Analysis of channel access schemes for high-speed LANs.

Niels Nørup Pedersen, Robin Sharp

Comput. Commun. Rev., 1984