SAZ. - Fiona Polack; Peter Hitchcock; Alan W. Brown (Z User Workshop, 1990)

Structured Analysis - A Draft Method for Writing Z Specifications. - Fiona Polack; Mark Whiston; Peter Hitchcock (Z User Workshop, 1991)

Integrating formal notations and systems analysis: using entity relationship diagrams. - Fiona Polack (Softw. Eng. J., 1992)

The SAZ Project: Integrating SSADM and Z.. - Fiona Polack; Mark Whiston; Keith Mander (FME, 1993)

Software Quality Assurance Using the SAZ Method. - Fiona Polack; Keith Mander (Z User Workshop, 1994)

Rigorous specification using structured systems analysis and Z. - Keith Mander; Fiona A. C. Polack (Inf. Softw. Technol., 1995)

Systems Development Using Z Generics. - Fiona Polack; Susan Stepney (World Congress on Formal Methods, 1999)

A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems. - Regine Laleau; Fiona Polack (CAiSE, 2001)

Specification of integrity-preserving operations in information systems by using a formal UML-based language. - Regine Laleau; Fiona Polack (Inf. Softw. Technol., 2001)

A case study using lightweight formalism to review an information system specification. - Fiona Polack (Softw. Pract. Exp., 2001)

Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. - Regine Laleau; Fiona Polack (ZB, 2002)

Refactoring in maintenance and development of Z specifications. - Susan Stepney; Fiona Polack; Ian Toyn (Refine, 2002)

Challenging Formal Specifications by Mutation: a CSP security example. - Thitima Srivatanakul; John A. Clark; Susan Stepney; Fiona Polack (APSEC, 2003)

Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. - Nuno Amálio; Fiona Polack (ZB, 2003)

An Outline Pattern Language for Z: Five Illustrations and Two Tables. - Susan Stepney; Fiona Polack; Ian Toyn (ZB, 2003)

Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. - Susan Stepney; Fiona Polack; Ian Toyn (ZB, 2003)

Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. - Xiaocheng Ge; Fiona Polack; Régine Laleau (CAiSE, 2004)

Formal Proof from UML Models. - Nuno Amálio; Susan Stepney; Fiona Polack (ICFEM, 2004)

Effective Security Requirements Analysis: HAZOP and Use Cases. - Thitima Srivatanakul; John A. Clark; Fiona Polack (ISC, 2004)

An Architecture for Modelling Emergence in CA-Like Systems. - Fiona Polack; Susan Stepney; Heather R. Turner; Peter H. Welch; Fred R. M. Barnes (ECAL, 2005)

An Agile and Extensible Code Generation Framework. - Dimitrios S. Kolovos; Richard F. Paige; Fiona Polack (XP, 2005)

An Object-Oriented Structuring for Z Based on Views. - Nuno Amálio; Fiona Polack; Susan Stepney (ZB, 2005)

Frameworks Based on Templates for Rigorous Model-driven Development. - Nuno Amálio; Fiona Polack; Susan Stepney (IFM Doctoral Symposium, 2005)

Refinement via Consistency Checking in MDA. - Richard F. Paige; Dimitrios S. Kolovos; Fiona Polack (REFINE, 2005)

Emergent Properties Do Not Refine. - Fiona Polack; Susan Stepney (REFINE, 2005)

Deviational Analyses for Validating Regulations on Real Systems. - Fiona Polack; Thitima Srivatanakul; Tim Kelly; John A. Clark (ReMo2V, 2006)

The Epsilon Object Language (EOL). - Dimitrios S. Kolovos; Richard F. Paige; Fiona Polack (ECMDA-FA, 2006)

A Formal Template Language Enabling Metaproof. - Nuno Amálio; Susan Stepney; Fiona Polack (FM, 2006)

Engineering Emergence. - Susan Stepney; Fiona Polack; Heather R. Turner (ICECCS, 2006)

Communicating Complex Systems. - Peter H. Welch; Fred R. M. Barnes; Fiona Polack (ICECCS, 2006)

Agile development of secure web applications. - Xiaocheng Ge; Richard F. Paige; Fiona Polack; Howard Chivers; Phillip J. Brooke (ICWE, 2006)

Merging Models with the Epsilon Merging Language (EML). - Dimitrios S. Kolovos; Richard F. Paige; Fiona Polack (MoDELS, 2006)

An action semantics for MOF 2.0. - Richard F. Paige; Dimitrios S. Kolovos; Fiona Polack (SAC, 2006)

Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. - Dimitrios S. Kolovos; Richard F. Paige; Fiona Polack (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Neutral Emergence and Coarse Graining. - Andrew Weeks; Susan Stepney; Fiona Polack (ECAL, 2007)

Extreme Programming Security Practices. - Xiaocheng Ge; Richard F. Paige; Fiona Polack; Phillip J. Brooke (XP, 2007)

Rule Migration: Exploring a Design Framework for Emergence. - Heather R. Turner; Susan Stepney; Fiona A. C. Polack (Int. J. Unconv. Comput., 2007)

Update Transformations in the Small with the Epsilon Wizard Language. - Dimitrios S. Kolovos; Richard F. Paige; Fiona Polack; Louis M. Rose (J. Object Technol., 2007)

Complex Systems Models - Engineering Simulations. - Fiona A. C. Polack; Tim Hoverd; Adam T. Sampson; Susan Stepney; Jon Timmis (ALIFE, 2008)

Investigating Emergence by Coarse Graining Elementary Cellular Automata. - Andrew Weeks; Fiona Polack; Susan Stepney (ALIFE, 2008)

Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity. - Nuno Amálio; Fiona Polack; Jing Zhang (ABZ, 2008)

The Epsilon Generation Language. - Louis M. Rose; Richard F. Paige; Dimitrios S. Kolovos; Fiona Polack (ECMDA-FA, 2008)

The Epsilon Transformation Language. - Dimitrios S. Kolovos; Richard F. Paige; Fiona Polack (ICMT@TOOLS, 2008)

Novel features in languages of the epsilon model management platform. - Dimitrios S. Kolovos; Richard F. Paige; Fiona A. C. Polack (MiSE, 2008)

Detecting and Repairing Inconsistencies across Heterogeneous Models. - Dimitrios S. Kolovos; Richard F. Paige; Fiona Polack (ICST, 2008)

Unit Testing Model Management Operations. - Dimitrios S. Kolovos; Richard F. Paige; Louis M. Rose; Fiona A. C. Polack (ICST Workshops, 2008)

The Grand Challenge of Scalability for Model Driven Engineering. - Dimitrios S. Kolovos; Richard F. Paige; Fiona Polack (MoDELS (Workshops), 2008)

Constructing Models with the Human-Usable Textual Notation. - Louis M. Rose; Richard F. Paige; Dimitrios S. Kolovos; Fiona Polack (MoDELS, 2008)

Using formal metamodels to check consistency of functional views in information systems specification. - Régine Laleau; Fiona Polack (Inf. Softw. Technol., 2008)

On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. - Dimitrios S. Kolovos; Richard F. Paige; Fiona A. C. Polack (Rigorous Methods for Software Construction and Analysis, 2009)

The engineering of concurrent simulations of complex systems. - Fiona A. C. Polack; Paul S. Andrews; Adam T. Sampson (IEEE Congress on Evolutionary Computation, 2009)

The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. - Richard F. Paige; Dimitrios S. Kolovos; Louis M. Rose; Nikolaos Drivalos; Fiona A. C. Polack (ICECCS, 2009)

Raising the level of abstraction in the development of GMF-based graphical model editors. - Dimitrios S. Kolovos; Louis M. Rose; Richard F. Paige; Fiona A. C. Polack (MiSE@ICSE, 2009)

Enhanced Automation for Managing Model and Metamodel Inconsistency. - Louis M. Rose; Dimitrios S. Kolovos; Richard F. Paige; Fiona A. C. Polack (ASE, 2009)

Profile Adaptation in Adaptive Information Filtering: An Immune Inspired Approach. - Nurulhuda Firdaus Mohd Azmi; Jon Timmis; Fiona Polack (SoCPaR, 2009)

Self-organisation for Survival in Complex Computer Architectures. - Fiona A. C. Polack (SOAR, 2009)

Automated Formalisation for Verification of Diagrammatic Models. - James R. Williams; Fiona A. C. Polack (FACS@FMWeek, 2009)

Formal Analysis in Model Management: Exploiting the Power of CZT. - James R. Williams; Fiona A. C. Polack; Richard F. Paige (ASM, 2010)

Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems. - Malihe Tabatabaie; Fiona A. C. Polack; Richard F. Paige (CENTERIS (1), 2010)

Concordance: A Framework for Managing Model Integrity. - Louis M. Rose; Dimitrios S. Kolovos; Nikolaos Drivalos; James R. Williams; Richard F. Paige; Fiona A. C. Polack; Kiran Jude Fernandes 001 (ECMFA, 2010)

Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering. - Nurulhuda Firdaus Mohd Azmi; Jon Timmis; Fiona Polack (ICECCS, 2010)

In Search of Sound 'in silico' Research - Validating a Complex System Simulation. - Teodor Ghetiu; Fiona A. C. Polack; James L. Bown (ICECCS, 2010)

Reflections on the Simulation of Complex Systems for Science. - Fiona A. C. Polack; Paul S. Andrews; Teodor Ghetiu; Mark Read 001; Susan Stepney; Jon Timmis; Adam T. Sampson (ICECCS, 2010)

Constructing and Navigating Non-invasive Model Decorations. - Dimitrios S. Kolovos; Louis M. Rose; Nikolaos Drivalos Matragkas; Richard F. Paige; Fiona A. C. Polack; Kiran Jude Fernandes 001 (ICMT@TOOLS, 2010)

Model Migration with Epsilon Flock. - Louis M. Rose; Dimitrios S. Kolovos; Richard F. Paige; Fiona A. C. Polack (ICMT@TOOLS, 2010)

Taming EMF and GMF Using Model Transformation. - Dimitrios S. Kolovos; Louis M. Rose; Saad bin Abid; Richard F. Paige; Fiona A. C. Polack; Goetz Botterweck (MoDELS (1), 2010)

A Comparison of Model Migration Tools. - Louis M. Rose; Markus Herrmannsdoerfer; James R. Williams; Dimitrios S. Kolovos; Kelly Garcés; Richard F. Paige; Fiona A. C. Polack (MoDELS (1), 2010)

KAOS-β: A Goal-oriented Process Model for EIS. - Malihe Tabatabaie; Fiona A. C. Polack; Richard F. Paige (MSVVEIS, 2010)

Immune Inspired Adaptive Information Filtering: Focusing on Profile Adaptation. - Nurulhuda Firdaus Mohd Azmi; Fiona Polack; Jon Timmis (BIONETICS, 2011)

Requirements for a model comparison language. - James R. Williams; Dimitrios S. Kolovos; Fiona A. C. Polack; Richard F. Paige (IWMCP@ICMT, 2011)

Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels. - James R. Williams; Simon M. Poulding; Louis M. Rose; Richard F. Paige; Fiona A. C. Polack (SSBSE, 2011)

Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case - Louis M. Rose; Antonio García-Domínguez; James R. Williams; Dimitrios S. Kolovos; Richard F. Paige; Fiona A. C. Polack (TTC, 2011)

Choosing and adapting design notations in the principled development of complex systems simulations for research. - Fiona A. C. Polack (MOTPW@MoDELS, 2012)

Sensitivity Analysis in Model-Driven Engineering. - James R. Williams; Frank R. Burton; Richard F. Paige; Fiona A. C. Polack (MoDELS, 2012)

Searching for model migration strategies. - James R. Williams; Richard F. Paige; Fiona A. C. Polack (ME@MoDELS, 2012)

Runtime optimisation in WSNs for load balancing using pheromone signalling. - Ipek Caliskanelli; James Harbin; Leandro Soares Indrusiak; Paul D. Mitchell; David Chesmore; Fiona Polack (NESEA, 2012)

Metamodelling for Grammarware Researchers. - Richard F. Paige; Dimitrios S. Kolovos; Fiona A. C. Polack (SLE, 2012)

Scenario-based modeling to capture requirements for immune inspired profile adaptation. - Nurulhuda Firdaus Mohd Azmi; Jon Timmis; Fiona Polack (CITA, 2013)

Accelerating Immunos 99. - Paul N. Taylor; Fiona Polack; Jon Timmis (ECAL, 2013)

Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour. - James R. Williams; Simon M. Poulding; Richard F. Paige; Fiona Polack (Models@run.time, 2013)

What do Metamodels Really Look Like? - James R. Williams; Athanasios Zolotas; Nicholas Drivalos Matragkas; Louis M. Rose; Dimitrios S. Kolovos; Richard F. Paige; Fiona A. C. Polack (EESSMod@MoDELS, 2013)

Emergence of Frontiers in Networked Schelling Segregationist Models. - Philippe Collard; Salma Mesmoudi; Teodor Ghetiu; Fiona Polack (Complex Syst., 2013)

Bioinspired Load Balancing in Large-Scale WSNs Using Pheromone Signalling. - Ipek Caliskanelli; James Harbin; Leandro Soares Indrusiak; Paul D. Mitchell; Fiona Polack; David Chesmore (Int. J. Distributed Sens. Networks, 2013)

Bad Modelling Teaching Practices. - Richard F. Paige; Fiona A. C. Polack; Dimitrios S. Kolovos; Louis M. Rose; Nicholas Drivalos Matragkas; James R. Williams (EduSymp@MoDELS, 2014)

A tutorial on metamodelling for grammar researchers. - Richard F. Paige; Dimitrios S. Kolovos; Fiona A. C. Polack (Sci. Comput. Program., 2014)

Epsilon Flock: a model migration language. - Louis M. Rose; Dimitrios S. Kolovos; Richard F. Paige; Fiona A. C. Polack; Simon M. Poulding (Softw. Syst. Model., 2014)

Evaluating Student Work in Modelling Courses. - Richard F. Paige; Dimitrios S. Kolovos; Fiona A. C. Polack; Louis M. Rose (EduSymp@MoDELS, 2015)

Filling gaps in simulation of complex systems: the background and motivation for CoSMoS. - Fiona Polack (Nat. Comput., 2015)

Principled simulation of cell proliferation dynamics using the CoSMoS approach. - Fiona Polack; Alastair P. Droop (Nat. Comput., 2015)

Evaluating Hyperheuristics and Local Search Operators for Periodic Routing Problems. - Yujie Chen; Philip Mourdjis; Fiona A. C. Polack; Peter I. Cowling; Stephen Remde (EvoCOP, 2016)

Variable Neighbourhood Descent with Memory: A Hybrid Metaheuristic for Supermarket Resupply. - Philip Mourdjis; Yujie Chen; Fiona A. C. Polack; Peter I. Cowling; Martin Robinson (HM, 2016)

Efficient Large-scale Road Inspection Routing. - Yujie Chen; Peter I. Cowling; Stephen Remde; Fiona Polack (ICORES, 2016)

Risk Driven Analysis of Maintenance for a Large-scale Drainage System. - Yujie Chen; Fiona Polack; Peter I. Cowling; Philip Mourdjis; Stephen Remde (ICORES, 2016)

Exploring Techniques to Improve Large-Scale Drainage System Maintenance Scheduling Using a Risk Driven Model. - Yujie Chen; Fiona Polack; Peter I. Cowling; Philip Mourdjis; Stephen Remde (ICORES (Selected Papers), 2016)

A Comparison of One-Pass and Bi-directional Approaches Applied to Large-Scale Road Inspection. - Yujie Chen; Fiona Polack; Peter I. Cowling; Stephen Remde (ICORES (Selected Papers), 2016)

The Effect of Cooperation in Pickup and Multiple Delivery Problems. - Philip Mourdjis; Fiona Polack; Peter I. Cowling; Yujie Chen; Martin Robinson (ICORES, 2016)

Competition and Cooperation in Pickup and Multiple Delivery Problems. - Philip Mourdjis; Fiona Polack; Peter I. Cowling; Yujie Chen; Martin Robinson (ICORES (Selected Papers), 2016)

Turning Models Inside Out. - Alfa Yohannis; Dimitris S. Kolovos; Fiona Polack (MoDELS (Satellite Events), 2017)

Dynamic optimisation of preventative and corrective maintenance schedules for a large scale urban drainage system. - Yujie Chen; Peter I. Cowling; Fiona Polack; Stephen Remde; Philip Mourdjis (Eur. J. Oper. Res., 2017)

Engineering Simulations as Scientific Instruments: A Pattern Language - Susan Stepney; Fiona A. C. Polack (Springer, 2018)

Towards Efficient Loading of Change-Based Models. - Alfa Yohannis; Horacio Hoyos Rodriguez; Fiona Polack; Dimitris S. Kolovos (ECMFA, 2018)

Towards Hybrid Model Persistence. - Alfa Yohannis; Horacio Hoyos Rodriguez; Fiona Polack; Dimitris S. Kolovos (MoDELS (Workshops), 2018)

Towards Efficient Comparison of Change-Based Models. - Alfa Yohannis; Rodriguez Hoyos Rodriguez; Fiona Polack; Dimitris S. Kolovos (J. Object Technol., 2019)

Coloured noise time series as appropriate models for environmental variation in artificial evolutionary systems. - Matt Grove; James M. Borg; Fiona Polack (ALIFE, 2020)

A family of languages for trustworthy agent-based simulation. - Steffen Zschaler; Fiona A. C. Polack (SLE, 2020)

Report on Workshop: Planning the Future of Agent Simulation. - Fiona Polack; Steffen Zschaler (Artif. Life, 2020)

On Developing and Validating Dynamic Systems: Simulation Engineering. - Fiona Polack; Kieran Alden (J. Object Technol., 2020)

Living with Uncertainty in Model-Based Development. - Simona Bernardi 001; Michalis Famelis; Jean-Marc Jézéquel; Raffaela Mirandola; Diego Perez-Palacin; Fiona A. C. Polack; Catia Trubiani (Composing Model-Based Analysis Tools, 2021)

The role of living laboratories in unlocking the potential of low-carbon energy technologies on the journey to net-zero. - Zhong Fan; Jun Cao; Taskin Jamal; Chris Fogwill; Cephas Samende; Zoe Robinson; Fiona Polack; Mark Ormerod; Sharon George; Adam Peacock; David Healey (CoRR, 2022)

Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models. - Richard F. Paige; Fiona A. C. Polack; Steffen Zschaler; Thomas Chiang; Nicholas Annable (J. Object Technol., 2022)

The Importance of Noise Colour in Simulations of Evolutionary Systems. - Matt Grove; Lucy Timbrell; Ben P. Jolley; Fiona Polack; James M. Borg (Artif. Life, 2022)

Doctoral Symposium. - Fiona Polack; Hugo Bruneliere (MoDELS (Companion), 2023)

Trustworthy agent-based simulation: the case for domain-specific modelling languages. - Steffen Zschaler; Fiona A. C. Polack (Softw. Syst. Model., 2023)