publications
publications by categories in reversed chronological order. generated by jekyll-scholar.
2024
- arXivCertifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract InterpretationarXiv preprint arXiv:2405.08645, 2024
2023
- MODELSAutomated domain modeling with large language models: A comparative studyIn 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS) , 2023
- MODELS-CPrompting or Fine-tuning? A Comparative Study of Large Language Models for Taxonomy ConstructionIn 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) , 2023
- REWOn the use of GPT-4 for creating goal models: an exploratory studyIn 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW) , 2023
2022
- TrustLog-CIKMTowards improving the explainability of text-based information retrieval with knowledge graphs1st Workshop on Trustworthy Learning on Graphs, 2022
- ASEConsistent scene graph generation by constraint optimizationIn Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering , 2022
2021
- SoSyMAutomated generation of consistent, diverse and structurally realistic graph modelsSoftware and Systems Modeling, 2021
- TSEAn empirical study of type-related defects in python projectsIEEE Transactions on Software Engineering, 2021
2020
- MODELS-CAutomated video game world map synthesis by model-based techniquesIn Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings , 2020