Conference Program

 

Program

Day 1 – Monday, 3 February 2025 @ room QBF09

 

 

 

08:50 – 09:00

Opening of the Mini-Symposium

 

Session 1 - Chair: Balázs Renczes

09:00 – 09:20

Bence Ország and László Sujbert
Perfect Reconstruction Nonsubsampled Arbitrary Frequency Resolution Filter Banks

 09:20 – 09:40

Benedek Pour and Tamás Dabóczi
Examination of AI-Based Sensorless Rotor Position Estimation

09:40 –10:00

András Wiesner, Péter Kaszás, Franz-Otto Witte and Tamás Kovácsházy
Time Synchronization Extension for the IO-Link Industrial Communication Protocol

10:00 – 10:20

Pál Weisz and György Orosz
Framework for Automated Worst-Case Analysis

10:20 – 10:40

Break

 

Session 2 - Chair: Gábor Hullám

10:40 – 11:00

Benedek Ágota and Tamás Mészáros
Extending Bayesian Networks with Large Language Models for Interactive Semantic Explanations

11:00 – 11:20

Ádám Tumay, Dániel Hadházi and Gábor Hullám
Localization of the Lungs on PA chest X-ray images using deep CNN-s

11:20 –11:40

Levente Alekszejenkó and Tadeusz P. Dobrowiecki
Effect of Noisy Occupancy Data on an Auction-based Intelligent Parking Assignment

11:40 – 12:00

Gábor Révy, Dániel Hadházi and Gábor Hullám
Automatic pulmonary vessel network labeling on thoracic CT scans based on partially labeled data

12:00 – 12:20

Mihály Vetró and Gábor Hullám
Increased Beta Power in Depressed Patients: Current Results and Further Research Directions

12:20 – 13:20

Lunch break

 

Session 3 - Chair: György Orosz

13:20 – 13:40 Hussein Al-Rikabi and Balázs Renczes
HIRA-QAT: History-Informed Reference-Aided Quantization-Aware Training for Dense Models

13:40 – 14:00

Mohammed Al-Dulaimi and Zsolt Kollár
Prototype filters for FBMC modulation

14:00 – 14:20

Sharba Mohammad and Balázs Renczes
Optimized gradient-based method for Crest Factor Minimization of a Multi-sine Signal 

14:20 – 14:40

Zahraa TagelsirHusam Al-amaireh and Zsolt Kollár
Active Constellation Extension with Enlipping Technique for PAPR Reduction in FBMC-OQAM Systems

14:40 – 15:00

Break

  Session 4 - Chair: István Majzik
15:00 – 15:20 Zsófia Ádám and Zoltán Micskei
State Space-based Validation of Model Checkers with Summaries
15:20 – 15:40 Attila FicsorKristóf Marussy, Dániel Varró and Oszkár Semeráth
Refinery: Graph Solver as a Service
15:40 – 16:00 Ármin Zavada and Vince Molnár
From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics
16:00 – 16:20 Levente Bajczi, Dániel Szekeres, Telbisz Csanád and Vince Molnár
Giving Some Pointers for Abstraction-Based Model Checking

 

Day 2 – Tuesday, 4 February 2025 @ room QBF09

 

 

Session 1 - Chair: Imre Kocsis

09:00 – 09:20

Simon Nagy and András Vörös
Model-based design and analysis of high-voltage distribution systems

09:20 – 09:40

Márton Tarnay, András Földvári and Bertalan Péter
Inductive Learning-Based Qualitative Fault Diagnosis in Distributed Systems

09:40 – 10:00

Mihály Dobos-Kovács and András Vörös
Parallel lazy abstraction

10:00 – 10:20

Damaris Kangogo, Balázs Ádám Toldi and Imre Kocsis
On Expressing Blockchain Financial Operations in BPMN models

10:20 –10:40

Noor Al-Gburi and Imre Kocsis
Requirement-Driven Generation of Distributed Ledger Architectures

10:40 – 11:00

Break

 

 

Session 2 - Chair: Zoltán Micskei

11:00 – 11:20

Milán Mondok, Levente Bajczi, Dániel Szekeres and Vince Molnár
EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution)

11:20 – 11:40

András Deé-Lukács, András Földvári and András Pataricza
Evaluation of Embedded AI Through Model Difference Analysis

11:40 – 12:00

Dániel Szekeres and István Majzik
Towards Integrating Abstraction and Partial Order Reduction in Probabilistic Model Checking:
Survey of Challenges and Opportunities

12:00 – 12:20

Richárd Szabó, Dóra Cziborová and András Vörös
Towards Configurable Coordination for Distributed Reactive Systems

12:20 – 12:40 Nada Akel and László Gönczy
Model-Driven Method for Data Quality Assurance

12:40 – 13:40 

Lunch Break

 

 

Session 3 - Chair: Péter Antal

13:40 – 14:00

Márk Marosi, Kristóf Váradi and Péter Antal
From Language to Causality: Extracting Causal Relations from LLM Knowledge

14:00 – 14:20

Dániel Sándor and Péter Antal
Explainable Graphical Model-Based Transcriptomic Clock from Single Cell Gene Expression Data

14:20 – 14:40

Domonkos Pogány and Péter Antal
Hyperbolic Metabolite-Disease Association Prediction

14:40 – 15:00

Mátyás Antal and András Gézsi
xLSTM Architectures in Reinforcement Learning
15:00 – 15:20 László Fetter and András Gézsi
Training Graph Transormer With Feature and Positional Information
15:20 – 15:40 Norman Sepsik, György Balogh and Ferenc Ender
Novel Organ-on-a-Chip device for high throughput drug candidate screening

15:40 – 

Closing words

 

© 2010-2025 BME MIT