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 Tagelsir, Husam 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 Ficsor, Kristó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

Related pages

Minisymposium

Call for papers

Conference Program

Frequently Asked Questions

Organizing comittee

Proceedings