English
Magyar
Conference Program
Venue
Building I, Room IB019 (behind the reception)
Magyar Tudósok körútja 2.
1117 Budapest, Hungary
The program may be prone to changing.
| Monday, 29th January | ||
| Session #1 | Chair: Zoltán Micskei | |
|
8:30
|
Bence Graics and Vince Molnár | |
| Mix-and-Match Composition in the Gamma Framework | ||
|
8:50
|
Dávid Honfi and Zoltan Micskei | |
| Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics | ||
|
9:10
|
Gábor Rabatin and András Vörös | |
| Towards the Verification of Neural Networks for Critical Cyber-Physical Systems | ||
|
9:30
|
Rebeka Farkas and Gábor Bergmann | |
| Towards Reliable Benchmarks of Timed Automata | ||
|
9:50
|
Ákos Hajdu and Zoltán Micskei | |
| A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework | ||
| 10:10 | Refreshments | |
| Session #2 | Chair: Ratko Magjarevic | |
|
10:40
|
Goran Seketa, Dominik Dzaja, Jurica Vugrin, Igor Lackovic and Ratko Magjarevic | |
| Signal Acquisition for Accelerometer-based Fall Detection | ||
|
11:00
|
Péter Nagy and Ákos Jobbágy | |
| Oscillometric blood pressure measurement using constant cuff pressure intervals | ||
|
11:20
|
Máté Borkó, Bence Bolgár and Peter Sarkozy | |
| Basecalling Raw Nanopore DNA Sequencing Reads using Neural Networks | ||
|
11:40
|
Erik Jagyugya and Peter Sarkozy | |
| Comparison of Nanopore DNA Sequencing Basecallers on Whole Human Data | ||
| 12:00 | Lunch break | |
| Session #3 | Chair: Gábor Bergmann | |
|
13:30
|
Frederico Cerveira | |
| Exploratory data analysis of fault injection campaigns | ||
|
13:50
|
Attila Klenik and András Pataricza | |
| Preliminary Performance Assessment of Hyperledger Fabric | ||
|
14:10
|
Szilárd Bozóki and András Pataricza | |
| Use of resource leveling in peak workload scheduling | ||
|
14:30
|
Daniel Hadhazi | |
| Conditioning the problem of reconstructing tomosynhtesis slices | ||
|
14:50
|
Bence Bruncsics, András Gézsi and Péter Antal | |
| Unknown, Uncertain, Untrue: Challenges in Inference Using Semantic Life Science Data | ||
| 15:10 | Refreshments | |
| Session #4 | Chair: Béla Pataki | |
|
15:40
|
Péter Zoltán Csurcsia | |
| An Application Example of Regularization: Time-varying Operational Modal Analysis | ||
|
16:00
|
Zeyneb Guenfoud and Peter Antal | |
| Adaptive Sequential Laboratory Diagnostic Tests: Joint Bayesian Analysis for Optimality | ||
|
16:20
|
Balázs Varga and György Orosz | |
| High Frequency Active Distortion Cancellation | ||
|
16:40
|
Dieter Verbeke and Johan Schoukens | |
| Improved frequency response measurements using local parametric models | ||
| 18:00 | Dinner | |