default search action
Fiona A. C. Polack
Fiona Polack
Person information
- affiliation: University of Hull, UK
- affiliation (former): University of York, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j21]Steffen Zschaler
, Fiona A. C. Polack:
Trustworthy agent-based simulation: the case for domain-specific modelling languages. Softw. Syst. Model. 22(2): 455-470 (2023) - [c89]Fiona Polack, Hugo Bruneliere:
Doctoral Symposium. MoDELS (Companion) 2023: 138-139 - 2022
- [j20]Matt Grove
The Importance of Noise Colour in Simulations of Evolutionary Systems. Artif. Life 27(3-4): 164-182 (2022) - [j19]Richard F. Paige, Fiona A. C. Polack, Steffen Zschaler
Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models. J. Object Technol. 21(4): 4:1-13 (2022) - [i2]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 abs/2204.00293 (2022) - 2021
- [p1]Simona Bernardi, Michalis Famelis, Jean-Marc Jézéquel, Raffaela Mirandola, Diego Perez-Palacin, Fiona A. C. Polack, Catia Trubiani:
Living with Uncertainty in Model-Based Development. Composing Model-Based Analysis Tools 2021: 159-185 - 2020
- [j18]Fiona Polack, Steffen Zschaler
Report on Workshop: Planning the Future of Agent Simulation. Artif. Life 26(2): 307-313 (2020) - [j17]Fiona Polack, Kieran Alden:
On Developing and Validating Dynamic Systems: Simulation Engineering. J. Object Technol. 19(3): 3:1-13 (2020) - [c88]Matt Grove, James M. Borg
Coloured noise time series as appropriate models for environmental variation in artificial evolutionary systems. ALIFE 2020: 292-299 - [c87]Steffen Zschaler
A family of languages for trustworthy agent-based simulation. SLE 2020: 16-21 - [i1]Matt Grove, James M. Borg, Fiona Polack:
Coloured noise time series as appropriate models for environmental variation in artificial evolutionary systems. CoRR abs/2006.16204 (2020)
2010 – 2019
- 2019
- [j16]Alfa Yohannis
Towards Efficient Comparison of Change-Based Models. J. Object Technol. 18(2): 7:1-21 (2019) - [e4]Loli Burgueño, Alexander Pretschner, Sebastian Voss, Michel Chaudron, Jörg Kienzle, Markus Völter, Sébastien Gérard, Mansooreh Zahedi, Erwan Bousse, Arend Rensink, Fiona Polack, Gregor Engels, Gerti Kappel:
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion 2019, Munich, Germany, September 15-20, 2019. IEEE 2019, ISBN 978-1-7281-5125-0 [contents] - 2018
- [b1]Susan Stepney, Fiona A. C. Polack:
Engineering Simulations as Scientific Instruments: A Pattern Language. Springer 2018, ISBN 978-3-030-01937-2, pp. 3-324 - [c86]Alfa Yohannis
Towards Efficient Loading of Change-Based Models. ECMFA 2018: 235-250 - [c85]Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack, Dimitris S. Kolovos:
Towards Hybrid Model Persistence. MoDELS (Workshops) 2018: 594-603 - 2017
- [j15]Yujie Chen
Dynamic optimisation of preventative and corrective maintenance schedules for a large scale urban drainage system. Eur. J. Oper. Res. 257(2): 494-510 (2017) - [c84]Alfa Yohannis, Dimitris S. Kolovos, Fiona Polack:
Turning Models Inside Out. MoDELS (Satellite Events) 2017: 430-434 - 2016
- [c83]Yujie Chen, Philip Mourdjis, Fiona A. C. Polack, Peter I. Cowling
Evaluating Hyperheuristics and Local Search Operators for Periodic Routing Problems. EvoCOP 2016: 104-120 - [c82]Philip Mourdjis, Yujie Chen, Fiona A. C. Polack, Peter I. Cowling
Variable Neighbourhood Descent with Memory: A Hybrid Metaheuristic for Supermarket Resupply. HM 2016: 32-46 - [c81]Philip Mourdjis, Fiona Polack, Peter I. Cowling
Competition and Cooperation in Pickup and Multiple Delivery Problems. ICORES (Selected Papers) 2016: 142-160 - [c80]Yujie Chen, Fiona Polack, Peter I. Cowling
Exploring Techniques to Improve Large-Scale Drainage System Maintenance Scheduling Using a Risk Driven Model. ICORES (Selected Papers) 2016: 161-179 - [c79]Yujie Chen, Fiona Polack, Peter I. Cowling
A Comparison of One-Pass and Bi-directional Approaches Applied to Large-Scale Road Inspection. ICORES (Selected Papers) 2016: 180-200 - [c78]Philip Mourdjis, Fiona Polack, Peter I. Cowling, Yujie Chen, Martin Robinson:
The Effect of Cooperation in Pickup and Multiple Delivery Problems. ICORES 2016: 287-295 - [c77]Yujie Chen, Fiona Polack, Peter I. Cowling, Philip Mourdjis, Stephen Remde:
Risk Driven Analysis of Maintenance for a Large-scale Drainage System. ICORES 2016: 296-303 - [c76]Yujie Chen, Peter I. Cowling, Stephen Remde, Fiona Polack:
Efficient Large-scale Road Inspection Routing. ICORES 2016: 304-312 - 2015
- [j14]Fiona Polack:
Filling gaps in simulation of complex systems: the background and motivation for CoSMoS. Nat. Comput. 14(1): 49-62 (2015) - [j13]Fiona Polack, Alastair P. Droop:
Principled simulation of cell proliferation dynamics using the CoSMoS approach. Nat. Comput. 14(1): 63-82 (2015) - [c75]Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack, Louis M. Rose:
Evaluating Student Work in Modelling Courses. EduSymp@MoDELS 2015: 68-76 - [e3]Paul S. Andrews, Leo S. D. Caves, René Doursat, Simon J. Hickinbotham, Fiona A. C. Polack, Susan Stepney, Tim Taylor, Jon Timmis:
Proceedings of the Thirteenth European Conference Artificial Life, ECAL 2015, York, UK, July 20-24, 2015. MIT Press 2015, ISBN 978-0-262-33027-5 [contents] - 2014
- [j12]Richard F. Paige, Dimitrios S. Kolovos
A tutorial on metamodelling for grammar researchers. Sci. Comput. Program. 96: 396-416 (2014) - [j11]Louis M. Rose, Dimitrios S. Kolovos
Epsilon Flock: a model migration language. Softw. Syst. Model. 13(2): 735-755 (2014) - [c74]Richard F. Paige, Fiona A. C. Polack, Dimitrios S. Kolovos, Louis M. Rose, Nicholas Drivalos Matragkas, James R. Williams:
Bad Modelling Teaching Practices. EduSymp@MoDELS 2014: 1-12 - 2013
- [j10]Philippe Collard, Salma Mesmoudi, Teodor Ghetiu, Fiona Polack:
Emergence of Frontiers in Networked Schelling Segregationist Models. Complex Syst. 22(1) (2013) - [j9]Ipek Caliskanelli
Bioinspired Load Balancing in Large-Scale WSNs Using Pheromone Signalling. Int. J. Distributed Sens. Networks 9 (2013) - [c73]Nurulhuda Firdaus Mohd Azmi
Scenario-based modeling to capture requirements for immune inspired profile adaptation. CITA 2013: 1-6 - [c72]Paul N. Taylor
Accelerating Immunos 99. ECAL 2013: 893-898 - [c71]James R. Williams, Athanasios Zolotas, Nicholas Drivalos Matragkas, Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack:
What do Metamodels Really Look Like? EESSMod@MoDELS 2013: 55-60 - [c70]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: 76-88 - 2012
- [c69]Fiona A. C. Polack:
Choosing and adapting design notations in the principled development of complex systems simulations for research. MOTPW@MoDELS 2012: 6:1-6:6 - [c68]James R. Williams, Richard F. Paige, Fiona A. C. Polack:
Searching for model migration strategies. ME@MoDELS 2012: 39-44 - [c67]James R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack:
Sensitivity Analysis in Model-Driven Engineering. MoDELS 2012: 743-758 - [c66]Ipek Caliskanelli
Runtime optimisation in WSNs for load balancing using pheromone signalling. NESEA 2012: 1-8 - [c65]Richard F. Paige, Dimitrios S. Kolovos
Metamodelling for Grammarware Researchers. SLE 2012: 64-82 - 2011
- [c64]Nurulhuda Firdaus Mohd Azmi
Immune Inspired Adaptive Information Filtering: Focusing on Profile Adaptation. BIONETICS 2011: 242-247 - [c63]James R. Williams, Dimitrios S. Kolovos
Requirements for a model comparison language. IWMCP@ICMT 2011: 26-29 - [c62]James R. Williams, Simon M. Poulding, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack:
Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels. SSBSE 2011: 112-126 - [c61]Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos
Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case. TTC 2011: 332-339 - 2010
- [c60]James R. Williams, Fiona A. C. Polack, Richard F. Paige:
Formal Analysis in Model Management: Exploiting the Power of CZT. ASM 2010: 414 - [c59]Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige:
Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems. CENTERIS (1) 2010: 62-70 - [c58]Louis M. Rose, Dimitrios S. Kolovos
Concordance: A Framework for Managing Model Integrity. ECMFA 2010: 245-260 - [c57]Fiona A. C. Polack, Paul S. Andrews, Teodor Ghetiu, Mark Read, Susan Stepney
Reflections on the Simulation of Complex Systems for Science. ICECCS 2010: 276-285 - [c56]Teodor Ghetiu, Fiona A. C. Polack, James L. Bown:
In Search of Sound 'in silico' Research - Validating a Complex System Simulation. ICECCS 2010: 312 - [c55]Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack:
Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering. ICECCS 2010: 315-316 - [c54]Dimitrios S. Kolovos
Constructing and Navigating Non-invasive Model Decorations. ICMT@TOOLS 2010: 138-152 - [c53]Louis M. Rose, Dimitrios S. Kolovos
Model Migration with Epsilon Flock. ICMT@TOOLS 2010: 184-198 - [c52]Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos
A Comparison of Model Migration Tools. MoDELS (1) 2010: 61-75 - [c51]Dimitrios S. Kolovos
Taming EMF and GMF Using Model Transformation. MoDELS (1) 2010: 211-225 - [c50]Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige:
KAOS-β: A Goal-oriented Process Model for EIS. MSVVEIS 2010: 40-49
2000 – 2009
- 2009
- [c49]Dimitrios S. Kolovos
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. Rigorous Methods for Software Construction and Analysis 2009: 204-218 - [c48]Fiona A. C. Polack, Paul S. Andrews, Adam T. Sampson:
The engineering of concurrent simulations of complex systems. IEEE Congress on Evolutionary Computation 2009: 217-224 - [c47]Richard F. Paige, Dimitrios S. Kolovos
The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. ICECCS 2009: 162-171 - [c46]Dimitrios S. Kolovos
Raising the level of abstraction in the development of GMF-based graphical model editors. MiSE@ICSE 2009: 13-19 - [c45]Louis M. Rose, Dimitrios S. Kolovos
Enhanced Automation for Managing Model and Metamodel Inconsistency. ASE 2009: 545-549 - [c44]Nurulhuda Firdaus Mohd Azmi
Profile Adaptation in Adaptive Information Filtering: An Immune Inspired Approach. SoCPaR 2009: 414-419 - [c43]Fiona A. C. Polack:
Self-organisation for Survival in Complex Computer Architectures. SOAR 2009: 66-83 - [c42]James R. Williams, Fiona A. C. Polack:
Automated Formalisation for Verification of Diagrammatic Models. FACS@FMWeek 2009: 211-226 - 2008
- [j8]Régine Laleau, Fiona Polack:
Using formal metamodels to check consistency of functional views in information systems specification. Inf. Softw. Technol. 50(7-8): 797-814 (2008) - [c41]Fiona A. C. Polack, Tim Hoverd, Adam T. Sampson, Susan Stepney, Jon Timmis:
Complex Systems Models - Engineering Simulations. ALIFE 2008: 482-489 - [c40]Andrew Weeks, Fiona Polack, Susan Stepney:
Investigating Emergence by Coarse Graining Elementary Cellular Automata. ALIFE 2008: 686-693 - [c39]Nuno Amálio
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity. ABZ 2008: 323-336 - [c38]Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack:
The Epsilon Generation Language. ECMDA-FA 2008: 1-16 - [c37]Dimitrios S. Kolovos
The Epsilon Transformation Language. ICMT@TOOLS 2008: 46-60 - [c36]Dimitrios S. Kolovos
Novel features in languages of the epsilon model management platform. MiSE 2008: 69-73 - [c35]Dimitrios S. Kolovos
Unit Testing Model Management Operations. ICST Workshops 2008: 97-104 - [c34]Dimitrios S. Kolovos
Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST 2008: 356-364 - [c33]Dimitrios S. Kolovos
The Grand Challenge of Scalability for Model Driven Engineering. MoDELS (Workshops) 2008: 48-53 - [c32]Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos
Constructing Models with the Human-Usable Textual Notation. MoDELS 2008: 249-263 - [e2]Peter H. Welch, Susan Stepney, Fiona Polack, Fred R. M. Barnes, Alistair A. McEwan, Gardiner S. Stiles, Jan F. Broenink, Adam T. Sampson:
The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008. Concurrent Systems Engineering Series 66, IOS Press 2008, ISBN 978-1-58603-907-3 [contents] - 2007
- [j7]Heather R. Turner, Susan Stepney, Fiona A. C. Polack:
Rule Migration: Exploring a Design Framework for Emergence. Int. J. Unconv. Comput. 3(1): 49-66 (2007) - [j6]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): 53-69 (2007) - [c31]Andrew Weeks, Susan Stepney, Fiona Polack:
Neutral Emergence and Coarse Graining. ECAL 2007: 1131-1140 - [c30]Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke:
Extreme Programming Security Practices. XP 2007: 226-230 - 2006
- [j5]Dimitrios S. Kolovos
Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006) - [c29]Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark:
Deviational Analyses for Validating Regulations on Real Systems. ReMo2V 2006 - [c28]Dimitrios S. Kolovos
The Epsilon Object Language (EOL). ECMDA-FA 2006: 128-142 - [c27]Nuno Amálio
A Formal Template Language Enabling Metaproof. FM 2006: 252-267 - [c26]Susan Stepney, Fiona Polack, Heather R. Turner:
Engineering Emergence. ICECCS 2006: 89-97 - [c25]Peter H. Welch, Fred R. M. Barnes, Fiona Polack:
Communicating Complex Systems. ICECCS 2006: 107-120 - [c24]Xiaocheng Ge
Agile development of secure web applications. ICWE 2006: 305-312 - [c23]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
Merging Models with the Epsilon Merging Language (EML). MoDELS 2006: 215-229 - [c22]Richard F. Paige, Dimitrios S. Kolovos
An action semantics for MOF 2.0. SAC 2006: 1304-1305 - [e1]John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke:
Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings. Lecture Notes in Computer Science 3934, Springer 2006, ISBN 3-540-33376-2 [contents] - 2005
- [c21]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: 433-442 - [c20]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack:
An Agile and Extensible Code Generation Framework. XP 2005: 226-229 - [c19]Nuno Amálio
An Object-Oriented Structuring for Z Based on Views. ZB 2005: 262-278 - [c18]Nuno Amálio
Frameworks Based on Templates for Rigorous Model-driven Development. IFM Doctoral Symposium 2005: 3-23 - [c17]Richard F. Paige, Dimitrios S. Kolovos
Refinement via Consistency Checking in MDA. REFINE 2005: 151-161 - [c16]Fiona Polack, Susan Stepney
Emergent Properties Do Not Refine. REFINE 2005: 163-181 - 2004
- [c15]Xiaocheng Ge, Fiona Polack, Régine Laleau:
Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. CAiSE 2004: 234-247 - [c14]Nuno Amálio
Formal Proof from UML Models. ICFEM 2004: 418-433 - [c13]Thitima Srivatanakul, John A. Clark, Fiona Polack:
Effective Security Requirements Analysis: HAZOP and Use Cases. ISC 2004: 416-427 - 2003
- [c12]Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack:
Challenging Formal Specifications by Mutation: a CSP security example. APSEC 2003: 340- - [c11]Susan Stepney, Fiona Polack, Ian Toyn:
An Outline Pattern Language for Z: Five Illustrations and Two Tables. ZB 2003: 2-19 - [c10]Susan Stepney, Fiona Polack, Ian Toyn:
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. ZB 2003: 20-39 - [c9]Nuno Amálio
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. ZB 2003: 339-358 - 2002
- [c8]Regine Laleau, Fiona Polack:
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. ZB 2002: 517-534 - [c7]Susan Stepney, Fiona Polack, Ian Toyn:
Refactoring in maintenance and development of Z specifications. Refine 2002: 50-69 - 2001
- [j4]Regine Laleau, Fiona Polack:
Specification of integrity-preserving operations in information systems by using a formal UML-based language. Inf. Softw. Technol. 43(12): 693-704 (2001) - [j3]Fiona Polack:
A case study using lightweight formalism to review an information system specification. Softw. Pract. Exp. 31(8): 757-780 (2001) - [c6]Regine Laleau, Fiona Polack:
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems. CAiSE 2001: 402-416
1990 – 1999
- 1999
- [c5]Fiona Polack, Susan Stepney:
Systems Development Using Z Generics. World Congress on Formal Methods 1999: 1048-1067 - 1995
- [j2]Keith Mander, Fiona A. C. Polack:
Rigorous specification using structured systems analysis and Z. Inf. Softw. Technol. 37(5-6): 285-291 (1995) - 1994
- [c4]Fiona Polack, Keith Mander:
Software Quality Assurance Using the SAZ Method. Z User Workshop 1994: 230-249 - 1993
- [c3]Fiona Polack, Mark Whiston, Keith Mander:
The SAZ Project: Integrating SSADM and Z.. FME 1993: 541-557 - 1992
- [j1]Fiona Polack:
Integrating formal notations and systems analysis: using entity relationship diagrams. Softw. Eng. J. 7(5): 363-371 (1992) - 1991
- [c2]Fiona Polack, Mark Whiston, Peter Hitchcock:
Structured Analysis - A Draft Method for Writing Z Specifications. Z User Workshop 1991: 287-328 - 1990
- [c1]Fiona Polack, Peter Hitchcock, Alan W. Brown:
SAZ. Z User Workshop 1990: 384-384
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-11 20:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: