Conference Program

Proceedings

The proceedings is available in the archive.

Program

09:00 Welcome
Session 1
Chair: Tamás Dabóczi
09:00 - 09:40 László Sujbert
Active Noise Control - for Juniors and Seniors (Tutorial)
09:40 - 10:00 Balázs Varga and György Orosz
Analysis of Distributed Multi-Channel Active Noise Cancelling Algorithms
10:00 - 10:20 Coffee break
Session 2
Chair: Tadeusz Dobrowiecki
10:20 - 11:00 András Gézsi
Applications of network science and semantic technologies in biomedicine (Tutorial)
11:00 - 11:20 Bence Bruncsics and Antal Peter
Network-based analysis of genetics in multimorbidities
11:20 - 11:40 Péter Nagy and Ákos Jobbágy
Increasing the accuracy of measuring heart rate variability and pulse wave transit time
11:40 - 13:00 Lunch break
Session 3
Chair: István Majzik
13:00 - 13:40 László Gönczy
Blockchain-based applications: basics, use cases and challenges (Tutorial)
13:40 - 14:00 Attila Klenik and András Pataricza
Towards the Simulation-based Performance Analysis of Hyperledger Fabric
14:00 - 14:20 Ákos Hajdu and Zoltan Micskei
Efficient Strategies for CEGAR-based Model Checking
14:20 - 14:40 Viktória Dorina Bajkai and Ákos Hajdu
Software Model Checking with a Combination of Explicit Values and Predicates
14:40 - 15:00 Mihály Dobos-Kovács and András Vörös
Model checking and test generation: towards a combined approach to software verification
15:00 - 15:20 Coffee break
Session 4
Chair: Zoltán Micskei
15:20 - 15:40 Rebeka Farkas and Gábor Bergmann
Adaptive Step Size Control for the Simulation of Cyber-Physical Systems
15:40 - 16:00 András Földvári and András Pataricza
Design for dependability of cyber-physical systems
16:00 - 16:20 Kristóf Marussy and István Majzik
Architecture-based Dependability Analysis of Reconfigurable and Adaptive Systems
16:20 - 16:40 Dezső Burján and László Gönczy
Data quality and usability requirement analysis with visualization techniques
16:40 - 17:00 Tamás Szántó and Zoltán Micskei
Measuring quality of datasets using prediction explanation
17:00 - 18:00 Dinner (Pizza & Beer)

 

Venue

Building I, Room IB019 (behind the reception)
Magyar Tudósok körútja 2.
1117 Budapest, Hungary

 

 

 

 

 

© 2010-2019 BME MIT