Login / Signup
Luke Herbert
Publication Activity (10 Years)
Years Active: 2011-2013
Publications (10 Years): 0
Top Topics
Workflow Engine
Business Process
Temporal Properties
Pspace Complete
Top Venues
J. Comput. Inf. Sci. Eng.
HASE
</>
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)
Luke Herbert
,
K. Rustan M. Leino
,
Jose Quaresma
Using Dafny, an Automatic Program Verifier.
LASER Summer School
(2011)