Browse by all authors Browse By Author ID - Winter, Kirsten

Browse Results (41 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Grunske, Lars, Lindsay, Peter, Yatapanage, Nisansala and Winter, Kirsten (2005). An automated failure mode and effect analysis based on high-level design specificication with behavior trees. In: Integrated Formal Methods: 5th International Conference. Integrated Formal Methods 2005, Eindhoven, The Netherlands, (129-149). 29 November - 2 December 2005. 144 5 15
Winter, Kirsten and Smith, Graeme P. (2003). Compositional verification for object-Z. In: D. Bert, J. Bowen, S. King and M. Walden, Lecture Notes in Computer Science: Proceedings of the 3rd International Conference on B and Z Users. The 3rd International Conference on B and Z Users, Turku, Finland, (280-299). 4-6 June, 2003. doi:10.1007/3-540-44880-2_18 54 51 5 0
Winter, Kirsten and Smith, Graeme (2002) Compositional Verification for Object-Z. Technical Report 02-42, Software Verification Research Centre, School of Information Technology, The University of Queensland. 279 486
Lindsay, Peter A., Yatapanage, Nisansala and Winter, Kirsten (2012) Cut set analysis using behavior trees and model checking. Formal Aspects of Computing, 24 2: 249-266. doi:10.1007/s00165-011-0181-8 78   0 Cited 2 times in Scopus2 0
Grunske, Lars, Winter, Kirsten and Yatapanage, Nisansala (2008) Defining the abstract syntax of visual languages with advanced graph grammars: A case study based on behavior trees. Journal of Visual Languages and Computing, 19 3: 343-379. doi:10.1016/j.jvlc.2007.11.003 76 3 6 Cited 9 times in Scopus9 0
Winter, Kirsten, Colvin, Robert and Dromey, R, Geoff (2009). Dynamic relational behaviour for large-scale systems. In: Colin Fidge, Proceedings of the 20th Australian Software Engineering Conference ASWEC 2009. 20th Australian Software Engineering Conference, Gold Coast, Australia, (173-182). 14-17 April, 2009. doi:10.1109/ASWEC.2009.41 75 2 1 Cited 3 times in Scopus3 0
Zafar, Saad, Colvin, Robert, Winter, Kirsten, Yatapanage, Nisansala and Dromey, R.G. (2007). Early validation and verification of a distributed role-based access control model. In: Proceedings of the Software Engineering Conference 2007 (APSEC 2007). APSEC 2007: 14th Asia-Pacific Software Engineering Conference 2007, Nagoya, Japan, (430-437). 5-7 December 2007. doi:10.1109/ASPEC.2007.20 71   1 Cited 5 times in Scopus5 0
Grunske, Lars, Winter, Kirsten, Yatapanage, Nisansala, Zafar, Saad and Lindsay, Peter A. (2011) Experience with fault injection experiments for FMEA. Software: Practice and Experience, 41 11: 1233-1258. doi:10.1002/spe.1039 176 1 5 Cited 14 times in Scopus14 0
Winter, Kirsten (2004). Formalising behaviour trees with CSP. In: E. Boiten, J. Derrick and G. Smith, Lecture Notes in Computer Science: Proceedings of the 4th International Conference on Integrated Formal Methods. 4th International Conference on Integrated Formal Methods, Canterbury, UK, (148-167). 4-7 April, 2004. doi:10.1007/b96106 68 540 8 0
Gawanmeh, A., Tahar, S. and Winter, K. (2003). Formal verification of ASM designs using the MDG tool. In: A. Cerone and P. Lindsay, Proceedings of the First International Conference on Software Engineering and Formal Methods 2003. The First International Conference on Software Engineering and Formal Methods 2003, Brisbane, Australia, (210-219). 22-27 September 2003. doi:10.1109/SEFM.2003.1236223 41   0 0
Gawanmeh, A, Tahar, S and Winter, K (2008) Formal verification of ASMs using MDGs. Journal of Systems Architecture, 54 1-2: 15-34. doi:10.1016/j.sysarc.2007.03.007 33   2 Cited 3 times in Scopus3 0
Smith, Graeme and Winter, Kirsten (2012). Incremental development of multi-agent systems in Object-Z. In: 35th Annual IEEE Software Engineeering Workshop (SEW-35): Proceedings. Software Engineering Workshop (SEW-35), Heraklion, Crete, Greece, (120-129). 12-13 October 2012. doi:10.1109/SEW.2012.19 58 11 0 Cited 0 times in Scopus0 0
Winter, Kirsten, Hayes, Ian J. and Colvin, Robert (2010). Integrating requirements: The behavior tree philosophy. In: Proceedings of International Conference on Software Engineering and Formal Methods (SEFM 2010). Software Engineering and Formal Methods (SEFM 2010), Pisa, Italy, (41-50). 13-18 September 2010. doi:10.1109/SEFM.2010.13 76   Cited 2 times in Scopus2 0
Gawanmeh, Amjad, Tahar, Sofiène and Winter, Kirsten (2003). Interfacing ASM with the MDG tool. In: E. Borger, A. Gargantini and E. Riccobene, Lecture Notes in Computer Science: Abstract State Machines 2003. Abstract State Machines 2003 Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, (278-292). 3-7 March, 2003. doi:10.1007/3-540-36498-6 44   8 0
van den Berg, L., Strooper, P. and Winter, K. (2008). Introducing time in an industrial application of model-checking. In: Leue, S. and Merino, P., Lecture Notes in Computer Science ; Formal Methods for Industrial Critical Systems. 12th International Workshop on Formal Methods for Industrial Critical Systems, Berlin, Germany, (56-67). 1-2 July, 2008. doi:10.1007/978-3-540-79707-4_6 58 1 0 Cited 3 times in Scopus3 0
Lindsay, Peter A., Winter, Kirsten and Kromodimoeljo, Sentot (2012). Model-based Safety Risk Assessment using Behaviour Trees. In: Peter A. Lindsay, Engineering/Test and Evaluation Conference and 6th Asia Pacific Conference on Systems Engineering, proceedings. Engineering/Test and Evaluation Conference and 6th Asia Pacific Conference on Systems Engineering (SETE APCOSE 2012), Brisbane, Qld., Australia, (). 1 - 2 May 2012. 94 15
Johnston, Wendy, Winter, Kirsten, van den Berg, Lionel, Strooper, Paul and Robinson, Peter (2006). Model-based variable and transition orderings for efficient symbolic model checking. In: Jayadev Misra, Tobias Nipkow and Emil Sekerinski, FM 2006: Formal Methods. 14th International Symposium on Formal Methods: Proceedings. Formal Methods 2006: 14th International Symposium on Formal Methods (FM 2006). Formal Methods for Security and Trust in Industrial Applications, Hamilton, ON, Canada, (524-540). 21-27 August 2006. doi:10.1007/11813040_35 137   1 Cited 1 times in Scopus1 0
Smith, Graeme and Winter, Kirsten (2009) Model checking action system refinements. Formal Aspects of Computing, 21 1-2: 155-186. doi:10.1007/s00165-007-0053-4 66   0 Cited 0 times in Scopus0 0
Winter, K. and Duke, R. W. (2002). Model checking object-Z using ASM. In: M. Butler, L. Petre and K. Sere, proceedings of the Integrated Formal Methods 3rd International Conference, IFM 2002. Integrated Formal Methods 3rd International Conference, IFM 2002, Turku, Finland, (165-184). 15-18 May, 2002. 48 287
Winter, Kirsten (2002). Model Checking Railway Interlocking Systems. In: Computer Science 2002, Twenty-Fifth Australasian Computer Science Conference (ACSC2002). Australian Computer Science Conference (ACSC 2002), Melbourne, Australia, (303-310). 30 January - 3 February 2002. 27  
Winter, Kirsten (2001) Model Checking Railway Interlocking Systems. Technical Report 01-42, Software Verification Research Centre, School of Information Technology, The University of Queensland. 661 687
Lindsay, Peter A., Winter, Kirsten and Colvin, Robert (2010) Model-checking tool support for quantitative risk analysis and design for safety. Division of Systems and Software Engineering Research Technical Report SSE-2010-04, School of Information Technolology and Electrical Engineering, The University of Queensland. 146 488
Winter, Kirsten (2001) Model checking with abstract types University of Queensland, Brisbane: Software Verification Research Centre 52  
Winter, Kirsten (2001). Model Checking with Abstract Types. In: M. W. Mislove, Scott D. Stoller and Willem Visser, Electronic Notes in Theoretical Computer Science: Workshop on Software Model Checking (in connection with CAV '01). 13th Conference on Computer Aided Verification, Paris, France, (382-393). July 18-23, 2001. doi:10.1016/S1571-0661(04)00264-6 42   Cited 2 times in Scopus2 0
Winter, K. and Robinson, N. J. (2003). Modelling large railway interlockings and model checking small ones. In: M. Oudshoorn, Computer Science 2003: Proceddings of the Twenty-Sixth Australasian Computer Science Conference. The Twenty-Sixth Australasian Computer Science Conference, Adelaide, (309-316). 4-7 February, 2003. 60  
Yatapanage, Nisansala and Winter, Kirsten (2013) Next-preserving branching bisimulation. ITEE Technical Report 2013-02, School of Information Technology and Electrical Engineering, The University of Queensland. 123 80
Winter, Kirsten (2012). Optimising ordering strategies for symbolic model checking of railway interlockings. In: Tiziana Margaria and Bernhard Steffen, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012. International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Heraklion, Crete, Greece, (246-260). 15-18 October 2012. doi:10.1007/978-3-642-34032-1_24 47 8 Cited 4 times in Scopus4 0
Winter, Kirsten, Zhang, Chenyi, Hayes, Ian J., Keynes, Nathan, Cifuentes, Cristina and Li, Lisa (2013). Path-sensitive data flow analysis simplified. In: Lindsay Groves and Jing Sun, Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Proceedings. 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, (415-430). 29 October - 1 November 2013. doi:10.1007/978-3-642-41202-8_27 31   0 Cited 0 times in Scopus0 0
Grunske, L., Colvin, R. and Winter, K. (2007). Probabilistic model-checking support for FMEA. In: M. Harchol-Balter, M. Kwiatkowska and M. Telek, Proceedings Fourth International Conference on the Quantitative Evaluation of Systems. Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), Edinburgh, Scotland, (119-128). 17-19 September, 2007. doi:10.1109/QEST.2007.18 88   5 Cited 3 times in Scopus3 0
Colvin, Robert, Grunske, Lars and Winter, Kirsten (2007). Probabilistic timed behavior trees. In: J. Davies and J. Gibbons, Proceedings of the 6th International Conference IFM 2007 Integrated Formal Methods. Integrated Formal Methods 2007, Oxford, UK, (156-175). 2-5 July, 2007. doi:10.1007/978-3-540-73210-5_9 71 2 7 Cited 6 times in Scopus6 0
Smith, Graeme and Winter, Kirsten (2003). Proving Temporal Properties of Z Specifications Using Abstraction. In: D. Bert, J. P. Bowen, S. King and M. Waldén, ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings. ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, (260-279). 4–6 June 2003. doi:10.1007/3-540-44880-2_17 60 98 8 0
Smith, Graeme, Sanders, J. W. and Winter, Kirsten (2012). Reasoning about adaptivity of agents and multi-agent systems. In: CESAMES, Seventeenth IEEE International Conference on Engineering of Complex Computer Systems. IEEE Intenational Conference on Engineering of Complex Computer Systems, Paris, France, (341-350). 18-20 July 2012. doi:10.1109/ICECCS.2012.32 54 7 0 Cited 1 times in Scopus1 0
Lindsay, Peter A., Winter, Kirsten and Yatapanage, Nisansala (2010). Safety assessment using behavior trees and model checking. In: 2010 8th IEEE International Conference on Software Engineering and Formal Methods. Software Engineering and Formal Methods (SEFM 2010), Pisa, Italy, (181-190). 13-18 September 2010. doi:10.1109/SEFM.2010.23 62   Cited 2 times in Scopus2 0
Smith, G. and Winter, K. (2007). Simulation machines for checking action system refinements. In: Aichernig, B., Boiten, E., Derrick, J. and Groves, L., Proceedings of the 11th Refinement Workshop (REFINE 2006). 11th Refinement Workshop (REFINE 2006), Macao, China, (75-90). 31 October 2006. doi:10.1016/j.entcs.2006.08.045 47   Cited 0 times in Scopus0 0
Smith, Graeme and Winter, Kirsten (2006) Simulation Machines or Checking Action System Refinements. Technical Report No. SSE-2006-03, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 335 399
Yatapanage, Nisansala, Winter, Kirsten and Zafar, Saad (2010). Slicing behavior tree models for verification. In: Cristian S. Calude and Vladimiro Sassone, Proceedings of the 6th IFIP TC 1/WG 2.2 International Conference TCS 2010. 6th IFIP International Conference on Theoretical Computer Science, Brisbane, QLD, Australia, (125-139). 20-23 September 2010. doi:10.1007/978-3-642-15240-5_10 102 2 Cited 4 times in Scopus4 0
Winter, Kirsten (2001) Supporting Abstraction when Model Checking ASM. Technical Report 01-20, Software Verification Research Centre, School of Information Technology, The University of Queensland. 397 388
Winter, Kirsten (2012). Symbolic model checking for interlocking systems. In Francesco Flammini (Ed.), Railway safety, reliability, and security: technologies and systems engineering (pp. 298-315) Hersey, PA, U.S.A.: IGI Global. doi:10.4018/978-1-4666-1643-1.ch013 67 3 Cited 4 times in Scopus4 0
Grunske, Lars, Winter, Kirsten and Colvin, Robert (2007). Timed behavior trees and their application to verifying real-time systems. In: J. Grundy and J. Han, Proceedings of the 2007 Australian Conference on Software Engineering. Australian Conference on Software Engineering (ASWEC 2007), Melbourne, Australia, (211-222). 10-13 April 2007. doi:10.1109/ASWEC.2007.49 69 3 0 Cited 12 times in Scopus12 0
Colvin, Robert, Grunske, Lars and Winter, Kirsten (2008) Timed behavior trees for failure mode and effects analysis of time-critical systems. Journal of Systems and Software, 81 12: 2163-2182. doi:10.1016/j.jss.2008.04.035 112 5 12 Cited 18 times in Scopus18 0
Winter, K., Johnston, W. R., Robinson, P. J., Strooper, P. A. and Van Den Berg, L. (2005). Tool support for checking railway interlocking designs. In: Tony Cant, Proceedings of the 10th Australian Workshop on Safety Related Programmable Systems. 10th australian Workshop on Safety Related Programmable Systems (SCS'05), Sydney, Australia, (1-7). 25 -26 August 2005. 58