AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Luke Herbert-Andersen

Luke Herbert-Andersen

Technical University of Denmark - Kongens Lyngby / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 5153636
Danmarks Tekniske Universitet
person_outline Luke Herbert-Andersen's MOST POPULAR ARTICLES
1-) Precise quantitative analysis of probabilistic business process model and notation workflows Journal of Computing and Information Science in Engineering 13 (1), 011007, 2013
2-) Using Dafny, an automatic program verifier Tools for Practical Software Verification, 156-181, 2012
3-) Using stochastic model checking to provision complex business services 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering …, 2012
4-) Restructuring of workflows to minimise errors via stochastic model checking: An automated evolutionary approach Reliability Engineering & System Safety 145, 351-365, 2016
5-) Quantitative analysis of probabilistic BPMN workflows ASME 2012 International Design Engineering Technical Conferences and …, 2012