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

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