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

 

 

 

 

© 2010-2017 BME MIT