Robin Sharp

Publication Activity (10 Years)

Years Active: 1984-2013
Publications (10 Years): 0

Top Topics

Workflow Engine

Geographically Dispersed

Business Process

Temporal Properties

Top Venues

J. Comput. Inf. Sci. Eng.

Publications

Luke Herbert, Robin Sharp
Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows. J. Comput. Inf. Sci. Eng. 13 (1) (2013)
Luke Herbert, Robin Sharp
Using Stochastic Model Checking to Provision Complex Business Services. HASE (2012)
Matija Stevanovic, Kasper Revsbech, Jens Myrup Pedersen, Robin Sharp, Christian Damsgaard Jensen
A Collaborative Approach to Botnet Protection. CD-ARES (2012)
Robin Sharp
Report: CC-Based Design of Secure Application Systems. ESSoS (2009)
Michael Brinklov, Robin Sharp
Incremental Trust in Grid Computing. CCGRID (2007)
Robin Sharp, Michael R. Hansen
Timed Traces and Strand Spaces. CSR (2007)
Allan Pedersen, Anders Hedegaard, Robin Sharp
Designing a Secure Point-of-Sale System. IWIA (2006)
Henrik Pilegaard, Michael R. Hansen, Robin Sharp
An Approach to Analyzing Availability Properties of Security Protocols. Nord. J. Comput. 10 (4) (2003)
Michael R. Hansen, Robin Sharp
Using interval logics for temporal analysis of security protocols. FMSE (2003)
Søren Forchhammer, Anders Fosgerau, Peter Søren Kirk Hansen, Steffen Duus Hansen, Ole Riis Jensen, Robin Sharp, John Aasted Sørensen
Virtual seminar room-modelling and experimentation in horizontal and vertical integration. MMSP (1999)
Robin Sharp, Ole Rasmussen
The T-Ruby Design System. Formal Methods Syst. Des. 11 (3) (1997)
Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp
A Timed Semantics for SDL. FORTE (1996)
Robin Sharp, Ole Rasmussen
Using a Language of Functions and Relations for VLSI Specification. FPCA (1995)
Robin Sharp, Ole Rasmussen
Rewriting with Constraints in T-Ruby. CHARME (1993)
Robin Sharp, Ole Rasmussen
Transformational Rewriting with Ruby. CHDL (1993)
Lars Rossen, Robin Sharp
Sequence Semantics of Ruby. Designing Correct Circuits (1992)
Niels Nørup Pedersen, Robin Sharp
Analysis of channel access schemes for high-speed LANs. Comput. Commun. Rev. 14 (2) (1984)