Publications

Journal Articles

  1. Moller, F., Crick, T. A university-based model for supporting computer science curriculum reform Journal of Computers in Education 5 4 415 434
  2. James, P., Moller, F., Nga Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H. On modelling and verifying railway interlockings: Tracking train lengths Science of Computer Programming 96 315 336
  3. James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H. Techniques for modelling and verifying railway interlockings International Journal on Software Tools for Technology Transfer 16 6 685 711
  4. Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H. Railway modelling in CSP||B: the double junction case study Electronic Communications of the European Association for the Study of Science and Technology n/a
  5. Kanso, K., Moller, F., Setzer, A. Automated Verification of Signalling Principles in Railway Interlocking Systems Electronic Notes in Theoretical Computer Science 250 2 19 31
  6. Jančar, P., Kučera, A., Moller, F., Sawa, Z. DP lower bounds for equivalence-checking and model-checking of one-counter automata Information and Computation 188 1 1
  7. Moller, F., Smolka, S., Srba, J. On the computational complexity of bisimulation, redux Information and Computation 194 2 129
  8. Moller, F., Rabinovich, A. Counting on CTL*: on the expressive power of monadic path logic Information and Computation 184 1 147
  9. Hirshfeld, Y., Moller, F. Pushdown automata, multiset automata, and Petri nets Theoretical Computer Science 256 1-2 3

Book Chapters

  1. Chilton, C., Kwiatkowska, M., Moller, F., Wang, X. A Specification Theory of Real-Time Processes (Ed.), Concurrency, Security, and Puzzles 18 38
  2. James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H., Trumble, M., Williams, D. Verification of Scheme Plans Using CSP || B (Ed.), Software Engineering and Formal Methods 204
  3. Moller, F. On the complexity of parity games (Ed.), Visions of Computer Science 237 247 British Computer Society
  4. James, P., Lawrence, A., Moller, F., Roggenbach, M., Seisenberger, M., Setzer, A., Kanso, K., Chadwick, S. Verification of Solid State Interlocking Programs (Ed.), Software Engineering and Formal Methods 253 268 Springer

Conference Contributions

  1. Moller, F., Powell, S. Technoteach Proceedings of the 14th Workshop in Primary and Secondary Computing Education on - WiPSCE'19
  2. Moller, F., O’Reilly, L. Teaching Discrete Mathematics to Computer Science Students Formal Methods Teaching 11758 150 164
  3. Moller, F., Powell, S. Teaching Computing via a School Placement 1 4
  4. Moller, F., Crick, T. A National Engagement Model for Developing Computer Science Education in Wales ISSEP'2016: The 9th International Conference on Informatics in Schools
  5. Crick, T., Moller, F. Technocamps: Advancing Computer Science Education in Wales Proceedings of 10th Workshop in Primary and Secondary Computing Education 121 126
  6. Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H. Defining and model checking abstractions of complex railway models using CSP||B Haifa Verification Conference 2012
  7. Isobe, Y., Moller, F., Nguyen, H., Roggenbach, M. Safety and Line Capacity in Railways – An Approach in Timed CSP Integrated Formal Methods 7321 54 68