Luke Herbert

According to our database, Luke Herbert authored at least 3 papers between 2011 and 2013.

Collaborative distances:

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

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

2011

Using Dafny, an Automatic Program Verifier.

Luke Herbert, K. Rustan M. Leino, Jose Quaresma

Proceedings of the Tools for Practical Software Verification, 2011