| Model checking support for the ASM high-level language G Del Castillo, K Winter International Conference on Tools and Algorithms for the Construction and …, 2000 | 120 | 2000 |
| Model Checking Abstract State Machines K Winter | 118* | |
| Probabilistic model-checking support for FMEA L Grunske, R Colvin, K Winter Fourth International Conference on the Quantitative Evaluation of Systems …, 2007 | 92 | 2007 |
| Modelling large railway interlockings and model checking small ones K Winter, NJ Robinson Proceedings of the 26th Australasian computer science conference-Volume 16 …, 2003 | 85 | 2003 |
| Model checking railway interlocking systems K Winter Australian Computer Science Communications 24 (1), 303-310, 2002 | 78 | 2002 |
| An automated failure mode and effect analysis based on high-level design specification with behavior trees L Grunske, P Lindsay, N Yatapanage, K Winter Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven …, 2005 | 75 | 2005 |
| Tool support for checking railway interlocking designs K Winter, W Johnston, P Robinson, P Strooper, L Van Den Berg Proceedings of the 10th Australian workshop on Safety critical systems and …, 2006 | 66 | 2006 |
| Experience with fault injection experiments for FMEA L Grunske, K Winter, N Yatapanage, S Zafar, PA Lindsay Software: Practice and Experience 41 (11), 1233-1258, 2011 | 52 | 2011 |
| Optimising ordering strategies for symbolic model checking of railway interlockings K Winter International Symposium On Leveraging Applications of Formal Methods …, 2012 | 46 | 2012 |
| Formalising behaviour trees with CSP K Winter Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004 | 46 | 2004 |
| Timed behavior trees for failure mode and effects analysis of time-critical systems R Colvin, L Grunske, K Winter Journal of Systems and Software 81 (12), 2163-2182, 2008 | 39 | 2008 |
| Slicing behavior tree models for verification N Yatapanage, K Winter, S Zafar IFIP International Conference on Theoretical Computer Science, 125-139, 2010 | 32 | 2010 |
| Defining the abstract syntax of visual languages with advanced graph grammars—a case study based on behavior trees L Grunske, K Winter, N Yatapanage Journal of Visual Languages & Computing 19 (3), 343-379, 2008 | 32 | 2008 |
| Probabilistic timed behavior trees R Colvin, L Grunske, K Winter International Conference on Integrated Formal Methods, 156-175, 2007 | 32 | 2007 |
| Proving temporal properties of Z specifications using abstraction G Smith, K Winter International Conference of B and Z Users, 260-279, 2003 | 31 | 2003 |
| An environment for building a system out of its requirements C Smith, K Winter, I Hayes, G Dromey, P Lindsay, D Carrington Proceedings. 19th International Conference on Automated Software Engineering …, 2004 | 29 | 2004 |
| An algebra of synchronous atomic steps IJ Hayes, RJ Colvin, LA Meinicke, K Winter, A Velykis International Symposium on Formal Methods, 352-369, 2016 | 27 | 2016 |
| Integrating requirements: the Behavior Tree philosophy K Winter, IJ Hayes, R Colvin 2010 8th IEEE International Conference on Software Engineering and Formal …, 2010 | 26 | 2010 |
| Safety assessment using behavior trees and model checking PA Lindsay, K Winter, N Yatapanage 2010 8th IEEE International Conference on Software Engineering and Formal …, 2010 | 25 | 2010 |
| Towards a methodology for model checking ASM: Lessons learned from the FLASH case study K Winter International Workshop on Abstract State Machines, 341-360, 2000 | 25 | 2000 |
Graeme SmithThe University of QueenslandZweryfikowany adres z itee.uq.edu.au
