Select Publications

by Associate Professor Albert Nymeyer

Journal articles

Cao J; Nymeyer A, 2013, 'A design methodology for verified web-service mediators', Computing, vol. 95, no. 7, pp. 567 - 610, 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', Lecture Notes in Computer Science, vol. 3731 LNCS, pp. 275 - 289, http://dx.doi.org/10.1007/11562436_21

Katoen J-P; Nymeyer A, 2000, 'Pattern-matching algorithms based on term rewrite systems', Theoretical Computer Science, vol. 238, no. 1-2, pp. 439 - 464

Nymeyer A; Katoen J-P, 1997, 'Code generation based on formal BURS theory and heuristic search', Acta Informatica, vol. 34, no. 8, pp. 597 - 635

NYMEYER A, 1995, 'BACKTRACKING NONDETERMINISTIC RECOGNIZERS', Journal of Programming Languages, vol. 3, no. 4, pp. 231 - 253

Nymeyer A, 1995, 'A grammatical specification of human-computer dialogue', Computer Languages, Systems and Structures, vol. 21, no. 1, pp. 1 - 16, http://dx.doi.org/10.1016/0096-0551(94)00016-J

Nymeyer A; Irving AC, 1986, 'A Monte Carlo analysis of the two-dimensional planar and step models', Journal of Physics A: Mathematical and Theoretical, vol. 19, no. 9, pp. 1745 - 1752, http://dx.doi.org/10.1088/0305-4470/19/9/046

Nymeyer A, 1986, 'A Monte Carlo analysis of the two-dimensional modified step model', Journal of Physics A: Mathematical and Theoretical, vol. 19, no. 11, pp. 2183 - 2193, http://dx.doi.org/10.1088/0305-4470/19/11/026

Nymeyer A; Guttmann AJ, 1985, 'Series analysis of the two-dimensional step model', Journal of Physics A: Mathematical and Theoretical, vol. 18, no. 3, pp. 495 - 499, http://dx.doi.org/10.1088/0305-4470/18/3/024

Guttman AJ; Nymeyer A, 1978, 'Critical behaviour of an isotropic spin system. II', Journal of Physics A: Mathematical and Theoretical, vol. 11, no. 6, pp. 1131 - 1140, http://dx.doi.org/10.1088/0305-4470/11/6/014

Conference Papers

Cao J; Nymeyer A, 2010, 'High-fidelity Markovian power model for protocols', in Proceedings -Design, Automation and Test in Europe, DATE, pp. 267 - 270

Bui TH; Nymeyer A, (eds.), 2009, 'Formal Verification Based on Guided Random Walks', in INTEGRATED FORMAL METHODS, PROCEEDINGS, SPRINGER-VERLAG BERLIN, pp. 72 - 87, presented at 7th International Conference on Integrated Formal Methods, Dusseldorf, GERMANY, 16 - 19 February 2009

Cao J; Nymeyer A, (ed.), 2009, 'Formally Synthesising a Protocol Converter: A Case Study', in IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, SPRINGER-VERLAG BERLIN, pp. 249 - 252, presented at 14th International Conference on Implementation and Application of Automata, Univ New S Wales, Neville Roach Lab, Sydney, AUSTRALIA, 14 - 17 July 2009

Bui TH; Nymeyer A, 2009, 'Formal model simulation: Can it be guided?', in Proceedings - 1st International Symposium on Search Based Software Engineering, SSBSE 2009, pp. 93 - 96, http://dx.doi.org/10.1109/SSBSE.2009.19

Bui TH; Nymeyer A, 2009, 'Heuristic sensitivity in guided random-walk based model checking', in SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods, pp. 125 - 134, http://dx.doi.org/10.1109/SEFM.2009.19

Cao J; Nymeyer A, 2009, 'Formal model of a protocol converter', in Conferences in Research and Practice in Information Technology Series

Bui TH; Nymeyer A, 2008, 'The spin on guided random search in verification', in 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08, pp. 170 - 177, http://dx.doi.org/10.1109/ICSTW.2008.47

Qian K; Nymeyer A; Susanto S, 2005, 'Experiments with multiple abstraction heuristics in symbolic verification', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 290 - 304

Qian K; Nymeyer A, 2004, 'Abstraction-based model checking using heuristical refinement', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 165 - 178

Qian K; Nymeyer A, 2004, 'Guided invariant model checking based on abstraction and symbolic pattern databases', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 497 - 511

Nymeyer A; Qian K, (eds.), 2003, 'Heuristic Search Algorithms Based on Symbolic Data Structures', in LECTURE NOTES IN COMPUTER SCIENCE, Springer-Verlag; 1999, pp. 966 - 978


Back to profile page