Follow
Kirsten Winter
Title
Cited by
Cited by
Year
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
1172000
Model Checking Abstract State Machines
K Winter
117*
Probabilistic model-checking support for FMEA
L Grunske, R Colvin, K Winter
Fourth International Conference on the Quantitative Evaluation of Systems …, 2007
922007
Modelling large railway interlockings and model checking small ones
K Winter, NJ Robinson
Proceedings of the 26th Australasian computer science conference-Volume 16 …, 2003
872003
Model checking railway interlocking systems
K Winter
Australian Computer Science Communications 24 (1), 303-310, 2002
762002
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
702005
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
652006
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
502011
Optimising ordering strategies for symbolic model checking of railway interlockings
K Winter
International Symposium On Leveraging Applications of Formal Methods …, 2012
452012
Formalising behaviour trees with CSP
K Winter
Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004
442004
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
382008
Probabilistic timed behavior trees
R Colvin, L Grunske, K Winter
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford …, 2007
342007
Slicing behavior tree models for verification
N Yatapanage, K Winter, S Zafar
IFIP International Conference on Theoretical Computer Science, 125-139, 2010
302010
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
302008
Proving temporal properties of Z specifications using abstraction
G Smith, K Winter
International Conference of B and Z Users, 260-279, 2003
302003
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
282004
An algebra of synchronous atomic steps
IJ Hayes, RJ Colvin, LA Meinicke, K Winter, A Velykis
International Symposium on Formal Methods, 352-369, 2016
252016
Interfacing ASM with the MDG tool
A Gawanmeh, S Tahar, K Winter
Abstract State Machines 2003: Advances in Theory and Practice 10th …, 2003
242003
Integrating requirements: the Behavior Tree philosophy
K Winter, IJ Hayes, R Colvin
2010 8th IEEE International Conference on Software Engineering and Formal …, 2010
232010
Model checking Object-Z using ASM
K Winter, R Duke
Integrated Formal Methods: Third International Conference, IFM 2002 Turku …, 2002
222002
The system can't perform the operation now. Try again later.
Articles 1–20