Robin Sharp - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2024

Introduction to Cybersecurity - A Multidisciplinary ChallengeRobin Sharp. Undergraduate Topics in Computer Science, Springer, 2024. [doi]

2013

Precise Quantitative Analysis of Probabilistic Business Process Model and Notation WorkflowsLuke Herbert, Robin Sharp. jcise, 13(1), 2013. [doi]

2012

Using Stochastic Model Checking to Provision Complex Business ServicesLuke Herbert, Robin Sharp. hase 2012: 98-105 [doi]

A Collaborative Approach to Botnet ProtectionMatija Stevanovic, Kasper Revsbech, Jens Myrup Pedersen, Robin Sharp, Christian Damsgaard Jensen. IEEEares 2012: 624-638 [doi]

2009

Report: CC-Based Design of Secure Application SystemsRobin Sharp. ESSoS 2009: 111-121 [doi]

2008

Principles of protocol designRobin Sharp. Springer, 2008. [doi]

2007

Incremental Trust in Grid ComputingMichael Brinklov, Robin Sharp. ccgrid 2007: 135-144 [doi]

Timed Traces and Strand SpacesRobin Sharp, Michael R. Hansen. csr 2007: 373-386 [doi]

2006

Designing a Secure Point-of-Sale SystemAllan Pedersen, Anders Hedegaard, Robin Sharp. iwia 2006: 51-65 [doi]

2003

Using interval logics for temporal analysis of security protocolsMichael R. Hansen, Robin Sharp. ccs 2003: 24-31 [doi]

An Approach to Analyzing Availability Properties of Security ProtocolsHenrik Pilegaard, Michael R. Hansen, Robin Sharp. njc, 10(4):337, 2003.

1999

Virtual seminar room-modelling and experimentation in horizontal and vertical integrationSøren Forchhammer, Anders Fosgerau, Peter S. K. Hansen, Steffen Duus Hansen, Ole Riis Jensen, Robin Sharp, John Aasted Sørensen. mmsp 1999: 581-586 [doi]

1997

The T-Ruby Design SystemRobin Sharp, Ole Rasmussen. fmsd, 11(3):239-264, 1997.

1996

A Timed Semantics for SDLSimon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp. forte 1996: 295-309

1995

Using a Language of Functions and Relations for VLSI SpecificationRobin Sharp, Ole Rasmussen. fpca 1995: 45-54

1993

Rewriting with Constraints in T-RubyRobin Sharp, Ole Rasmussen. charme 1993: 226-241

Transformational Rewriting with RubyRobin Sharp, Ole Rasmussen. chdl 1993: 243-260

1992

Sequence Semantics of RubyLars Rossen, Robin Sharp. ifip10-2 1992: 159-171

1984

Analysis of channel access schemes for high-speed LANsNiels Nørup Pedersen, Robin Sharp. ccr, 14(2):164-171, 1984. [doi]

Sign in or sign up to see more results.

runs on WebDSL