Publications
] Filters: First Letter Of Title is D [Clear All Filters]
"Dynamic Scope Discovery for Model Transformations",
Software Language Engineering - 7th International Conference, {SLE} 2014, Väster{\aa}s, Sweden, September 15-16, 2014. Proceedings, vol. LNCS, Vasteras, Sweden, Springer, pp. 302–321, 2014.
"A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol",
Software Engineering for Resilient Systems, vol. 9274: Springer International Publishing, pp. 31-45, 09/15, 2015.
"Data Analysis Based Capacity Planning of VCL Clouds",
3rd International IBM Cloud Academy Conference ICACON 2015, Budapest, 05/2015.
"Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules",
1st International Workshop on Collaborative Modelling in MDE, Saint Malo, France, ACM, 06/2016.
"Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems",
Fundamental Approaches to Software Engineering, Cham, Springer International Publishing, pp. 111–128, 2018.
Abstract
"Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems",
21st International Conference on Fundamental Approaches to Software Engineering (FASE), Thessaloniki, Greece, 2018.
"Diversity of Graph Models and Graph Generators in Mutation Testing",
International Journal on Software Tools for Technology Transfer, 2019.
"Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems",
International Journal on Software Tools for Technology Transfer, 09/2019.
Abstract
