Automated generation of domain-specific graph models
Abstract
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.
Please note that the meeting will be recorded and live-streamed to YouTube:
Dániel Varró
Professor
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).