Fiona Polack - RankMe

77 papers A 5B 8C 9Misc 1Journal 18Unranked 33

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