| 2023 | CHI | From Asymptomatics to Zombies: Visualization-Based Education of Disease Modeling for Children. | Graham Mcneill, Max Sondag, Stewart Powell, Phoebe Asplin, Cagatay Turkay, Faron Moller, Daniel Archambault |
| 2023 | ITiCSE | Technocamps: Highlighting 20 Years of Transforming Digital Education in Wales. | Tom Crick, Faron Moller |
| 2020 | ITiCSE | Hands-on Security Testing in a University Lab Environment. | Phillip James, Lauren Powell, Liam O'Reilly, Faron Moller |
| 2016 | ISoLA | OnTrack: The Railway Verification Toolset - Extended Abstract. | Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang |
| 2013 | SEFM | Verification of Solid State Interlocking Programs. | Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick |
| 2013 | SEFM | Verification of Scheme Plans Using CSP $$||$$ | | B. | Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams |
| 2012 | IFM | Safety and Line Capacity in Railways - An Approach in Timed CSP. | Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach |
| 2006 | CSL | Weak Bisimulation Approximants. | Will Harwood, Faron Moller, Anton Setzer |
| 2003 | CONCUR | Deciding Bisimilarity between BPA and BPP Processes. | Petr Jancar, Antonn Kucera, Faron Moller |
| 2002 | FOSSACS | Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds. | Petr Jancar, Antonn Kucera, Faron Moller, Zdenek Sawa |
| 2000 | STACS | Simulation and Bisimulation over One-Counter Processes. | Petr Jancar, Antonn Kucera, Faron Moller |
| 1999 | CONCUR | Techniques for Decidability and Undecidability of Bisimilarity. | Petr Jancar, Faron Moller |
| 1999 | LICS | On the Expressive Power of CTL. | Faron Moller, Alexander Moshe Rabinovich |
| 1999 | SOFSEM | Simulation Problems for One-Counter Machines. | Petr Jancar, Faron Moller, Zdenek Sawa |
| 1996 | CONCUR | Infinite Results. | Faron Moller |
| 1995 | CONCUR | Checking Regular Properties of Petri Nets. | Petr Jancar, Faron Moller |
| 1994 | CAV | The Mobility Workbench - A Tool for the pi-Calculus. | Bjrn Victor, Faron Moller |
| 1994 | CONCUR | A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes. | Yoram Hirshfeld, Faron Moller |
| 1994 | FOCS | A Polynomial-time Algorithm for Deciding Equivalence of Normed Context-free Processes | Yoram Hirshfeld, Mark Jerrum, Faron Moller |
| 1993 | CONCUR | Bisimulation Equivalence is Decidable for Basic Parallel Processes. | Sren Christensen, Yoram Hirshfeld, Faron Moller |
| 1993 | LICS | Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes | Sren Christensen, Yoram Hirshfeld, Faron Moller |
| 1992 | CONCUR | Verification of Parallel Systems via Decomposition. | Jan Friso Groote, Faron Moller |
| 1992 | ECRTS | An overview of TCCS. | Faron Moller, Chris M. N. Tofts |
| 1992 | ICALP | Behavioural Abstraction in TCCS. | Faron Moller, Chris M. N. Tofts |
| 1991 | CONCUR | Relating Processes With Respect to Speed. | Faron Moller, Chris M. N. Tofts |
| 1990 | CONCUR | A Temporal Calculus of Communicating Systems. | Faron Moller, Chris M. N. Tofts |
| 1990 | ICALP | The Importance of the Left Merge Operator in Process Algebras. | Faron Moller |
| 1990 | LICS | The Nonexistence of Finite Axiomatisations for CCS Congruences | Faron Moller |