Fiona Polack

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 20

Top Topics

Complex Systems

Abstraction Levels

Top Venues

ICORES (Selected Papers)

Publications

Fiona Polack, Hugo Bruneliere
Doctoral Symposium. MoDELS (Companion) (2023)
Matt Grove, Lucy Timbrell, Ben P. Jolley, Fiona Polack, James M. Borg
The Importance of Noise Colour in Simulations of Evolutionary Systems. Artif. Life 27 (3-4) (2022)
Zhong Fan, Jun Cao, Taskin Jamal, Chris Fogwill, Cephas Samende, Zoe Robinson, Fiona Polack, Mark Ormerod, Sharon George, Adam Peacock, David Healey
The role of living laboratories in unlocking the potential of low-carbon energy technologies on the journey to net-zero. CoRR (2022)
Fiona Polack, Steffen Zschaler
Report on Workshop: Planning the Future of Agent Simulation. Artif. Life 26 (2) (2020)
Matt Grove, James M. Borg, Fiona Polack
Coloured noise time series as appropriate models for environmental variation in artificial evolutionary systems. ALIFE (2020)
Fiona Polack, Kieran Alden
On Developing and Validating Dynamic Systems: Simulation Engineering. J. Object Technol. 19 (3) (2020)
Matt Grove, James M. Borg, Fiona Polack
Coloured noise time series as appropriate models for environmental variation in artificial evolutionary systems. CoRR (2020)
Alfa Yohannis, Rodriguez Hoyos Rodriguez, Fiona Polack, Dimitris S. Kolovos
Towards Efficient Comparison of Change-Based Models. J. Object Technol. 18 (2) (2019)
Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack, Dimitris S. Kolovos
Towards Efficient Loading of Change-Based Models. ECMFA (2018)
Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack, Dimitris S. Kolovos
Towards Hybrid Model Persistence. MoDELS (Workshops) (2018)
Yujie Chen, Peter I. Cowling, Fiona Polack, Stephen Remde, Philip Mourdjis
Dynamic optimisation of preventative and corrective maintenance schedules for a large scale urban drainage system. Eur. J. Oper. Res. 257 (2) (2017)
Alfa Yohannis, Dimitris S. Kolovos, Fiona Polack
Turning Models Inside Out. MoDELS (Satellite Events) (2017)
Philip Mourdjis, Fiona Polack, Peter I. Cowling, Yujie Chen, Martin Robinson
The Effect of Cooperation in Pickup and Multiple Delivery Problems. ICORES (2016)
Yujie Chen, Peter I. Cowling, Stephen Remde, Fiona Polack
Efficient Large-scale Road Inspection Routing. ICORES (2016)
Yujie Chen, Fiona Polack, Peter I. Cowling, Philip Mourdjis, Stephen Remde
Exploring Techniques to Improve Large-Scale Drainage System Maintenance Scheduling Using a Risk Driven Model. ICORES (Selected Papers) (2016)
Yujie Chen, Fiona Polack, Peter I. Cowling, Stephen Remde
A Comparison of One-Pass and Bi-directional Approaches Applied to Large-Scale Road Inspection. ICORES (Selected Papers) (2016)
Philip Mourdjis, Fiona Polack, Peter I. Cowling, Yujie Chen, Martin Robinson
Competition and Cooperation in Pickup and Multiple Delivery Problems. ICORES (Selected Papers) (2016)
Yujie Chen, Fiona Polack, Peter I. Cowling, Philip Mourdjis, Stephen Remde
Risk Driven Analysis of Maintenance for a Large-scale Drainage System. ICORES (2016)
Fiona Polack
Filling gaps in simulation of complex systems: the background and motivation for CoSMoS. Nat. Comput. 14 (1) (2015)
Fiona Polack, Alastair P. Droop
Principled simulation of cell proliferation dynamics using the CoSMoS approach. Nat. Comput. 14 (1) (2015)
Ipek Caliskanelli, James Harbin, Leandro Soares Indrusiak, Paul D. Mitchell, Fiona Polack, David Chesmore
Bioinspired Load Balancing in Large-Scale WSNs Using Pheromone Signalling. Int. J. Distributed Sens. Networks 9 (2013)
Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack
Scenario-based modeling to capture requirements for immune inspired profile adaptation. CITA (2013)
James R. Williams, Simon M. Poulding, Richard F. Paige, Fiona Polack
Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour. Models@run.time (2013)
Paul N. Taylor, Fiona Polack, Jon Timmis
Accelerating Immunos 99. ECAL (2013)
Philippe Collard, Salma Mesmoudi, Teodor Ghetiu, Fiona Polack
Emergence of Frontiers in Networked Schelling Segregationist Models. Complex Syst. 22 (1) (2013)
Ipek Caliskanelli, James Harbin, Leandro Soares Indrusiak, Paul D. Mitchell, David Chesmore, Fiona Polack
Runtime optimisation in WSNs for load balancing using pheromone signalling. NESEA (2012)
Nurulhuda Firdaus Mohd Azmi, Fiona Polack, Jon Timmis
Immune Inspired Adaptive Information Filtering: Focusing on Profile Adaptation. BIONETICS (2011)
Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack
Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering. ICECCS (2010)
Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack
Profile Adaptation in Adaptive Information Filtering: An Immune Inspired Approach. SoCPaR (2009)
Régine Laleau, Fiona Polack
Using formal metamodels to check consistency of functional views in information systems specification. Inf. Softw. Technol. 50 (7-8) (2008)
Andrew Weeks, Fiona Polack, Susan Stepney
Investigating Emergence by Coarse Graining Elementary Cellular Automata. ALIFE (2008)
Nuno Amálio, Fiona Polack, Jing Zhang
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity. ABZ (2008)
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST (2008)
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
The Grand Challenge of Scalability for Model Driven Engineering. MoDELS (Workshops) (2008)
Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack
Constructing Models with the Human-Usable Textual Notation. MoDELS (2008)
Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack
The Epsilon Generation Language. ECMDA-FA (2008)
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
The Epsilon Transformation Language. ICMT@TOOLS (2008)
Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke
Extreme Programming Security Practices. XP (2007)
Andrew Weeks, Susan Stepney, Fiona Polack
Neutral Emergence and Coarse Graining. ECAL (2007)
Nuno Amálio, Fiona Polack, Susan Stepney
Frameworks Based on Templates for Rigorous Model-driven Development. Electron. Notes Theor. Comput. Sci. 191 (2007)
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack, Louis M. Rose
Update Transformations in the Small with the Epsilon Wizard Language. J. Object Technol. 6 (9) (2007)
Nuno Amálio, Susan Stepney, Fiona Polack
A Formal Template Language Enabling Metaproof. FM (2006)
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006)
Susan Stepney, Fiona Polack, Heather R. Turner
Engineering Emergence. ICECCS (2006)
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
Merging Models with the Epsilon Merging Language (EML). MoDELS (2006)
Peter H. Welch, Fred R. M. Barnes, Fiona Polack
Communicating Complex Systems. ICECCS (2006)
Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark
Deviational Analyses for Validating Regulations on Real Systems. ReMo2V (2006)
Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack
An action semantics for MOF 2.0. SAC (2006)
Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke
Agile development of secure web applications. ICWE (2006)
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
The Epsilon Object Language (EOL). ECMDA-FA (2006)
Fiona Polack, Susan Stepney
Emergent Properties Do Not Refine. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack
Refinement via Consistency Checking in MDA. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
An Agile and Extensible Code Generation Framework. XP (2005)
Fiona Polack, Susan Stepney, Heather R. Turner, Peter H. Welch, Fred R. M. Barnes
An Architecture for Modelling Emergence in CA-Like Systems. ECAL (2005)
Nuno Amálio, Fiona Polack, Susan Stepney
An Object-Oriented Structuring for Z Based on Views. ZB (2005)
Nuno Amálio, Susan Stepney, Fiona Polack
Formal Proof from UML Models. ICFEM (2004)
Thitima Srivatanakul, John A. Clark, Fiona Polack
Effective Security Requirements Analysis: HAZOP and Use Cases. ISC (2004)
Xiaocheng Ge, Fiona Polack, Régine Laleau
Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. CAiSE (2004)
Susan Stepney, Fiona Polack, Ian Toyn
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. ZB (2003)
Nuno Amálio, Fiona Polack
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. ZB (2003)
Susan Stepney, Fiona Polack, Ian Toyn
An Outline Pattern Language for Z: Five Illustrations and Two Tables. ZB (2003)
Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack
Challenging Formal Specifications by Mutation: a CSP security example. APSEC (2003)
Susan Stepney, Fiona Polack, Ian Toyn
Refactoring in maintenance and development of Z specifications. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Regine Laleau, Fiona Polack
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. ZB (2002)
Regine Laleau, Fiona Polack
Specification of integrity-preserving operations in information systems by using a formal UML-based language. Inf. Softw. Technol. 43 (12) (2001)
Regine Laleau, Fiona Polack
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems. CAiSE (2001)
Fiona Polack
A case study using lightweight formalism to review an information system specification. Softw. Pract. Exp. 31 (8) (2001)
Fiona Polack, Susan Stepney
Systems Development Using Z Generics. World Congress on Formal Methods (1999)
Fiona Polack, Keith Mander
Software Quality Assurance Using the SAZ Method. Z User Workshop (1994)
Fiona Polack, Mark Whiston, Keith Mander
The SAZ Project: Integrating SSADM and Z.. FME (1993)
Fiona Polack
Integrating formal notations and systems analysis: using entity relationship diagrams. Softw. Eng. J. 7 (5) (1992)
Fiona Polack, Mark Whiston, Peter Hitchcock
Structured Analysis - A Draft Method for Writing Z Specifications. Z User Workshop (1991)
Fiona Polack, Peter Hitchcock, Alan W. Brown
SAZ. Z User Workshop (1990)