Automated generation of domain-specific graph models


Graphs are key abstractions in science and engineering. They may represent linked data in graph databases or social networks, complex designs of cyber-physical systems, or critical validation scenarios for autonomous systems. Synthetic graph generators are essential when the use of real graph models is restricted (to respect privacy regulations or intellectual properties of companies) or impractical (to find corner-cases for safety assurance). In this talk, I will provide an overview of major challenges and recent research results on automated graph generation which aims to derive domain-specific graph models which are simultaneously consistent (CO), realistic (RE), diverse (DI) and scalable (SC). In particular, I will present a graph solver that combines advanced graph algorithms with 3-valued logic satisfiability techniques.

Friday, June 16, 2023 15:00 Europe/Paris
GReTA seminar
Zoom registration: click here! Please consider joining the meeting already within the 15min prior to the start of the seminar to ensure your setup is functioning properly. You may connect with either the Zoom web or Zoom desktop clients.

Please note that the meeting will be recorded and live-streamed to YouTube:

Dániel Varró
Dániel Varró

Dániel Varró is a professor at Linköping University and an adjunct professor at McGill University as well as at Budapest University of Technology and Economics. He was a research chair of the MTA Lendület Cyber-Physical Systems Research Group. He has co-authored over 200 scientific papers which received seven Distinguished Paper Awards, and three Most Influential Paper Awards. He serves on the editorial board of the Software and Systems Modeling journal and he is vice chair of the MODELS steering committee. He served as program committee co-chair of FASE 2013, ICMT 2014, SLE 2016 and MODELS 2021 conferences. He is a co-founder of the VIATRA model query and transformation framework, and IncQuery Labs, a technology-intensive Hungarian company. He was a visiting professor at McGill University and Université de Montréal, and previously, a visiting researcher at SRI International (USA), University of Paderborn and TU Berlin (Germany).