Fiona A. C. Polack

Nicholas Drivalos Matragkas

Sci. Comput. Program., 2014

Bad Modelling Teaching Practices.

[BibT_eX]

[DOI]

Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

2013

Bioinspired Load Balancing in Large-Scale WSNs Using Pheromone Signalling.

[BibT_eX]

[DOI]

Ipek Caliskanelli

James Harbin

Leandro Soares Indrusiak

Paul D. Mitchell

David Chesmore

Int. J. Distributed Sens. Networks, 2013

Emergence of Frontiers in Networked Schelling Segregationist Models.

[BibT_eX]

[DOI]

Complex Syst., 2013

What do Metamodels Really Look Like?

[BibT_eX]

[DOI]

Nicholas Drivalos Matragkas

Athanasios Zolotas

Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modeling co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Models @ Run.time co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

Accelerating Immunos 99.

[BibT_eX]

[DOI]

Paul N. Taylor

Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, 2013

Scenario-based modeling to capture requirements for immune inspired profile adaptation.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Information Technology in Asia, 2013

2012

Metamodelling for Grammarware Researchers.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering, 5th International Conference, 2012

Runtime optimisation in WSNs for load balancing using pheromone signalling.

[BibT_eX]

[DOI]

Ipek Caliskanelli

James Harbin

Leandro Soares Indrusiak

Paul D. Mitchell

David Chesmore

Proceedings of the 3rd IEEE International Conference on Networked Embedded Systems for Every Application, 2012

Searching for model migration strategies.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Models and Evolution, 2012

Sensitivity Analysis in Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Choosing and adapting design notations in the principled development of complex systems simulations for research.

[BibT_eX]

[DOI]

Proceedings of the Modelling of the Physical World Workshop, 2012

2011

Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case

[BibT_eX]

[DOI]

Louis M. Rose

Antonio García-Domínguez

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - Third International Symposium, 2011

Requirements for a model comparison language.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Model Comparison in Practice, 2011

Immune Inspired Adaptive Information Filtering: Focusing on Profile Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Bio-Inspired Models of Networks, Information, and Computing Systems, 2011

2010

KAOS-β: A Goal-oriented Process Model for EIS.

[BibT_eX]

Malihe Tabatabaie

Proceedings of the Modelling, 2010

A Comparison of Model Migration Tools.

[BibT_eX]

[DOI]

Louis M. Rose

Markus Herrmannsdoerfer

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Taming EMF and GMF Using Model Transformation.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Model Migration with Epsilon Flock.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2010

Constructing and Navigating Non-invasive Model Decorations.

[BibT_eX]

[DOI]

Nikolaos Drivalos Matragkas

Louis M. Rose

Kiran Jude Fernandes

Proceedings of the Theory and Practice of Model Transformations, 2010

Reflections on the Simulation of Complex Systems for Science.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

In Search of Sound 'in silico' Research - Validating a Complex System Simulation.

[BibT_eX]

[DOI]

Teodor Ghetiu

James L. Bown

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Concordance: A Framework for Managing Model Integrity.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems.

[BibT_eX]

[DOI]

Malihe Tabatabaie

Proceedings of the ENTERprise Information Systems - International Conference, 2010

Formal Analysis in Model Management: Exploiting the Power of CZT.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

2009

Automated Formalisation for Verification of Diagrammatic Models.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Self-organisation for Survival in Complex Computer Architectures.

[BibT_eX]

[DOI]

Proceedings of the Self-Organizing Architectures, First International Workshop, 2009

Profile Adaptation in Adaptive Information Filtering: An Immune Inspired Approach.

[BibT_eX]

[DOI]

Proceedings of the First International Conference of Soft Computing and Pattern Recognition, 2009

Enhanced Automation for Managing Model and Metamodel Inconsistency.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Raising the level of abstraction in the development of GMF-based graphical model editors.

[BibT_eX]

[DOI]

Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

The engineering of concurrent simulations of complex systems.

[BibT_eX]

[DOI]

Paul S. Andrews

Adam T. Sampson

Proceedings of the IEEE Congress on Evolutionary Computation, 2009

On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008

Using formal metamodels to check consistency of functional views in information systems specification.

[BibT_eX]

[DOI]

Régine Laleau

Inf. Softw. Technol., 2008

Constructing Models with the Human-Usable Textual Notation.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2008

The Grand Challenge of Scalability for Model Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Unit Testing Model Management Operations.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Detecting and Repairing Inconsistencies across Heterogeneous Models.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing, 2008

Novel features in languages of the epsilon model management platform.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Modeling in Software Engineering, 2008

The Epsilon Transformation Language.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2008

The Epsilon Generation Language.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2008

Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity.

[BibT_eX]

[DOI]

Jing Zhang

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

Investigating Emergence by Coarse Graining Elementary Cellular Automata.

[BibT_eX]

[DOI]

Andrew Weeks

Proceedings of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

Complex Systems Models - Engineering Simulations.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on the Synthesis and Simulation of Living Systems, 2008

2007

Update Transformations in the Small with the Epsilon Wizard Language.

[BibT_eX]

[DOI]

J. Object Technol., 2007

Rule Migration: Exploring a Design Framework for Emergence.

[BibT_eX]

[DOI]

Heather R. Turner

Int. J. Unconv. Comput., 2007

Extreme Programming Security Practices.

[BibT_eX]

[DOI]

Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2007

Neutral Emergence and Coarse Graining.

[BibT_eX]

[DOI]

Andrew Weeks

Proceedings of the Advances in Artificial Life, 9th European Conference, 2007

2006

Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

An action semantics for MOF 2.0.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Merging Models with the Epsilon Merging Language (EML).

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Agile development of secure web applications.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Web Engineering, 2006

Communicating Complex Systems.

[BibT_eX]

[DOI]

Peter H. Welch

Fred R. M. Barnes

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Engineering Emergence.

[BibT_eX]

[DOI]

Heather R. Turner

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

A Formal Template Language Enabling Metaproof.

[BibT_eX]

[DOI]

Proceedings of the FM 2006: Formal Methods, 2006

The Epsilon Object Language (EOL).

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2006

Deviational Analyses for Validating Regulations on Real Systems.

[BibT_eX]

[DOI]

Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

2005

Emergent Properties Do Not Refine.

[BibT_eX]

[DOI]

Proceedings of the REFINE 2005 Workshop, 2005

Refinement via Consistency Checking in MDA.

[BibT_eX]

[DOI]

Proceedings of the REFINE 2005 Workshop, 2005

Frameworks Based on Templates for Rigorous Model-driven Development.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

An Object-Oriented Structuring for Z Based on Views.

[BibT_eX]

[DOI]

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

An Agile and Extensible Code Generation Framework.

[BibT_eX]

[DOI]

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2005

An Architecture for Modelling Emergence in CA-Like Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Life, 8th European Conference, 2005

2004

Effective Security Requirements Analysis: HAZOP and Use Cases.

[BibT_eX]

[DOI]

Thitima Srivatanakul

John A. Clark

Proceedings of the Information Security, 7th International Conference, 2004

Formal Proof from UML Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment.

[BibT_eX]

[DOI]

Xiaocheng Ge

Régine Laleau

Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004

2003

Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z.

[BibT_eX]

[DOI]

Ian Toyn

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

An Outline Pattern Language for Z: Five Illustrations and Two Tables.

[BibT_eX]

[DOI]

Ian Toyn

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z.

[BibT_eX]

[DOI]

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Challenging Formal Specifications by Mutation: a CSP security example.

[BibT_eX]

[DOI]

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

Refactoring in maintenance and development of Z specifications.

[BibT_eX]

[DOI]

Ian Toyn

Proceedings of the BCS FACS Refinement Workshop 2002, 2002

Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development.

[BibT_eX]

[DOI]

Regine Laleau

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2001

A case study using lightweight formalism to review an information system specification.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2001

Specification of integrity-preserving operations in information systems by using a formal UML-based language.

[BibT_eX]

[DOI]

Regine Laleau

Inf. Softw. Technol., 2001

A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems.

[BibT_eX]

[DOI]

Regine Laleau

Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001

1999

Systems Development Using Z Generics.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1995

Rigorous specification using structured systems analysis and Z.

[BibT_eX]

[DOI]

Keith Mander

Inf. Softw. Technol., 1995

1994

Software Quality Assurance Using the SAZ Method.

[BibT_eX]

[DOI]

Keith Mander

Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

1993

The SAZ Project: Integrating SSADM and Z..

[BibT_eX]

[DOI]

Mark Whiston

Keith Mander

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1992

Integrating formal notations and systems analysis: using entity relationship diagrams.

[BibT_eX]

[DOI]

Softw. Eng. J., 1992

1991

Structured Analysis - A Draft Method for Writing Z Specifications.

[BibT_eX]

Mark Whiston

Peter Hitchcock

Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991

1990

SAZ.

[BibT_eX]