Dimitrios S. Kolovos

Dimitrios S. Kolovos, Louis M. Rose, James R. Williams, Nikolas Drivalos Matragkas, Richard F. Paige: A Lightweight Approach for Managing XML Documents with MDE Languages. ECMFA 2012: 118-132

Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos: MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. ECMFA 2012: 340-351

Frank R. Burton, Richard F. Paige, Louis M. Rose, Dimitrios S. Kolovos, Simon M. Poulding, Simon Smith: Solving Acquisition Problems Using Model-Driven Engineering. ECMFA 2012: 428-443

Richard F. Paige, Dimitrios S. Kolovos, Fiona A. C. Polack: Metamodelling for Grammarware Researchers. SLE 2012: 64-82

Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitrios S. Kolovos (Eds.): Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Lecture Notes in Computer Science 7349, Springer 2012, isbn 978-3-642-31490-2

Richard F. Paige, Nikolaos Drivalos, Dimitrios S. Kolovos, Kiran Jude Fernandes, Christopher Power, Gøran K. Olsen, Steffen Zschaler: Rigorous identification and encoding of trace-links in model-driven engineering. Software and System Modeling 10(4): 469-487 (2011)

Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, James R. Williams: Integrated Model Management with Epsilon. ECMFA 2011: 391-392

Richard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolas Drivalos Matragkas, James R. Williams: Model Management in the Wild. GTTSE 2011: 197-218

Antonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo: EUnit: A Unit Testing Framework for Model Management Tasks. MoDELS 2011: 395-409

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

Nikolaos Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige, Kiran Jude Fernandes: A state-based approach to traceability maintenance. ECMFA-TW 2010: 23-30

Darren Clowes, Dimitrios S. Kolovos, Chris Holmes, Louis M. Rose, Richard F. Paige, Julian Johnson, Ray Dawson, Steve G. Probets: A Reflective Approach to Model-Driven Web Engineering. ECMFA 2010: 62-73

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

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

Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack: Model Migration with Epsilon Flock. ICMT 2010: 184-198

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

Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos: transML: A Family of Languages to Model Model Transformations. MoDELS (1) 2010: 106-120

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

Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige: Inter-modelling: From Theory to Practice. MoDELS (1) 2010: 376-391

Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige: A Visual Specification Language for Model-to-Model Transformations. VL/HCC 2010: 119-126

Jon Oldevik, Gøran K. Olsen, Dimitrios S. Kolovos (Eds.): Proceedings of the 6th ECMFA Traceability Workshop, ECMFA-TW 2010, Paris, France, June 15, 2010. ACM 2010, isbn 978-1-60558-993-0

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

Dimitrios S. Kolovos: Establishing Correspondences between Models with the Epsilon Comparison Language. ECMDA-FA 2009: 146-157

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

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

Jendrik Johannes, Steffen Zschaler, Miguel A. Fernández, Antonio Castillo, Dimitrios S. Kolovos, Richard F. Paige: Abstracting Complex Languages through Transformation and Composition. MoDELS 2009: 546-550

Steffen Zschaler, Dimitrios S. Kolovos, Nikolaos Drivalos, Richard F. Paige, Awais Rashid: Domain-Specific Metamodelling Languages for Software Language Engineering. SLE 2009: 334-353

Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos: Automatic Generation of Integrated Formal Models Corresponding to UML System Models. TOOLS (47) 2009: 357-367

Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: The Epsilon Generation Language. ECMDA-FA 2008: 1-16

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Transformation Language. ICMT 2008: 46-60

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST 2008: 356-364

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Grand Challenge of Scalability for Model Driven Engineering. MoDELS Workshops 2008: 48-53

Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke: FPTC: Automated Safety Analysis for Domain-Specific Languages. MoDELS Workshops 2008: 229-242

Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: Constructing Models with the Human-Usable Textual Notation. MoDELS 2008: 249-263

Nikolaos Drivalos, Dimitrios S. Kolovos, Richard F. Paige, Kiran Jude Fernandes: Engineering a DSL for Software Traceability. SLE 2008: 151-167

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)

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. ECEASST 5 (2006)

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Object Language (EOL). ECMDA-FA 2006: 128-142

Klaus-D. Engel, Richard F. Paige, Dimitrios S. Kolovos: Using a Model Merging Language for Reconciling Model Versions. ECMDA-FA 2006: 143-157

Jean Bézivin, Salim Bouzitouna, Marcos Didonet Del Fabro, Marie-Pierre Gervais, Frédéric Jouault, Dimitrios S. Kolovos, Ivan Kurtev, Richard F. Paige: A Canonical Scheme for Model Composition. ECMDA-FA 2006: 346-360

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Merging Models with the Epsilon Merging Language (EML). MoDELS 2006: 215-229

Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: An action semantics for MOF 2.0. SAC 2006: 1304-1305

Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: Refinement via Consistency Checking in MDA. Electr. Notes Theor. Comput. Sci. 137(2): 151-161 (2005)

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack: An Agile and Extensible Code Generation Framework. XP 2005: 226-229