| Precise quantitative analysis of probabilistic business process model and notation workflows L Herbert, R Sharp Journal of Computing and Information Science in Engineering 13 (1), 011007, 2013 | 25 | 2013 |
| Using Dafny, an automatic program verifier L Herbert, KRM Leino, J Quaresma Tools for Practical Software Verification, 156-181, 2012 | 19 | 2012 |
| Using stochastic model checking to provision complex business services L Herbert, R Sharp 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering …, 2012 | 18 | 2012 |
| Restructuring of workflows to minimise errors via stochastic model checking: An automated evolutionary approach LT Herbert, ZNL Hansen Reliability Engineering & System Safety 145, 351-365, 2016 | 13 | 2016 |
| Evolutionary optimization of production materials workflow processes L Herbert, ZNL Hansen, P Jacobsen, P Cunha Procedia CIRP 25, 53-60, 2014 | 11 | 2014 |
| Quantitative analysis of probabilistic BPMN workflows LT Herbert, R Sharp ASME 2012 International Design Engineering Technical Conferences and …, 2012 | 11 | 2012 |
| Optimisation of BPMN business models via model checking LT Herbert, R Sharp International Design Engineering Technical Conferences and Computers and …, 2013 | 9 | 2013 |
| SBAT. A stochastic BPMN analysis tool LT Herbert, ZNL Hansen, P Jacobsen 12th Biennial Conference on Engineering Systems Design and Analysis, 2014 | 8 | 2014 |
| Workflow fault tree generation through model checking L Herbert, R Sharp Safety, Reliability and Risk Analysis: Beyond the Horizon, 2229-2236, 2014 | 8 | 2014 |
| Specification, Verification and Optimisation of Business Processes: A Unified Framework LT Herbert Technical University of Denmark, 2014 | 6 | 2014 |
| Using quantitative stochastic model checking tool to increase safety and improve efficiency in production processes LT Herbert, ZNL Hansen, P Jacobsen European Safety and Reliability Conference 2014, 2405-2416, 2014 | 3 | 2014 |
| SBOAT: a stochastic BPMN analysis and optimisation tool LT Herbert, ZNL Hansen, P Jacobsen 1st International Conference on Engineering and Applied Sciences …, 2014 | 3 | 2014 |
| Automated evolutionary restructuring of workflows to minimise errors via stochastic model checking LT Herbert, ZNL Hansen, P Jacobsen Probabilistic Safety Assessment and Management Conference, 1-12, 2014 | 3 | 2014 |
| Addressing Production Stops in the Food Industry. ZNL Hansen, LT Herbert, P Jacobsen GSTF Journal of Mathematics, Statistics & Operations Research 2 (2), 2014 | 2 | 2014 |
| Optimal sceduling of complex processes through stochastic model checking: an example from the baked goods industry LT Herbert, ZNL Hansen, R Sharp, P Jacobsen 3rd International Conference on Modelling and Management of Engineering …, 2013 | 1 | 2013 |
| Towards quantitative evaluation of stochastic pharmacy workflows LT Herbert, R Sharp 23rd Nordic Workshop on Programming Theory, 2011 | 1 | 2011 |
| UML Statechart Fault Tree Generation By Model Checking LT Herbert, ZNL Herbert-Hansen 27th European Safety and Reliability Conference, 587-595, 2017 | | 2017 |
| Generation of safe optimised execution strategies for UML models LT Herbert-Hansen, ZNL Herbert-Hansen 13 th International Conference on Probabilistic Safety Assessment and …, 2016 | | 2016 |
| Quantifying system safety: A comparison of the SBOAT & Safety Barrier Manager tools ZNL Hansen, NJ Duijm, F Markert, LT Herbert 25th European Safety and Reliability Conference, 2015 | | 2015 |
| Optimal Sceduling of Stochastic Production Processes Through Model Checking L Herbert, ZNL Hansen, R Sharp, P Jacobsen Modelling and Management of Engineering Processes: Proceedings of the 3rd …, 2015 | | 2015 |
Zaza Nadja Lee HansenThe Technical University of DenmarkVerifisert e-postadresse på dtu.dk
