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

 

 

 

 

© 2010-2018 BME MIT