09:00 - 09:10

Opening

09:10 - 09:30

Kristóf Horváth, Balázs Bank and György Orosz
Towards automated worst-case analysis of circuits: selecting initial values for global optimization

09:30 - 09:50

András Palkó and László Sujbert
Improving the Convergence Speed of the Resonator-Based Observer by Significant Component Selection

09:50 - 10:10

Bence Ország and László Sujbert
Behavior of Observer Performing Discrete Gabor Transform

10:10 - 10:30

András Wiesner and Tamás Kovácsházy
Synchronization of Sampling in a Distributed Audio Frequency Range Data Acquisition System Utilizing Microcontrollers

10:30 - 10:50

Break

10:50 - 11:10

Bence Graics and Istvan Majzik
Integration Test Generation and Formal Verification for Distributed Controllers

11:10 - 11:30

Richárd Szabó and András Vörös
Functional verification of a fault tolerant subsystem in the Gamma Framework

11:30 - 11:50

Mihály Dobos-Kovács and András Vörös
Evaluation of SMT solvers in abstraction-based software model checking

11:50 - 12:10

Dániel Szekeres and István Majzik
Lazy Abstraction for Probabilistic Systems

12:10 - 13:15

Lunch break

13:15 - 13:35

SMART4ALL - 1

13:35 - 13:55

SMART4ALL - 2

13:55 - 14:15

SMART4ALL - 3

14:15 - 14:35

SMART4ALL - 4

14:35 - 15:35

15:35 - 15:55

Márk Marosi and Péter Antal
The artificial intelligence of reality: fake news detection with transformers

15:55 - 16:15

Dániel Sándor and Péter Antal
Transfer learning in heterogeneous drug-target interaction predictions using federated boosting

16:15 - 16:35

Levente Alekszejenkó and Tadeusz P. Dobrowiecki
Towards an Efficient, Privacy-aware Federated Learning Scheme

16:35 - 16:55

Gábor Révy, Daniel Hadhazi and Gabor Hullam
Thoracic spine segmentation based on CT images

16:55 - 17:15

Mihály Vetró and Gábor Hullám
Analyzing the discriminative power of EEG microstates over mental tasks

17:15 - 

Closing words

09:00 - 09:20

Bence Cseppentő
MPC for ANNs     

09:20 - 09:40

Hussein Al-Rikabi and Balázs Renczes
Floating-Point Roundoff Error Analysis in Artificial Neural Networks

09:40 - 10:00

Zahraa Tagelsir and Zsolt Kollár
Transmission of FBMC signals over Optical Fiber

10:00 - 10:20

Monther Alrwashdeh, Zsolt Kollár
Analysis of quantization noise in FBMC transmitters

10:20 - 10:40

Lóránt Csőke and Zsolt Kollár
Development and validation of a surface profiling system for end of line monitoring
of microstructured elastomer seals based on chromatic confocal microscopy

10:40 - 11:00

Break

11:00 - 11:20

Levente Bajczi, Zsófia Ádám and Vince Molnár
C for Yourself: Comparison of Front-End Techniques for Formal Verification

11:20 - 11:40

Carlos Batista, Andras Földvári, András Pataricza and Fatima Mattiello-Francisco
Resources/Services/Demands Relationship on a Federated Cubesat Constellation System Operation

11:40 - 12:00

Simon Nagy, András Vörös and Kristóf Marussy
Modeling and forecasting dependability and performability of software-intensive cyber-physical systems

12:00 - 12:20

András Földvári and András Pataricza
Handling uncertainty in error propagation analysis

12:20 - 13:20

Lunch break

13:20 - 13:40

Márton Elekes, Vince Molnár and Zoltán Micskei
Assessing the specification of modelling language semantics: A study on UML PSSM

13:40 - 14:00

Bertalan Zoltán Péter and Imre Kocsis
N-Version Programming as a Mitigation for Smart Contract Faults in Execute-Order-Validate Blockchain Systems

14:00 - 14:20

Attila Ficsor and Oszkár Semeráth
Semantic Robustness Testing for Vision-Based Machine Learning Components of Autonomous Cyber-Physical Systems

14:20 - 14:40

Damaris Kangogo and Imre Kocsis
Runtime Verification of Hyperledger Fabric Smart Contracts

14:40 - 15:00

Imre Kocsis and Noor Algburi
Knowledge-driven Exploratory Performance Data Analysis for Execute-Order-Validate Blockchains

15:00 - 

Closing words