Select Publications
Journal Articles
Qian, K & Nymeyer, A, 2006, 'Language-emptiness checking of alternating tree automata using symbolic reachability analysis', Electronic Notes in Theoretical Computer Science, vol. 149, pp. 33 - 49, http://dx.doi.org/10.1016/j.entcs.2005.07.025
Qian, K, Nymeyer, A & Susanto, S, 2005, 'Abstraction-guided model checking using symbolic IDA* and heuristic synthesis', Formal techniques for networked and distributed systems - FORTE 2005, vol. 3731, pp. 275 - 289
Conference Papers
Cao, J & Nymeyer, A, 2010, 'High-Fidelity Markovian Power Model for Protocols', in Proceedings of the Design, Automation and Test in Europe Conference, European Design and Automation Association, 3001 Leuven, Belgium, Belgium, presented at Design, Automation and Test in Europe, Dresden, Germany, 8 - 12 March 2010, http://www.date-conference.com/proceedings/
Bui, HT & Nymeyer, A, 2009, 'Heuristic Sensitivity in Guided Random-Walk Based Model Checking', in Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods, IEEE Computer Society, Washington, USA, presented at 7th IEEE International Conference on Software Engineering and Formal Methods, Hanoi, Vietnam, 25 - 27 November 2009, http://portal.acm.org/citation.cfm?id=1685423
Cao, J & Nymeyer, A, 2009, 'Formally Synthesising a Protocol Converter: A Case Study', in LNCS 5642: Proceedings of the 14th Conference on Implementation and Application of Automata, Springer Verlag, Berlin Heidelburg, presented at E-Voting and Identity, 2nd International Conference, VOTE-ID 2009, Luxembourg, 7 - 8 September 2009, http://dx.doi.org/10.1007/978-3-642-02979-0
Bui, HT & Nymeyer, A, 2009, 'Formal verification based on guided random walks', in Proceedings of the 8th International Conference on Simulated Evolution And Learning, Springer Verlag, Berlin Heidelburg, presented at 7th International Conference in Integrated Formal Methods, Dusseldorf, Germany, 16 - 19 February 2009, http://dx.doi.org/10.1007/978-3-642-00255-7
Bui, HT & Nymeyer, A, 2009, 'Formal model simulation: Can it be guided?', in Proceedings of the 1st International Symposium on Search Based Software Engineering, IEEE Computer Society, presented at 1st International Symposium on Search-Based Software Engineering, Windsor, UK, 13 - 15 May 2009, http://www.computer.org/portal/web/csdl/proceedings/s#4
Cao, J & Nymeyer, A, 2009, 'Formal Model of a Protocol converter', in Proceedings of the 15th Australasian Theory Symposium, ACS, Wellington, New Zealand, presented at Computing: The Australasian Theory Symposium CATS 2009, Wellington, New Zealand, January 2009, http://crpit.com/Vol94.html
Nymeyer, A & Bui, HT, 2008, 'The spin on guided random search in verification', in 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW 2008, presented at IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW`08 2008, 9 - 11 April 2008
Qian, K, Nymeyer, A & Susanto, S, 2005, 'Experiments with multiple abstraction heuristics in symbolic verification', in 6th international symposium on Abstraction, reformulation, and approximation, presented at 6th international symposium on Abstraction, reformulation, and approximation, Arith Castle, Scotland, 26 - 29 July 2005
Nymeyer, A & Qian, K, 2004, 'Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases', in Joint European Conference on Theory and Practice of Software ETAPS 2004, presented at Joint European Conference on Theory and Practice of Software ETAPS 2004, Barcelona, Spain, 29 March - 2 Apr 2004
Nymeyer, A & Qian, K, 2004, 'Abstraction-Based Model Checking Using Heuristical Refinement', in 2nd International Conference on Automated Technology for Verification and Analysis, ATVA 2004, presented at 2nd International Conference on Automated Technology for Verification and Analysis, ATVA 2004, Taipei, Taiwan, 31 October - 3 November 2004
Nymeyer, A & Qian, K, 2003, 'Heuristic search algorithms based on symbolic data structures', in 16th Australian joint conference on artificial intelligence - AI 2003, presented at 16th Australian joint conference on artificial intelligence - AI`03, Perth, WA, 3 - 5 December 2003