András Földvári

According to our database, András Földvári authored at least 8 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Model-Driven, Logic-Supported Exploratory Dependability Analysis.

András Földvári, András Pataricza

Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025

Model-based Qualitative Dependability and Security Evaluation : Half-Day Tutorial.

András Földvári, András Pataricza

Proceedings of the 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025

Dependability Assurance with Symbolic Reasoning in LLM-Enabled Systems.

András Gergely Deé-Lukács, András Földvári

Proceedings of the 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2025

2024

Requirement-Driven Generation of Distributed Ledger Architectures.

Noor Al-Gburi, András Földvári, Kristóf Marussy, Oszkár Semeráth, Imre Kocsis

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023

Digital Twins in Industry 5.0: Challenges in Modeling and Communication.

Marcell Balogh, András Földvári, Pál Varga

Proceedings of the NOMS 2023, 2023

Preliminary Risk and Mitigation Assessment in Cyber-Physical Systems.

András Földvári, Francesco Brancati, András Pataricza

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2021

Impact Assessment of IT Security Breaches in Cyber-Physical Systems: Short paper.

András Földvári, Gergely Biczók, Imre Kocsis, László Gönczy, András Pataricza

Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021

Semi-automated model extraction from observations for dependability analysis.

András Földvári, András Pataricza

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021