Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Fiona A. C. Polack
Fiona Polack
2010 – today
- 2012
[c59]James R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack: Sensitivity Analysis in Model-Driven Engineering. MoDELS 2012: 743-758- [c58]Ipek Caliskanelli, James Harbin, Leandro Soares Indrusiak, Paul Mitchell, David Chesmore, Fiona Polack: Runtime optimisation in WSNs for load balancing using pheromone signalling. NESEA 2012: 1-8
- [c57]Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack: Metamodelling for Grammarware Researchers. SLE 2012: 64-82
- 2011
- [c56]Nurulhuda Firdaus Mohd Azmi, Fiona Polack, Jon Timmis: Immune Inspired Adaptive Information Filtering: Focusing on Profile Adaptation. BIONETICS 2011: 242-247
- [c55]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
- [c54]Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case. TTC 2011: 332-339
- 2010
- [j11]James R. Williams, Fiona A. C. Polack: Automated Formalisation for Verification of Diagrammatic Models. Electr. Notes Theor. Comput. Sci. 263: 211-226 (2010)
- [c53]James R. Williams, Fiona A. C. Polack, Richard F. Paige: Formal Analysis in Model Management: Exploiting the Power of CZT. ASM 2010: 414
- [c52]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
- [c51]Louis M. Rose, Dimitrios S. Kolovos, Nikolaos Drivalos, James R. Williams, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes: Concordance: A Framework for Managing Model Integrity. ECMFA 2010: 245-260
- [c50]Fiona A. C. Polack, Paul S. Andrews, Teodor Ghetiu, Mark Read, Susan Stepney, Jon Timmis, Adam T. Sampson: Reflections on the Simulation of Complex Systems for Science. ICECCS 2010: 276-285
- [c49]Teodor Ghetiu, Fiona A. C. Polack, James L. Bown: In Search of Sound 'in silico' Research - Validating a Complex System Simulation. ICECCS 2010: 312
- [c48]Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack: Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering. ICECCS 2010: 315-316
- [c47]Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes: Constructing and Navigating Non-invasive Model Decorations. ICMT 2010: 138-152
- [c46]Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: Model Migration with Epsilon Flock. ICMT 2010: 184-198
- [c45]Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garcés, Richard F. Paige, Fiona A. C. Polack: A Comparison of Model Migration Tools. MoDELS (1) 2010: 61-75
- [c44]Dimitrios S. Kolovos, Louis M. Rose, Saad bin Abid, Richard F. Paige, Fiona A. C. Polack, Goetz Botterweck: Taming EMF and GMF Using Model Transformation. MoDELS (1) 2010: 211-225
- [c43]Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige: KAOS-β: A Goal-oriented Process Model for EIS. MSVVEIS 2010: 40-49
2000 – 2009
- 2009
- [c42]Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. Rigorous Methods for Software Construction and Analysis 2009: 204-218
- [c41]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
- [c40]Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos, Fiona A. C. Polack: The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. ICECCS 2009: 162-171
- [c39]Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: Enhanced Automation for Managing Model and Metamodel Inconsistency. ASE 2009: 545-549
- [c38]Nurulhuda Firdaus Mohd Azmi, Jon Timmis, Fiona Polack: Profile Adaptation in Adaptive Information Filtering: An Immune Inspired Approach. SoCPaR 2009: 414-419
- [c37]Fiona A. C. Polack: Self-organisation for Survival in Complex Computer Architectures. SOAR 2009: 66-83
- 2008
- [j10]Régine Laleau, Fiona Polack: Using formal metamodels to check consistency of functional views in information systems specification. Information & Software Technology 50(7-8): 797-814 (2008)
- [c36]Fiona A. C. Polack, Tim Hoverd, Adam T. Sampson, Susan Stepney, Jon Timmis: Complex Systems Models - Engineering Simulations. ALIFE 2008: 482-489
- [c35]Andrew Weeks, Fiona Polack, Susan Stepney: Investigating Emergence by Coarse Graining Elementary Cellular Automata. ALIFE 2008: 686-693
- [c34]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: 323-336
- [c33]Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: The Epsilon Generation Language. ECMDA-FA 2008: 1-16
- [c32]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Transformation Language. ICMT 2008: 46-60
- [c31]Dimitrios S. Polack, Richard F. Paige, Louis M. Rose, Fiona A. C. Polack: Unit Testing Model Management Operations. ICST Workshops 2008: 97-104
- [c30]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST 2008: 356-364
- [c29]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Grand Challenge of Scalability for Model Driven Engineering. MoDELS Workshops 2008: 48-53
- [c28]Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: 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 (Eds.): 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
- 2007
- [j9]Nuno Amálio, Fiona Polack, Susan Stepney: Frameworks Based on Templates for Rigorous Model-driven Development. Electr. Notes Theor. Comput. Sci. 191: 3-23 (2007)
- [j8]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack, Louis M. Rose: Update Transformations in the Small with the Epsilon Wizard Language. Journal of Object Technology 6(9): 53-69 (2007)
- [c27]Andrew Weeks, Susan Stepney, Fiona Polack: Neutral Emergence and Coarse Graining. ECAL 2007: 1131-1140
- [c26]Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Extreme Programming Security Practices. XP 2007: 226-230
- 2006
- [j7]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. ECEASST 5 (2006)
- [c25]Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark: Deviational Analyses for Validating Regulations on Real Systems. ReMo2V 2006
- [c24]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Object Language (EOL). ECMDA-FA 2006: 128-142
- [c23]Nuno Amálio, Susan Stepney, Fiona Polack: A Formal Template Language Enabling Metaproof. FM 2006: 252-267
- [c22]
- [c21]Peter H. Welch, Fred R. M. Barnes, Fiona Polack: Communicating Complex Systems. ICECCS 2006: 107-120
- [c20]Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke: Agile development of secure web applications. ICWE 2006: 305-312
- [c19]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Merging Models with the Epsilon Merging Language (EML). MoDELS 2006: 215-229
- [c18]Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: An action semantics for MOF 2.0. SAC 2006: 1304-1305
- [e1]John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke (Eds.): 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
- 2005
- [j6]Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: Refinement via Consistency Checking in MDA. Electr. Notes Theor. Comput. Sci. 137(2): 151-161 (2005)
- [j5]Fiona Polack, Susan Stepney: Emergent Properties Do Not Refine. Electr. Notes Theor. Comput. Sci. 137(2): 163-181 (2005)
- [c17]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
- [c16]Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: An Agile and Extensible Code Generation Framework. XP 2005: 226-229
- [c15]Nuno Amálio, Fiona Polack, Susan Stepney: An Object-Oriented Structuring for Z Based on Views. ZB 2005: 262-278
- 2004
- [c14]Xiaocheng Ge, Fiona Polack, Régine Laleau: Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. CAiSE 2004: 234-247
- [c13]
- [c12]Thitima Srivatanakul, John A. Clark, Fiona Polack: Effective Security Requirements Analysis: HAZOP and Use Cases. ISC 2004: 416-427
- 2003
- [c11]Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack: Challenging Formal Specifications by Mutation: a CSP security example. APSEC 2003: 340-
- [c10]Susan Stepney, Fiona Polack, Ian Toyn: An Outline Pattern Language for Z: Five Illustrations and Two Tables. ZB 2003: 2-19
- [c9]Susan Stepney, Fiona Polack, Ian Toyn: Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z. ZB 2003: 20-39
- [c8]Nuno Amálio, Fiona Polack: Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z. ZB 2003: 339-358
- 2002
- [j4]Susan Stepney, Fiona Polack, Ian Toyn: Refactoring in maintenance and development of Z specifications. Electr. Notes Theor. Comput. Sci. 70(3): 50-69 (2002)
- [c7]Regine Laleau, Fiona Polack: Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. ZB 2002: 517-534
- 2001
- [j3]Regine Laleau, Fiona Polack: Specification of integrity-preserving operations in information systems by using a formal UML-based language. Information & Software Technology 43(12): 693-704 (2001)
- [j2]Fiona Polack: A case study using lightweight formalism to review an information system specification. Softw., Pract. Exper. 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
- [j1]Keith Mander, Fiona A. C. Polack: Rigorous specification using structured systems analysis and Z. Information & Software Technology 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
- 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]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:55 CEST by the dblp team