Select Publications

by Associate Professor Albert Nymeyer

Journal articles

Cao J; Nymeyer A, 2012, ' A design methodology for verified web-service mediators', Computing, http://dx.doi.org/10.1007/s00607-012-0237-5

Bui TH; Nymeyer A, 2009, 'Formal verification based on guided random walks', Lecture Notes in Computer Science, vol. 5423 LNCS, pp. 72 - 87, http://dx.doi.org/10.1007/978-3-642-00255-7-6

Cao J; Nymeyer A, 2009, 'Formally synthesising a protocol converter: A case study', Lecture Notes in Computer Science, vol. 5642 LNCS, pp. 249 - 252, http://dx.doi.org/10.1007/978-3-642-02979-0_30

Qian K; Nymeyer A, 2006, ' Language-Emptiness Checking of Alternating Tree Automata Using Symbolic Reachability Analysis', Electronic Notes in Theoretical Computer Science, vol. 149, no. 2, 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/

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, 1 January 2009, http://crpit.com/Vol94.html

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, '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

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

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

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, '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, 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 April 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


Back to profile page