Browse by all authors Browse By Author ID - Johnston, Wendy R.

Browse Results (5 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
van den Berg, Lionel, Strooper, Paul and Johnston, Wendy (2007). An automated approach to the interpretation of counter-examples. In: Proceedings of the Workshop on Verification and Debugging (V&D 2006). Workshop on Verification and Debugging (V&D 2006), Seattle, WA, United States, (19-35). 21 August 2006. doi:10.1016/j.entcs.2006.12.027 67   Cited 2 times in Scopus2 0
Johnston, Wendy (2000) Development of a cryptographic protocol by stepwise refinement using cogito methodology:part 1. SVRC Technical Report 99-38, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 19 22
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 136   1 Cited 1 times in Scopus1 0
Johnston, Wendy and Wildman, Luke (1999) The sum reference manual. SVRC Technical Report 99-21, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 22 1
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