System architecture synthesis for performability by logic solvers. - Máté Földiák; Kristóf Marussy; Dániel Varró; István Majzik (MoDELS, 2022)

Artifacts for "System Architecture Synthesis for Performability by Logic Solvers". - Máté Földiák; Kristóf Marussy; Dániel Varró; István Majzik (Zenodo, 2022)

Artifacts for "System Architecture Synthesis for Performability by Logic Solvers". - Máté Földiák; Kristóf Marussy; Dániel Varró; István Majzik (Zenodo, 2022)

Probabilistic Graph Queries for Design Space Exploration Under Uncertainty. - Máté Földiák (MoDELS (Companion), 2024)

Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPT. - José Antonio Hernández López; Máté Földiák; Dániel Varró (MODELS, 2024)

Artifacts for "Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPT". - José Antonio Hernández López; Máté Földiák; Dániel Varró (Zenodo, 2024)

Artifacts for "Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPT". - José Antonio Hernández López; Máté Földiák; Dániel Varró (Zenodo, 2024)