Athanasios Zolotas

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 16

Top Venues

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Ran Wei, Zhe Jiang, Xiaoran Guo, Ruizhe Yang, Haitao Mei, Athanasios Zolotas, Tim Kelly
DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (5) (2024)
Sultan Almutairi, Athanasios Zolotas, Dimitris S. Kolovos
Towards round-trip engineering of code fragments embedded in models. MoDELS (Companion) (2022)
Ran Wei, Zhe Jiang, Xiaoran Guo, Haitao Mei, Athanasios Zolotas, Tim Kelly
Designing critical systems with iterative automated safety analysis. DAC (2022)
James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas, Radu Calinescu
Model-Driven Simulation-Based Analysis for Multi-Robot Systems. MoDELS (2021)
Beatriz A. Sánchez, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige, Justin C. Cooper, Jason Hampson
Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries. Softw. Syst. Model. 20 (6) (2021)
Athanasios Zolotas, Konstantinos Barmpis, Fady Medhat, Patrick Neubauer, Dimitrios S. Kolovos, Richard F. Paige
An Architecture for the Development of Distributed Analytics Based on Polystore Events. Poly/DMAH@VLDB (2020)
Ran Wei, Athanasios Zolotas, Horacio Hoyos Rodriguez, Simos Gerasimou, Dimitrios S. Kolovos, Richard F. Paige
Automatic generation of UML profile graphical editors for Papyrus. Softw. Syst. Model. 19 (5) (2020)
Athanasios Zolotas, Horacio Hoyos Rodriguez, Stuart Hutchesson, Beatriz Sanchez Piña, Alan Grigg, Mole Li, Dimitrios S. Kolovos, Richard F. Paige
Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon. Softw. Syst. Model. 19 (1) (2020)
Beatriz Sánchez, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige
On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models. MoDELS (2019)
Horacio Hoyos Rodriguez, Athanasios Zolotas, Dimitris S. Kolovos, Richard F. Paige
On the Challenges of Model Decorations for Capturing Complex Metadata. MoDELS (Companion) (2019)
Dimitrios S. Kolovos, Fady Medhat, Richard F. Paige, Davide Di Ruscio, Tijs van der Storm, Sebastian Scholze, Athanasios Zolotas
Domain-specific languages for the design, deployment and manipulation of heterogeneous databases. MiSE@ICSE (2019)
Athanasios Zolotas, Nicholas Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige
Type inference in flexible model-driven engineering using classification algorithms. Softw. Syst. Model. 18 (1) (2019)
Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige
Towards Automatic Generation of UML Profile Graphical Editors for Papyrus. ECMFA (2018)
Richard F. Paige, Athanasios Zolotas, Dimitrios S. Kolovos, John Alexander McDermid, Mike Bennett, Stuart Hutchesson, Andrew Hawthorn
SECT-AIR: Software Engineering Costs and Timescales - Aerospace Initiative for Reduction. STAF Workshops (2017)
Athanasios Zolotas, Robert Clarisó, Nicholas Matragkas, Dimitrios S. Kolovos, Richard F. Paige
Constraint programming for type inference in flexible model-driven engineering. Comput. Lang. Syst. Struct. 49 (2017)
Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige, Stuart Hutchesson
Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon. MoDELS (2017)
Athanasios Zolotas, Nicholas Drivalos Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige
Type Inference Using Concrete Syntax Properties in Flexible Model-Driven Engineering. FlexMDE@MoDELS (2015)
Athanasios Zolotas, Nicholas Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige
Flexible Modelling for Requirements Engineering. FlexMDE@MoDELS (2015)
Athanasios Zolotas, Nicholas Drivalos Matragkas, Sam Devlin, Dimitrios S. Kolovos, Richard F. Paige
Type Inference in Flexible Model-Driven Engineering. ECMFA (2015)
Athanasios Zolotas, Dimitris S. Kolovos, Nicholas Drivalos Matragkas, Richard F. Paige
Assigning Semantics to Graphical Concrete Syntaxes. XM@MoDELS (2014)
Nikolaos Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige, Athanasios Zolotas
A Traceability-Driven Approach to Model Transformation Testing. AMT@MoDELS (2013)
James R. Williams, Athanasios Zolotas, Nicholas Drivalos Matragkas, Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack
What do Metamodels Really Look Like? EESSMod@MoDELS (2013)

Athanasios Zolotas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Athanasios Zolotas