23 citations · 38 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LG2019
Prediction of Horizontal Data Partitioning Through Query Execution Cost Estimation
Nino Arsov, Goran Velinov, Aleksandar S. Dimovski +3
The excessively increased volume of data in modern data management systems demands an improved system performance, frequently provided by data distribution, system scalability and…
cs.PL2019★ 2 cited
Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version)
Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
Variability models allow effective building of many custom model variants for various configurations. Lifted model checking for a variability model is capable of verifying all its…