Registered user since Sat 15 Jun 2019
Name:Aleksandar S. Dimovski
Affiliation:Mother Teresa University, Skopje
Personal website:https://aleksdimovski.github.io/
Research interests:Software Product Lines, Static Analysis, Abstract Interpretation, Model Checking
Contributions
| ECOOP 2021 | Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile