Publications

2022

  1. conference R. Wei, Z. Jiang, X. Guo, H. Mei, A. Zolotas, T. Kelly "Designing critical systems with iterative automated safety analysis." Proceedings of the 59th ACM/IEEE Design Automation Conference (DAC '22)
  2. workshop S. Almutairi, A. Zolotas and D. Kolovos. "Towards Round-Trip Engineering of Code Fragments Embedded in Models." 16th Internation Workshop on Models and Evolution (ME '22) co-located with ACM/IEEE 25th International Conference on Model Driven Engineering Languages & Systems (MoDELS '22).
  3. journal J. Harbin, S. Gerasimou, N. Matragkas, A. Zolotas, R. Calinescu and MA. Santana "Model-Driven Design Space Exploration for Multi-Robot Systems in Simulation." International Journal on Software & Systems Modeling.

2021

  1. conference J. Harbin, S. Gerasimou, N. Matragkas, A. Zolotas, R. Calinescu. "Model-driven Simulation-based Analysis for Multi-robot Systems." 2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS '21)
  2. journal BA. Sanchez, A. Zolotas, H. Hoyos Rodriguez, D. Kolovos, RF. Paige, JC. Cooper, J. Hampson. "Runtime Translation of OCL-like Statements on Simulink Models: Expanding Domains and Optimising Queries." International Journal on Software & Systems Modeling.

2020

  1. workshop A. Zolotas, K. Barmpis, F. Medhat, P. Neubauer, D. Kolovos, RF. Paige. "An Architecture for the Development of Distributed Analytics Based on Polystore Events." Polystore systems for heterogeneous data in multiple databases with privacy and security assurances (POLY '20)
  2. journal A. Zolotas, H. Hoyos Rodriguez, S. Hutchesson, B. Sanchez, A. Grigg, M. Li, D. Kolovos, R. Paige. "Bridging proprietary modelling and open-source model management tools: the case of PTC integrity modeller and epsilon." International Journal on Software & Systems Modeling.
  3. journal R. Wei, A. Zolotas, H. Hoyos Rodriguez, S. Gerasimou, D. Kolovos, R. Paige. "Automatic Generation of UML Profile Graphical Editors for Papyrus." International Journal on Software & Systems Modeling.

2019

  1. workshop D. Kolovos, F. Medhat, R. Paige, D. Di Ruscio, T. Van Der Storm, S. Scholze, A. Zolotas. "Domain-specific languages for the design, deployment and manipulation of heterogeneous databases." 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE).
  2. conference B. Sanchez, A. Zolotas, H. Hoyos Rodriguez, D. Kolovos, R. Paige. "On-the-fly Translation and Execution of OCL-like Queries on Simulink Models." 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS)
  3. workshop H.H. Rodriguez, A. Zolotas, D. Kolovos, RF. Paige. "On the Challenges of Model Decorations for Capturing Complex Metadata." 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).

2018

  1. journal A. Zolotas, N. Matragkas, S. Devlin, D. Kolovos, R. Paige. "Type inference in flexible model-driven engineering using classification algorithms." International Journal on Software & Systems Modeling.
  2. conference A. Zolotas, H.H. Rodriguez, D. Kolovos, R. Paige, S. Hutchesson. "Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon." ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MoDELS '17)
  3. conference A. Zolotas, R. Wei, S. Gerasimou, H.H. Rodriguez, D. Kolovos, R. Paige. "Towards Automatic Generation of UML Profile Graphical Editors for Papyrus." 14th European Conference on Modelling Foundations and Applications (ECMFA '18)

2017

  1. book chapter R. Paige, A. Zolotas, D. Kolovos. "The Changing Face of Model-Driven Engineering." Present and Ulterior Software Engineering
  2. workshop R. Paige, A. Zolotas, D. Kolovos, J. McDermid, M. Bennett, S. Hutchesson, A. Hawthorn. "SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction." Proc. 3rd Event Dedicated to International and National Project Dissemination and Cooperation (Projects Showcase) - Software Technologies Applications and Foundations (STAF '17).

2016

  1. journal A. Zolotas, R. Clariso, N. Matragas, D. Kolovos, R. Paige. "Constraint Programming for Type Inference in Flexible Model-Driven Engineering." International Journal on Computer Languages, Systems and Structures.
  2. EngD thesis A. Zolotas "Type Inference in Flexible Model-driven Engineering." EngD Thesis, University of York.

2015

  1. workshop A. Zolotas, N. Matragkas, S. Devlin, D. Kolovos, R. Paige. "Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering." Proc. FlexMDE 2015 - Flexible MDE Workshop - ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems.
  2. workshop A. Zolotas, N. Matragkas, D. Kolovos, R. Paige. "Flexible Modelling for Requirements Engineering." Proc. FlexMDE 2015 - Flexible MDE Workshop - ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems.
  3. conference A. Zolotas, N. Matragkas, S. Devlin, D. Kolovos, R. Paige. "Type inference in flexible model-driven engineering." 11th European Conference on Modelling Foundations and Applications (ECMFA '15)

2014

  1. workshop A. Zolotas, D. Kolovos, N. Matragkas and R. Paige. "Assigning Semantics to Graphical Concrete Syntaxes." Proc. XM 2014 - Extreme Modeling Workshop, ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems.

2013

  1. other A. Zolotas. "Domain-Specific Languages for Web Application Development Processes." Proc. 6th International York Doctoral Symposium (YDS 2013).
  2. workshop N. Matragkas, D. Kolovos, R. Paige, A. Zolotas. "A Traceability-Driven Approach to Model Transformation Testing." Proc. 2nd Workshop on the Analysis of Model Transformations, ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems.
  3. workshop J. Williams, A. Zolotas, N. Matragkas, L. Rose, D. Kolovos, R. Paige and F. Polack. "What do metamodels really look like?" Proc. 2nd Experiences and Empirical Studies in Software Modelling Workshop, ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems

Visit my Google Scholar Page