Robin Sharp

20 papers B 1C 2Misc 1Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2024 — book
Introduction to Cybersecurity - A Multidisciplinary Challenge
Robin Sharp
2013 J jnl
Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows.
J. Comput. Inf. Sci. Eng.
Luke Herbert, Robin Sharp
2012 — conf
A Collaborative Approach to Botnet Protection.
CD-ARES
Matija Stevanovic, Kasper Revsbech, Jens Myrup Pedersen, Robin Sharp, Christian Damsgaard Jensen
2012 — conf
Using Stochastic Model Checking to Provision Complex Business Services.
HASE
Luke Herbert, Robin Sharp
2009 — conf
Report: CC-Based Design of Secure Application Systems.
ESSoS
Robin Sharp
2008 — book
Principles of protocol design.
Robin Sharp
2007 B conf
Incremental Trust in Grid Computing.
CCGRID
Michael Brinklov, Robin Sharp
2007 Misc conf
Timed Traces and Strand Spaces.
CSR
Robin Sharp, Michael R. Hansen
2006 — conf
Designing a Secure Point-of-Sale System.
IWIA
Allan Pedersen, Anders Hedegaard, Robin Sharp
2003 J jnl
An Approach to Analyzing Availability Properties of Security Protocols.
Nord. J. Comput.
Henrik Pilegaard, Michael R. Hansen, Robin Sharp
2003 — conf
Using interval logics for temporal analysis of security protocols.
FMSE
Michael R. Hansen, Robin Sharp
1999 C conf
Virtual seminar room-modelling and experimentation in horizontal and vertical integration.
MMSP
Søren Forchhammer, Anders Fosgerau, Peter Søren Kirk Hansen, Steffen Duus Hansen, Ole Riis Jensen, Robin Sharp, John Aasted Sørensen
1997 J jnl
The T-Ruby Design System.
Formal Methods Syst. Des.
Robin Sharp, Ole Rasmussen
1996 C conf
A Timed Semantics for SDL.
FORTE
Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp
1995 — conf
Using a Language of Functions and Relations for VLSI Specification.
FPCA
Robin Sharp, Ole Rasmussen
1993 — conf
Rewriting with Constraints in T-Ruby.
CHARME
Robin Sharp, Ole Rasmussen
1993 — conf
Transformational Rewriting with Ruby.
CHDL
Robin Sharp, Ole Rasmussen
1992 — ed.
Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992
Designing Correct Circuits
Jørgen Staunstrup, Robin Sharp
1992 — conf
Sequence Semantics of Ruby.
Designing Correct Circuits
Lars Rossen, Robin Sharp
1984 J jnl
Analysis of channel access schemes for high-speed LANs.
Comput. Commun. Rev.
Niels Nørup Pedersen, Robin Sharp