English
Magyar
Conference Program
Venue
Building I, Room IB019 (behind the reception)
Magyar Tudósok körútja 2.
1117 Budapest, Hungary
| Monday, 30th January | ||
| Session #1 | Chair: László Sujbert | |
|
9:00
|
Gábor Szárnyas | |
| Formalizing openCypher Graph Queries in Relational Algebra | ||
|
9:20
|
Martin Häusler | |
| Sustainable Management of Versioned Data | ||
|
9:40
|
Tamás Virosztek | |
| Theoretical Limits of Parameter Estimation Based on Quantized Data | ||
|
10:00
|
Gábor Szilágyi | |
| Distributed runtime verification of cyber-physical systems based on graph pattern matching | ||
| 10:20 | Refreshments | |
| Session #2 | Chair: Gábor Péceli | |
|
10:50
|
Tamás Tóth | |
| Timed Automata Verification using Interpolants | ||
|
11:10
|
Gyula Sallai | |
| Boosting Software Verification with Compiler Optimizations | ||
|
11:30
|
András Szabolcs Nagy | |
| Effects of Graph Transformation Rules to Design Space Exploration Problems | ||
|
11:50
|
Stefan Klikovits | |
| Towards Language Independent Dynamic Symbolic Execution | ||
| 12:10 | Lunch break | |
| Session #3 | Chair: András Pataricza | |
|
13:40
|
Csaba Debreceni | |
| Approaches to Identify Object Correspondences Between Source Models and Their View Models | ||
|
14:00
|
Enrico Schiavone | |
| Securing Critical Systems through User Continuous Authentication and Non-repudiation | ||
|
14:20
|
Oszkár Semeráth | |
| Towards the Evaluation of Graph Constraint over Partial Models | ||
|
14:40
|
Maarten Schoukens | |
| Block-Oriented Identification using the Best Linear Approximation: Benefits and Drawbacks | ||
| 15:00 | Refreshments | |
| Session #4 | Chair: István Majzik | |
|
15:30
|
Attila Klenik | |
| Performance Benchmarking Using Software-in-the-Loop | ||
|
15:50
|
Bálint Ferencz | |
| Effects of Memory Errors in IEEE 1588 Clock Networks | ||
|
16:10
|
Tommaso Zoppi | |
| Executing Online Anomaly Detection in Complex Dynamic Systems | ||
|
16:30
|
Dániel Hadházi | |
| Spectral Leakage in Matrix Inversion Tomosynthesis | ||
| 18:00 | Dinner | |
| Tuesday, 31st January | ||
| Session #5 | Chair: Tadeusz Dobrowiecki | |
|
9:00
|
Vince Molnár | |
| Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach | ||
|
9:20
|
Bence Graics | |
| Formal Compositional Semantics for Yakindu Statecharts | ||
|
9:40
|
Ákos Hajdu | |
| Exploratory Analysis of a Configurable CEGAR Framework | ||
|
10:00
|
Rebeka Farkas | |
| Activity-Based Abstraction Refinement for Timed Systems | ||
| 10:20 | Refreshments | |
| Session #6 | Chair: Ákos Jobbágy | |
|
10:50
|
András Palkó | |
| Enhanced Spectral Estimation Using FFT in Case of Data Loss | ||
|
11:10
|
Márton Búr | |
| Towards Modeling Cyber-Physical Systems From Multiple Approaches | ||
|
11:30
|
Anna Gujgiczer | |
| Towards model-based support for regression testing | ||
|
11:50
|
Dávid Honfi | |
| User-defined Sandbox Behavior for Dynamic Symbolic Execution | ||