Ipek Caliskanelli, James Harbin, Leandro Soares Indrusiak, Paul Mitchell, David Chesmore and Fiona Polack, ROLBPS - Runtime Optimisation in WSNs for Load Balancing Using Pheromone Signalling, NESEA'12, December 2012 (best paper award).
James R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack: Sensitivity Analysis in Model-Driven Engineering. LNCS 7590, MoDELS 2012: 743-758
F. Polack. Choosing and adapting design notations in the principled development of complex systems simulations for research. Workshop, Modelling the Physical World at Models 2012, October 2012. (https://sites.google.com/site/motpw2012/motpw2012-pre-polack.pdf?attredirects=0) Workshop at MODELS 2012, Innsbruck, Austria. October, 2012. To appear in ACM Digitial Library.
R. F. Paige, D. Kolovos, F. A. C. Polack. Metamodelling for Grammarware Researchers, Software Language Engineering 2012, LNCS, Springer, September 2012
J. Bown, P. S. Andrews, Y. Deeni, A. Goltsov, M. Idowu, F. A. C. Polack, A. T. Sampson, M. Shovman, S. Stepney. Engineering simulations for cancer systems biology. Current Drug Targets. 2012 Nov;13(12):1560-74. (http://www.ncbi.nlm.nih.gov/pubmed/22974398)
R. B. Greaves, F. A. C. Polack and J. Forrester CoSMoS in the Context of Social-Ecological Systems Research, Accepted for CoSMoS Workshop, in conjunction with UC'12, Orleans, September 2012. Luniver Press
N. F. Mohd Azmi, F. Polack, J. Timmis. Immune Inspired Adaptive Information Filtering: Focusing on Profile Adaptation. BIONETICS 2011: 242-247
A. A. Sani, F. A. C. Polack, R. F. Paige, Model transformation specification for automated formal verification, Software Engineering (MySEC), 2011 5th Malaysian Conference, pp76 - 81, Dec. 2011. (Best Paper Prize)
J. R. Williams and S. Poulding and L. M. Rose and R. F. Paige and F. A. C. Polack Identifying desirable game character behaviours through the application of evolutionary algorithms to model-driven engineering metamodels, SSBSE 2011, Hungary, September 2011
F. A. C. Polack, A. Droop, P. Garnett, T. Ghetiu and S. Stepney, Simulation validation: exploring the suitability of a simulation of cell division and differentiation in the prostate, CoSMoS Workshop, in conjunction with ECAL, Paris, August 2011, Luniver Press
A. Droop, P. Garnett, F. A. C. Polack and S. Stepney, Multiple model simulation: modelling cell division and differentiation in the prostate, CoSMoS Workshop, in conjunction with ECAL, Paris, August 2011, Luniver Press
Paul S. Andrews, Susan Stepney, Tim Hoverd, Fiona A. C. Polack, Adam T. Sampson, and Jon Timmis, CoSMoS process, models, and metamodels, CoSMoS Workshop, in conjunction with ECAL, Paris, August 2011, Luniver Press
James Williams, Dimitrios Kolovos, Fiona Polack and Richard Paige , Requirements for a Model Comparison Language, IWMCP 2011, in conjunction with TOOLS 2011 - June 30, 2011 - Zurich
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, Proc. International Conference on Model Driven Engineering Languages and Systems (MoDELS) Oslo, Norway, October 2010
Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garces, Richard F. Paige, Fiona A.C. Polack , A Comparison of Model Migration Tools,Proc. International Conference on Model Driven Engineering Languages and Systems (MoDELS) Oslo, Norway, October 2010
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polack, Model Migration, Proc. Transformation Tools Contest Workshop (TTC) co-located with TOOLS Europe 2010 Malaga, Spain, June 2010
M. Tabatabaie, F.A.C. Polack and R.F. Paige. Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems, Conference on Enterprise Information Systems (CENTERIS) 2010, Springer, Porto, Portugal, October 2010.(to appear)
F. A. C. Polack, Arguing Validation of Simulations in Science, Workshop on Complex Systems Modelling and Simulation, August 19, 2010 (co-located with ALife XII), Odense, Denmark, Luniver Press
F. A. C. Polack, Self-organisation for survival in complex computer architectures, invited chapter in Self-Organizing Architectures: SOAR, LNCS 6090, pp 60-83, Springer 2010
T. Ghetiu and F. A.C. Polack and J. Bown, Argument-driven validation of computer simulations - a necessity rather than an option, The Second International Conference on Advances in System Testing and Validation Lifecycle, VALID 2010, August 22-27, 2010, Nice, France, IEEE, p1-4
Paul S. Andrews and Fiona A. C. Polack and Adam T. Sampson and Susan Stepney and Jon Timmis, The CoSMoS Process, Version 0.1: A Process for the Modelling and Simulation of Complex SystemsYork Computer Science Technical Report,YCS-2010-453, March 2010.
Malihe Tabatabaie, Richard F. Paige, and Fiona A.C. Polack, KAOS-Beta: A Goal-Oriented Process Model for EIS 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS, June 2010, INSTICC PRESS
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, and Fiona A.C. Polack, Model Migration with Epsilon Flock, York Computer Science Technical Report,YCS-2010-450, March 2010.
D.S. Kolovos, L.M. Rose, N. Matragkas, R.F. Paige, F.A.C. Polack and K.J. Fernandes, Constructing and Navigating Non-Invasive Model Decorations ICMT 2010, LNCS 6142, Springer, Malaga, Spain, June 2010
Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, and Fiona A.C. Polack, Model Migration with Epsilon Flock, ICMT 2010, LNCS 6142, Springer, Malaga, Spain, June 2010
L.M. Rose, D.S. Kolovos, N. Matragkas, J.R.Williams, R.F. Paige, F.A.C. Polack and K. J. Fernandes, Concordance: An Efficient Framework for Managing Model Consistency ECMFA2010, LNCS 6138, Springer, Paris, France, June 2010
Fiona A. C. Polack, Paul Andrews, Teodor Ghetiu, Mark Read, Susan Stepney, Jon Timmis and Adam Sampson. Reflections on the Simulation of Complex Systems for Science IEEE ICECCS, p 276-285, Oxford, March 2010
Teodor Ghetiu, Fiona Polack and James Bown. Validating a complex system simulation IEEE ICECCS, p312, Oxford, March 2010
Nurulhuda Firdaus Mohd Azmi, Jon Timmis and Fiona Polack. Towards a Principled Design of Bio-inspired Solutions to Complex Problems IEEE ICECCS, p315, Oxford, March 2010
J. Williams, F.A.C. Polack and R.F. Paige. Formal analysis in model management: exploiting the power of CZT, ABZ 2010, LNCS 5977, p. 414, Springer, February 2010.
F. A.C. Polack, P. S. Andrews, T. Ghetiu, R. D. Alexander, Arguing the Validity of Models and Simulations for Scientific Exploration (poster and short paper), European Conference on Complex Systems, Warwick, September 2009 (electronic proceedings).
N. Firdaus Mohd Azmi, J. Timmis and F. Polack, Profile Adaptation in Adaptive Information Filtering: An Immune Inspired Approach, International Conference of Soft Computing and Pattern Recognition SoCPaR 2009, Malacca, December 2009
L. Rose, D. Kolovos, R. Paige and F. Polack, An Analysis of Approaches to Model Migration, MoDSE-MCCM Workshop, co-located with Models, Denver, October 2009
J. R. Williams and F. A. C. Polack, Automated formalisation for verification of diagrammatic models, 6th International Workshop on Formal Aspects of Component Software, Eindhoven, November 2009, Elsevier ENTCS ENTCS17908 2010.
L.M. Rose, D.S. Kolovos, R.F. Paige and F.A.C. Polack. Enhanced Automation for Managing Model and Metamodel Inconsistency,Proc. Automated Software Engineering 2009, ACM Press, November 2009
T. Ghetiu, R. D. Alexander, P. S. Andrews, F. A. C. Polack, and James Bown, Argumentation and Complex Systems - A Case-Studyin Proc. 2nd CoSMoS Workshop, Luniver Press, August 2009
L.M. Rose, D.S. Kolovos, R.F. Paige, T. Gilliam and F.A.C. Polack. Emerging Patterns for Testing Model Management Tools, Proc. 2nd Workshop on Model-based Testing in Practice, co-located with ECMDA-FA 2009, Enschede, the Netherlands, June 2009.
R.F. Paige, D.S. Kolovos, L.M. Rose, N. Drivalos and F.A.C. Polack. The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering,Proc. 14th IEEE Conference on Engineering of Complex Computer Systems (ICECCS) 2009, IEEE Press, Potsdam, Germany, June 2009.
F.A.C. Polack, P. S. Andrews and A. T. Sampson, The engineering of concurrent simulations of complex systems , Proc. CEC, pp. 217-224 IEEE Press, May 2009.
D.S. Kolovos, L.M. Rose, R.F. Paige and F.A.C. Polack. Raising the Level of Abstraction in the Development of GMF-based Graphical Model Editors, Proc. 3rd Workshop on Modeling in Software Engineering (MISE), ACM/IEEE International Conference on Software Engineering (ICSE), Vancouver, Canada, May 2009
D.S. Kolovos, R.F. Paige, and F.A.C. Polack, On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages, invited paper, in Dagstuhl Festschrift in Honour of Egon Boerger: Rigorous Object-Oriented Methods, LNCS 5115, Springer, 2009.
Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack. The Grand Challenge of Scalability in Model Driven Engineering, Proc. Models in Software Engineering, MoDELS/UML'08 Workshop Reader, LNCS 5421, Springer, April 2009.
Dimitrios S. Kolovos, Nicholas Drivalos, Richard F. Paige, Fiona Polack. Seamless Navigation of Heterogeneous EMF models in Epsilon, Eclipse Modeling Symposium, Eclipse Summit 2008, Ludwigsburg, Germany, Nov 2008
S. Stepney, F. Polack, P. Welch, editors, Complex Systems Simulation and Modelling Workshop (CoSMoS 2008) York, UK, September, Luniver Press, 2008
P. H. Welch, S. Stepney, F. Polack, F. Barnes, A. McEwan, G. S. Stiles, J. F. Broenink, A. Sampson, editors,Communicating Process Architectures (CPA 2008), York, UK, September, IOS Press, 2008.
D.S. Kolovos, R.F. Paige and F.A.C. Polack, Scalability: The Holy Grail of Model-Driven Engineering, in Proc. Workshop on Challenges in MDE, co-located with MoDELS'08, Toulouse, France, Sept 2008.
L.M. Rose, R.F. Paige, D.S. Kolovos and F.A.C. Polack, Constructing Models with the Human-Usable Textual Notation, in ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2008, LNCS 5301, Springer Toulouse, France, October 2008.
N. Amalio, F. Polack, and J. Zhang, Autonomous objects and bottom-up composition in ZOO applied to a case study of biological reactivity, in Proc. ABZ2008, LNCS 5238, Springer, September 2008. (Full Z spec)
P. Andrews, F. Polack, A. Sampson, J, Timmis, L. Scott, M. Coles, Simulating biology: towards understanding what the simulation shows, in Proc. 1st CoSMoS Workshop, Luniver Press, September 2008
T. A. Walker, F. A. C. Polack and S. L. Braunstein, Error correcting Bell inequalities, PRL 101, 080501, August 2008: DOI 10.1103/PhysRevLett.101.080501.
F. A. C. Polack, T. Hoverd, A. T. Sampson, S. Stepney, and J. Timmis, Complex Systems Models: Engineering Simulations , in Proc. ALife XI, Winchester, UK, MIT Press, August 2008 (online proceedings: http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=12400
A. Weeks, F. Polack and S. Stepney, Investigating Emergence by Coarse Graining Elementary Cellular Automata, in Proc. ALife XI, Winchester, UK, MIT Press, August 2008
D.S. Kolovos, R.F. Paige and F.A.C. Polack.The Epsilon Transformation Language, in Proc. International Conference on Model Transformation (ICMT) 2008, LNCS 5063, Springer, Zurich, Switzerland, July 2008.
D.S. Kolovos, R.F. Paige and F.A.C. Polack. A Framework for Composing Modular and Interoperable Model Management Tasks, in Proc. Workshop on Model Driven Tool and Process Integration (MDTPI), EC-MDA '08, Berlin, Germany, June 2008
L.M. Rose, R.F. Paige, D.S. Kolovos and F.A.C. Polack. The Epsilon Generation Language, in Proc. Fourth European Conference on Model-Driven Architecture (EC-MDA) 2008, LNCS, Springer, Berlin, Germany, June 2008.
D.S. Kolovos, R.F. Paige, L.M. Rose and F.A.C. Polack. Unit Testing Model Management Operations, in Proc. 5th Workshop on Model Driven Engineering Verification and Validation (MoDeVVa), ICST '08, IEEE Press, Lillehammer, Norway, April 2008.
D.S. Kolovos, R.F. Paige and F.A.C. Polack, Novel Features in Model Management Languages of the Epsilon Platform, to appear in Workshop on Modelling in Software Engineering (MISE) 2008, ICSE 2008, Leipzig, Germany, May 2008.
D.S. Kolovos, R.F. Paige and F.A.C. Polack, Detecting and repairing inconsistencies across heterogeneous models, to appear in Proc. IEEE International Conference on Software Testing, Verification and Validation (ICST 2008), IEEE Press, Lillehammer, Norway, April 2008.
Regine Laleau and Fiona Polack, Using formal metamodels to check consistency of functional views in information systems specification, Information and Software Technology Volume 50, Issues 7-8, June 2008, Pages 797-814, doi:10.1016/j.infsof.2007.10.007
D.S. Kolovos, R.F. Paige, L.M. Rose, and F.A.C. Polack, Bridging the Epsilon Wizard Language and the Eclipse Graphical Modelling Framework, Modelling Symposium, Eclipse Summit Europe 2007.
D. S. Kolovos, R. F. Paige, and F. A. C. Polack, Agile Model Editing in the Eclipse Modeling Framework using Executable Metamodel Annotations, Proceedings, Towers 2007, Towers of Models Workshop, co-located with TOOLS Europe 2007, Zurich, Switzerland, June 2007.
D. S. Kolovos, R. F. Paige, and F. A. C. Polack, On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages, Proceedings of the Dagstuhl workshop on Rigorous Methods for Software Construction and Analysis, May 2006.
D. S. Kolovos, R. F. Paige, L. M. Rose, F.A.C. Polack, Implementing the Interactive Applications. Case Study using Epsilon, Proc. MDD Tool Implementers Forum, co-located with TOOLS Europe 2007, Zurich, Switzerland, June 2007.
T. Nguyen, F. Polack, S. Stepney, I. Toyn, Practical use of real numbers in Z, Z User Meeting 2007, in conjunction with ICECCS 2007, Waikato, NZ.
A. Weeks, S. Stepney, F. Polack. Neutral Emergence and Coarse Graining. IXth European Conference on Advances in Artificial Life (ECAL 2007), Lisbon, Portugal, September 2007. LNAI 4648:1131-1140 Springer.
H. Turner, S. Stepney, F. Polack. Rule Migration: Exploring a design framework for emergence. Int. J. Unconventional Computing. 3(1):49-66, 2007
D.S. Kolovos, R.F. Paige, and F.A.C. Polack. Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries, to appear in Journal of the Electronic Communications of the EASST, 2007.
D.S. Kolovos, R.F. Paige, F.A.C. Polack, and L. Rose. Update Transformations in the Small with the Epsilon Wizard Language, TOOLS Europe 2007, proceedings published in a special issue of Journal of Object Technology, Zurich, Switzerland, June 2007.
X. Ge, R.F. Paige, F.A.C. Polack, and P.J. Brooke. Extreme programming security practices, Extreme Proramming 2007, LNCS, Springer-Verlag, Lake Como, Italy, June 2007.
G. Despotou, D.S. Kolovos, R.F. Paige, T.P. Kelly, and F.A.C. Polack. Towards a Metamodel for Dependability Cases, Proc. OMG Software Assurance Workshop 2007, March 2007.
Andrew Weeks, Susan Stepney, Fiona Polack. Neutral Emergence: a proposal, Symposium on Complex Systems Engineering, RAND Corporation, Santa Monica, CA, USA, 11-12 January 2007.
D.S. Kolovos, R.F. Paige, and F.A.C. Polack. Towards using OCL for Instance-Level Queries in Domain-Specific Languages, in Proc. OCLApps 2006, co-located with Models/UML'06, Genova Italy, October 2006.
D.S. Kolovos, R.F. Paige, and F.A.C. Polack. Epsilon Development Tools for Eclipse, Proc. Eclipse Summit 2006, Esslingen, Germany, October 2006.
D.S. Kolovos, R.F. Paige, and F.A.C. Polack, Merging Models with the Epsilon Merging Language, Proc. ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (Models/UML 2006), LNCS, Springer, Genova, Italy, October 2006.
Peter H. Welch, Frederick R. M. Barnes, Fiona A. C. Polack, Communicating Complex Systemd, ICECCS'06, Stanford, CA, USA, August 2006, to appear.
Susan Stepney, Fiona Polack, Heather Turner, Engineering Emergence, ICECCS'06, Stanford, CA, USA, August 2006, to appear.
D.S. Kolovos, R.F. Paige, and F.A.C. Polack, On-Demand Merging of Traceability Links with Models, 2nd ECMDA Traceability Workshop,Bilbao, Spain, July 2006.
D.S. Kolovos, R.F. Paige, and F.A.C. Polack, The Epsilon Object Language, Proc. Second European Conference on Model-Driven Architecture (EC-MDA) 2006, LNCS 4066, Springer, Bilbao, Spain, July 2006.
N. Amalio, S. Stepney and F. Polack, A formal template language enabling metaproof, FM06, Canada, LNCS 4085, Springer, August 2006.
Dimitrios S. Kolovos, Richard F. Paige, Tim Kelly, and Fiona A.C. Polack, Requirements for Domain-Specific Languages, 1st ECOOP Workshop on Domain-Specific Program Development (DSPD) in conjunction with ECOOP 2006 July 3rd, Nantes, France, to appear.
X. Ge, R.F. Paige, F.A.C. Polack, H. Chivers, and P.J. Brooke, Agile Development of Secure Web Applications, International Conference on Web Engineering (ICWE) 2006, ACM Press.
F. Polack and T. Srivatanakul and T. Kelly and J. Clark, Deviational analyses for validating regulations on real systems, REMO2V workshop, Proceedings of the CAiSE'06, workshops and doctoral consortium, Presses Universitaires de Namur, 2006
R.F. Paige, D.S. Kolovos, and F.A.C. Polack. Adding an Action Semantics to MOF 2.0, Proc. Symposium on Applied Computing (SAC) 2006, ACM Press, Dijon, France, April 2006.
F. Polack, SAZ, Software Specification Methods An Overview Using a Case Study Henri Habrias, Marc Frappier, eds., chapter 2, ISBN: 1905209347, Hermes, 2006.
N. Amalio, F. Polack and S. Stepney, UML+Z: Augmenting UML with Z, Software Specification Methods An Overview Using a Case Study Henri Habrias, Marc Frappier, eds., chapter 5, ISBN: 1905209347, Hermes, 2006.
Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polack, Model Comparison: A Foundation for Model Composition and Model Transformation Testing, GaMMa 2006, 1st International Workshop on Global Integrated Model Management, Shanghai, 22 May 2006, Software Engineering Notes of the ACM Digital Library.
J.A. Clark, R.F. Paige, F.A.C. Polack, and P.J. Brooke (editors). Security in Pervasive Computing (SPC) 2006, Lecture Notes in Computer Science 3934, Springer-Verlag, April 2006.
N. Amálio, F. Polack, S. Stepney. Frameworks based on templates for rigorous model-driven development, IFM 2005 Doctoral Symposium. Electronic Notes in Theoretical Computer Science. Elsevier, 2006
Xiaocheng Ge, Howard Chivers, Fiona Polack, and Richard F. Paige, Adapting security risk analysis to the design of data-base-centric Web-based information systems ICSSEA 2005, 18th international conference, software and systems engineeering and their applications, CNAM, Paris, 29 Nov - 1 Dec 2005.
S. Stepney, F. Polack and I. Toyn, Diagram patterns and meta-patterns to support formal modelling, Technical Report, YCS-2005-394, University of York Department of Computer Science.
Heather R. Turner, Susan Stepney, and Fiona A. C. Polack, A Simulation Architecture for Emergent Properties, extended abstract, ECCS'05, European Conference on Complex Systems Paris, 14-18 November 2005
Jill Srivatanakul, John A Clark and Fiona Polack, Stressing Security Requirements: Exploiting the Flaw Hypothesis Method with Deviational Techniques, SREIS 2005,Symposium on Requirements Engineering for Information Security, in conjunction with RE 05 - 13th IEEE International Requirements Engineering Conference, Paris, 29 August 2005, to appear.
Fiona Polack, Susan Stepney, Heather Turner, Peter Welch, and Fred Barnes, An Architecture for modelling emergence in CA-like systems, VIIIth European Conference on Advances in Artificial Life (ECAL 2005), Kent, UK, September 2005. Lecture Notes in Artificial Intelligence, volume 3630, pp433-442.
Dimitrios S. Kolovos, Richard F. Paige, and Fiona A.C. Polack, An Agile and Extensible Code Generation Framework, Proceedings, Extreme Programming and Agile Processes in Software Engineering: 6th International Conference, XP2005, Sheffield, June 18-23 2005, Lecture Notes in Computer Science, volume 3556, p226-229.
Richard F. Paige, Dimitrios S. Kolovos, Fiona A.C. Polack, Refinement via Consistency Checking in MDA Refinement Workshop,Guildford, April 2005, Electronic Notes in Theoretical Computer Science 137 (2005) 151 161, Elsevier.
N. Amalio, F. Polack and S. Stepney, An object-oriented structuring for Z based on views, ZB2005, Guildford, April 2005, Proceedings LNCS 3455 pp262-278, Springer-Verlag Heidelberg
F. Polack and S. Stepney,
Nuno Amalio, Susan Stepney, and Fiona Polack, Formal Proof from UML
Models, Formal Methods and Software Engineering: 6th
International Conference on Formal Engineering Methods, ICFEM 2004,
Seattle, WA, USA, November 8-12, 2004. Proceedings, LNCS 3308 pp418-433, Springer-Verlag Heidelberg
T. Srivatanakul, J. A. Clark, F. Polack, Effective security
requirements analysis: HAZOP and use cases, Information
Security: 7th International Conference, ISC 2004, Palo Alto, CA, USA,
September 27-29, 2004, LNCS 3225, pp416 - 427, Springer-Verlag Heidelberg
Jill Srivatanakul, John A Clark and Fiona Polack, Writing Effective
Security Abuse Cases, Technical Report YCS-2004-375, University
of York Computer Science Department, May 2004.
Jill Srivatanakul, John A Clark and Fiona Polack, Security Zonal
Analysis Technical Report YCS-2004-374, University
of York Computer Science Department, May 2004.
Xiaocheng Ge, Fiona Polack, and Regine Laleau, Secure Database
Development and the Clark-Wilson Security Model, Atelier SSI'04
Securite des Systemes d'Information, INFORSID
2004, Biarritz.
Xiaocheng Ge, Fiona Polack, and Regine Laleau, Secure
Databases: an Analysis of Clark-Wilson Model in a Database
Environment, Advanced Information Systems Engineering - 16th
International Conference, CAiSE 2004, Riga, Latvia, June
7-11,... 2004, Persson A., Stirna J. (Eds.), LNCS
vol 3084, pp 234-247.
Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack,
Challenging Formal Specifications by Mutation: a CSP security
example [ps], APSEC2003, Chiang Mai, Thailand, IEEE Computer
Society Press, 2003.
Nuno Amalio, Susan Stepney, Fiona Polack, Modular
UML Semantics: Interpretations in Z Based on Templates and
Generics, FACS'03 Workshop (run in conjunction with
FME03), Pisa, Italy, September 2003.
N. Amalio and F. Polack, Comparison of formalisation approaches
of {UML} class constructs in Z and Object-Z, Proceedings,
ZB 20003, Turku, Finland. LNCS 2651, Springer, June 2003.
S. Stepney, F. Polack and I. Toyn, Patterns to Guide Practical
Refactoring: examples targetting promotion in Z, Proceedings,
ZB 20003, Turku, Finland. LNCS 2651, Springer, June 2003.
S. Stepney, F. Polack and I. Toyn, An outline pattern language
for Z: five illustrations and two tables, Proceedings,
ZB 20003, Turku, Finland. LNCS 2651, Springer, June 2003.
F. Polack, Exploring the informal translation of OMT object models in B , Technical Report,
YCS-2003-351, University of York Department of Computer Science.
S. Stepney, F. Polack and I. Toyn, A Z Patterns Catalogue I:
specification and refactorings v0.1, Technical Report,
YCS-2003-349, University of York Department of Computer Science.
S. Stepney, F. Polack and I. Toyn, Refactoring in Maintenance and Development of Z Specifications and Proofs, In REFINE
2002, BCS-FACS Refinement Workshop, Copenhagen, July 2002.
R. Laleau and F. Polack, Coming
and Going from UML to B : a proposal to support traceability in
rigorous IS development [ps], Proceedings, ZB2002: Formal
Specification and Development in Z and B, 2nd International Conference
of B and Z Users, Grenoble, France, January 23-25, 2002, LNCS 2272, pp517-534.
R. Laleau and F. Polack, Specification
of Integrity-Preserving Operations in Information Systems by using a
Formal UML-based Language [ps], Information and Software
Technology, 43(12), November 2001, pp693-704.
F. Polack, A Case Study using Lightweight Formalism to Review an Information System Specification [ps],
Software Practice and Experience, 31(8), July 2001, pp57-80.
R. Laleau and F. Polack, A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems [ps],
International Conference on Advanced Information Systems Engineering,
CAiSE2001 LNCS
2068, 2001, pp402-416
2004
2003
2002
2001
J. R. Williams, AUtoZ: Automatic formalisation of UML to Z MEng Final Year Project,
June 2009
Earlier Papers
Fiona Polack
/ +44 1904 43 2798
/ <fiona@cs.york.ac.uk>