Fiona Polack

Title: Professor
Phone: 01782 733780
Email: f.a.c.polack@keele.ac.uk
Location: +44 1782 7 33780
Role:
Contacting me:

I joined Keele in 2017 from University of York. 

My recent research is in the development and assurance of simulations of complex (biological) systems, for use alongside laboratory research (YCIL). 

  • model driven engineering support for simulation
  • patterns for simulation development
  • arguing fitness for purpose

My earlier research covered formal modelling (e.g. in Z and B):

  • capturing the intent of diagrammatic models in formal models
  • formal specification of information systems 
  • patterns and generics in Z

I have supervised successful PhD in many areas, including formal methods, security analysis, artificial immune systems, model driven engineering, CA emergence and course graining, search-based software engineering, hyperheuristic approaches to route planning.

Selected Publications

  • Mourdjis P, Chen Y, Polack FAC, Cowling P, Robinson M. 2016. Variable Neighbourhood Descent with Memory: A Hybrid Metaheuristic for Supermarket Resupply. In MJ. Blesa, C. Blum, A. Cangelosi, V. Cutello, AGD. Nuovo, M. Pavone & E-G. Talbi (Eds.). HM (vol. 9668, pp. 32-46). Springer. doi> link>
  • Chen Y, Mourdjis P, Polack FAC, Cowling P, Remde S. 2016. Evaluating Hyperheuristics and Local Search Operators for Periodic Routing Problems. In F. Chicano, B. Hu & P. García-Sánchez (Eds.). EvoCOP (vol. 9595, pp. 104-120). Springer. doi> link>
  • Alden K, Andrews PS, Polack FAC, Veiga-Fernandes H, Coles MC, Timmis J. 2015. Using argument notation to engineer biological simulations with increased confidence. J R Soc Interface, vol. 12(104), 20141059. link> doi>
  • Paige RF, Kolovos DS, Polack FAC, Rose LM. 2015. Evaluating Student Work in Modelling Courses. In A. Sturm & T. Clark (Eds.). EduSymp@MoDELS (vol. 1555, pp. 68-76). CEUR-WS.org. link>
  • Paige RF, Kolovos DS, Polack FAC. 2014. A tutorial on metamodelling for grammar researchers. Sci. Comput. Program., vol. 96, 396-416. doi>

Full Publications List show

Journal Articles

  • Alden K, Andrews PS, Polack FAC, Veiga-Fernandes H, Coles MC, Timmis J. 2015. Using argument notation to engineer biological simulations with increased confidence. J R Soc Interface, vol. 12(104), 20141059. link> doi>
  • Paige RF, Kolovos DS, Polack FAC. 2014. A tutorial on metamodelling for grammar researchers. Sci. Comput. Program., vol. 96, 396-416. doi>
  • Rose LM, Kolovos DS, Paige RF, Polack FAC, Poulding SM. 2014. Epsilon Flock: a model migration language. Software and System Modeling, vol. 13, 735-755. doi>
  • Bown J, Andrews PS, Deeni Y, Goltsov A, Idowu M, Polack FAC, Sampson AT, Shovman M, Stepney S. 2012. Engineering simulations for cancer systems biology. Curr Drug Targets, vol. 13(12), 1560-1574. link> doi>
  • Williams JR and Polack FAC. 2010. Automated Formalisation for Verification of Diagrammatic Models. Electr. Notes Theor. Comput. Sci., vol. 263, 211-226. doi>
  • Walker TA, Polack FAC, Braunstein SL. 2008. Error correcting bell inequalities. Phys Rev Lett, vol. 101(8), 080501. link> doi>
  • Turner HR, Stepney S, Polack FAC. 2007. Rule Migration: Exploring a Design Framework for Emergence. IJUC, vol. 3, 49-66.
  • Mander K and Polack FAC. 1995. Rigorous specification using structured systems analysis and Z. Information & Software Technology, vol. 37, 285-291. doi>

Other

  • Mourdjis P, Chen Y, Polack FAC, Cowling P, Robinson M. 2016. Variable Neighbourhood Descent with Memory: A Hybrid Metaheuristic for Supermarket Resupply. In MJ. Blesa, C. Blum, A. Cangelosi, V. Cutello, AGD. Nuovo, M. Pavone & E-G. Talbi (Eds.). HM (vol. 9668, pp. 32-46). Springer. doi> link>
  • Chen Y, Mourdjis P, Polack FAC, Cowling P, Remde S. 2016. Evaluating Hyperheuristics and Local Search Operators for Periodic Routing Problems. In F. Chicano, B. Hu & P. García-Sánchez (Eds.). EvoCOP (vol. 9595, pp. 104-120). Springer. doi> link>
  • Paige RF, Kolovos DS, Polack FAC, Rose LM. 2015. Evaluating Student Work in Modelling Courses. In A. Sturm & T. Clark (Eds.). EduSymp@MoDELS (vol. 1555, pp. 68-76). CEUR-WS.org. link>
  • Paige RF, Polack FAC, Kolovos DS, Rose LM, Matragkas ND, Williams JR. 2014. Bad Modelling Teaching Practices. In B. Demuth & DR. Stikkolorum (Eds.). EduSymp@MoDELS (vol. 1346, pp. 1-12). CEUR-WS.org. link>
  • Williams JR, Zolotas A, Matragkas ND, Rose LM, Kolovos DS, Paige RF, Polack FAC. 2013. What do Metamodels Really Look Like?. In MRV. Chaudron, M. Genero, S. Abrahão & L. Pareto (Eds.). EESSMOD@MoDELS (vol. 1078, pp. 55-60). CEUR-WS.org. link>
  • Polack FAC. 2012. Choosing and adapting design notations in the principled development of complex systems simulations for research. In K. Duddy (Ed.). MOTPW@MODELS (p. 6:1). ACM. doi> link>
  • Paige RF, Kolovos DS, Polack FAC. 2012. Metamodelling for Grammarware Researchers. In K. Czarnecki & G. Hedin (Eds.). SLE (vol. 7745, pp. 64-82). Springer. doi> link>
  • Williams JR, Burton FR, Paige RF, Polack FAC. 2012. Sensitivity Analysis in Model-Driven Engineering. In RB. France, J. Kazmeier, R. Breu & C. Atkinson (Eds.). MoDELS (vol. 7590, pp. 743-758). Springer. doi> link>
  • Williams JR, Poulding SM, Rose LM, Paige RF, Polack FAC. 2011. Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels. In MB. Cohen & MÓ. Cinnéide (Eds.). SSBSE (vol. 6956, pp. 112-126). Springer. doi> link>
  • Rose LM, García-Domínguez A, Williams JR, Kolovos DS, Paige RF, Polack FAC. 2011. Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case. In PV. Gorp, S. Mazanek & LM. Rose (Eds.). TTC (vol. 74, pp. 332-339). doi> link>
  • Rose LM, Herrmannsdoerfer M, Williams JR, Kolovos DS, Garcés K, Paige RF, Polack FAC. 2010. A Comparison of Model Migration Tools. In DC. Petriu, N. Rouquette & Ø. Haugen (Eds.). MoDELS (1) (vol. 6394, pp. 61-75). Springer. doi> link>
  • Rose LM, Kolovos DS, Drivalos N, Williams JR, Paige RF, Polack FAC, Fernandes KJ. 2010. Concordance: A Framework for Managing Model Integrity. In T. Kühne, B. Selic, M-P. Gervais & F. Terrier (Eds.). ECMFA (vol. 6138, pp. 245-260). Springer. doi> link>
  • Kolovos DS, Rose LM, Matragkas ND, Paige RF, Polack FAC, Fernandes KJ. 2010. Constructing and Navigating Non-invasive Model Decorations. In L. Tratt & M. Gogolla (Eds.). ICMT (vol. 6142, pp. 138-152). Springer. doi> link>
  • Tabatabaie M, Polack FAC, Paige RF. 2010. Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems. In JEQ. Varajão, MM. Cruz-Cunha, GD. Putnik & A. Trigo (Eds.). CENTERIS (1) (vol. 109, pp. 62-70). Springer. doi> link>
  • Williams JR, Polack FAC, Paige RF. 2010. Formal Analysis in Model Management: Exploiting the Power of CZT. In M. Frappier, U. Glässer, S. Khurshid, R. Laleau & S. Reeves (Eds.). ASM (vol. 5977, p. 414). Springer. doi> link>
  • Ghetiu T, Polack FAC, Bown JL. 2010. In Search of Sound 'in silico' Research - Validating a Complex System Simulation. In R. Calinescu, RF. Paige & MZ. Kwiatkowska (Eds.). ICECCS (p. 312). IEEE Computer Society. doi> link>
  • Tabatabaie M, Polack FAC, Paige RF. 2010. KAOS-β: A Goal-oriented Process Model for EIS. In JG. Sopeña & MIC. Tuñón (Eds.). MSVVEIS (pp. 40-49). SciTePress. link>
  • Rose LM, Kolovos DS, Paige RF, Polack FAC. 2010. Model Migration with Epsilon Flock. In L. Tratt & M. Gogolla (Eds.). ICMT (vol. 6142, pp. 184-198). Springer. doi> link>
  • Polack FAC, Andrews PS, Ghetiu T, Read M, Stepney S, Timmis J, Sampson AT. 2010. Reflections on the Simulation of Complex Systems for Science. In R. Calinescu, RF. Paige & MZ. Kwiatkowska (Eds.). ICECCS (pp. 276-285). IEEE Computer Society. doi> link>
  • Kolovos DS, Rose LM, Abid SB, Paige RF, Polack FAC, Botterweck G. 2010. Taming EMF and GMF Using Model Transformation. In DC. Petriu, N. Rouquette & Ø. Haugen (Eds.). MoDELS (1) (vol. 6394, pp. 211-225). Springer. doi> link>
  • Rose LM, Kolovos DS, Paige RF, Polack FAC. 2009. Enhanced Automation for Managing Model and Metamodel Inconsistency. ASE (pp. 545-549). IEEE Computer Society. doi> link>
  • Kolovos DS, Paige RF, Polack FAC. 2009. On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. In J-R. Abrial & U. Glässer (Eds.). Rigorous Methods for Software Construction and Analysis (vol. 5115, pp. 204-218). Springer. doi> link>
  • Kolovos DS, Rose LM, Paige RF, Polack FAC. 2009. Raising the level of abstraction in the development of GMF-based graphical model editors. MiSE@ICSE (pp. 13-19). IEEE Computer Society. doi> link>
  • Polack FAC. 2009. Self-organisation for Survival in Complex Computer Architectures. In D. Weyns, S. Malek, RD. Lemos & J. Andersson (Eds.). SOAR (vol. 6090, pp. 66-83). Springer. doi> link>
  • Paige RF, Kolovos DS, Rose LM, Drivalos N, Polack FAC. 2009. The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. ICECCS (pp. 162-171). IEEE Computer Society. doi> link>
  • Polack FAC, Andrews PS, Sampson AT. 2009. The engineering of concurrent simulations of complex systems. IEEE Congress on Evolutionary Computation (pp. 217-224). IEEE. doi> link>
  • Polack FAC, Hoverd T, Sampson AT, Stepney S, Timmis J. 2008. Complex Systems Models - Engineering Simulations. In S. Bullock, J. Noble, RA. Watson & MA. Bedau (Eds.). ALIFE (pp. 482-489). MIT Press. link>
  • Kolovos DS, Paige RF, Polack FAC. 2008. Novel features in languages of the epsilon model management platform. In JM. Atlee, RB. France, G. Georg, A. Moreira, B. Rumpe, S. Völkel & S. Zschaler (Eds.). MiSE (pp. 69-73). ACM. doi> link>
  • Polack DS, Paige RF, Rose LM, Polack FAC. 2008. Unit Testing Model Management Operations. ICST Workshops (pp. 97-104). IEEE Computer Society. doi> link>

I am teaching

  • CSM-30016: Software engineering and project management
  • CSM-20022: Software lifecycles and development