BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Software Center - ECPv5.8.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Software Center
X-ORIGINAL-URL:https://www.software-center.se
X-WR-CALDESC:Events for Software Center
BEGIN:VTIMEZONE
TZID:Europe/Stockholm
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Stockholm:20231212T121500
DTEND;TZID=Europe/Stockholm:20231212T130000
DTSTAMP:20260516T090152
CREATED:20231205T095418Z
LAST-MODIFIED:20231205T095418Z
UID:6199-1702383300-1702386000@www.software-center.se
SUMMARY:Lunch Seminar: Refinery: Automated Generation of Consistent and Diverse Domain-specific Graph Models
DESCRIPTION:Title: \nRefinery: Automated Generation of Consistent and Diverse Domain-specific Graph Models \nSpeaker: Professor Daniel Varro\, Linköping university \nAbstract: \nWhen engineering complex software systems\, knowledge representations often take the form of domain-specific graph models. For instance\, the system architecture in automotive or avionics applications are captured by standardized models. Moreover\, tool qualification as necessitated by safety standards require a large and diverse set of consistent graphs as test cases or design candidates tailored to the application domain. Furthermore\, system-level testing of autonomous vehicles may also rely on synthetic test contexts and abstract test scenarios captured as graphs. In this talk\, I present the conceptual foundations and a short demo of the open-source Refinery framework\, which can automatically derive a diverse set of consistent domain-specific graph models from a high-level domain specification and consistency constraints. As shown by extensive experimental evaluation\, Refinery can generate significantly larger and more diverse graphs than state-of-the-art solver-based model generators.
URL:https://www.software-center.se/event/lunch-seminar-refinery-automated-generation-of-consistent-and-diverse-domain-specific-graph-models/
ORGANIZER;CN="Kristian%20Sandahl":MAILTO:kristian.sandahl@liu.se
END:VEVENT
END:VCALENDAR