Concepedia

Athanasios Zolotas

AZ

Statistics

Publications

5

Citations

62

H-Index

5

Active since

2013

Affiliations

University of York(Current)

Rolls-Royce (United Kingdom)

McMaster University

Athanasios Zolotas is an author at University of York specializing in parallel programming, computer engineering, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingFormal VerificationSystems EngineeringComputer EngineeringParallel Programming

Publications per year

2013–2021

5

Publications

5

What do Metamodels Really Look Like

James R. Williams, Athanasios Zolotas, Nicholas Matragkas et al. · 2013 · 17 citations

On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models

Beatriz Sanchez Pina, Athanasios Zolotas, Horacio Hoyos Rodriguez et al. · 2019 · 14 citations · Full text

Engineering, Computer Architecture, Software Engineering +24

Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon

Athanasios Zolotas, Horacio Hoyos Rodriguez, Stuart Hutchesson et al. · Software & Systems Modeling · 2019 · 11 citations · Full text

Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon

Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos et al. · 2017 · 10 citations

Model-Driven Simulation-Based Analysis for Multi-Robot Systems

James Harbin, Simos Gerasimou, Nicholas Matragkas et al. · 2021 · 10 citations

1–5 of 5