Publications
| 2025 | |
|---|---|
| DOI Details | Milena Vujošević Janičić, Erika Ábrahám, Amal Mersni, Oleksandra Yeremenko, and Miguel Goulão. 2025. WoCa Lunch: A Program for Female Students to Get Informed About PhD Studies. In Actions for Gender Balance in Informatics Across Europe. Springer Nature Switzerland, Cham, 137–173. |
| DOI Details | Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, and Sebastian Junges. 2025. Correction to: Efficient Probabilistic Model Checking for Relational Reachability. In Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science, Vol. 15931). Springer Nature Switzerland, Cham, C1–C2. |
| DOI Details | Martin Aubard, László Antal, Ana Madureira, Luis F. Teixeira, and Erika Ábrahám. 2025. ROSAR: An Adversarial Re-Training Framework for Robust Side-Scan Sonar Object Detection. In 2025 Symposium on Maritime Informatics and Robotics (MARIS) : 26-27 June 2025 ; conference location: Syros, Greece. IEEE, [Piscataway, NJ], 8 pages. |
| DOI Details | Jonas Stübbe, Anne Remke, and Erika Ábrahám. 2025. Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks. In 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing : SYNASC 2025 : 22-25 September 2025, Timișoara, Romania : proceedings. IEEE, Piscataway, NJ, 21–29. |
| 2024 | |
| DOI Details | Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, and Zeng Qiu. 2024. On the applicability of hybrid systems safety verification tools from the automotive perspective. International journal on software tools for technology transfer : STTT 26, 1 (2024), 49–78. |
| DOI Details | Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, and Matthew England. 2024. Levelwise construction of a single cylindrical algebraic cell. Journal of symbolic computation 123 (2024), 102288. |
| DOI Details | Erika Ábrahám, József Kovács, and Anne Remke. 2024. SMT: Something You Must Try. In iFM 2023 : 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023 : Proceedings (Lecture notes in computer science, Vol. 14300). Springer, Cham, Switzerland, 3–18. |
| DOI Details | Olaya Álvarez-Tunón, Luiza Ribeiro Marnet, László Antal, Martin Aubard, Maria Costa, and Yury Brodskiy. 2024. SubPipe: A Submarine Pipeline Inspection Dataset for Segmentation and Visual-inertial Localization. arXiv:2401.17907. |
| DOI Details | Martin Aubard, Sergio Quijano, Olaya Álvarez-Tunón, László Antal, Maria Costa, and Yury Brodskiy. 2024. Mission Planning and Safety Assessment for Pipeline Inspection Using Autonomous Underwater Vehicles: A Framework based on Behavior Trees. arXiv:2402.04045. |
| DOI Details | Sebastian Junges, Erika Ábrahám, Hans Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, and Matthias Volk. 2024. Parameter synthesis for Markov models : covering the parameter space. Formal methods in system design 62, 1/3 (2024), 181–259. |
| DOI Details | Jasper Nalbach and Erika Ábrahám. 2024. Merging Adjacent Cells During Single Cell Construction. In Computer algebra in scientific computing : 26th international workshop, CASC 2024, Rennes, France, September 2-6, 2024 : proceedings (Lecture notes in computer science, Vol. 14938). Springer, Cham, Switzerland, 252–272. |
| DOI Details | Martin Aubard, László Antal, Ana Madureira, and Erika Ábrahám. 2024. Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection. arXiv:2403.09313. |
| Details | Valentin Promies, Jasper Nalbach, and Erika Ábrahám. 2024. Under-Approximation of a Single Algebraic Cell. In PAAR+SC-Square 2024: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2024 : joint proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024, co-located with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024) : Nancy, France, July 2, 2024 (CEUR workshop proceedings, Vol. 3717). RWTH Aachen, Aachen, Germany, 132–136. |
| DOI Details | Erika Ábrahám and Marco Paolieri. 2024. Introduction to the Special Issue on QEST 2022, Part 1. ACM transactions on modeling and computer simulation : TOMACS 34 (2024), 16. |
| DOI Details | Erika Ábrahám and Manuel Mazo Jr (Eds.). 2024. Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control (ACM conferences). Association for Computing Machinery, New York, NY, United States. |
| DOI Details | Olaya Álvarez-Tuñón, Luiza Ribeiro Marnet, Martin Aubard, László Antal, Maria Costa, and Yury Brodskiy. 2024. Subpipe: a submarine pipeline inspection dataset for segmentation and visual-inertial localization. In OCEANS 2024 - Singapore : [Proceedings]. IEEE, Piscataway, NJ, 7 pages. |
| DOI Details | Martin Aubard, Sergio Quijano, Olaya Álvarez-Tuñón, László Antal, Maria Costa, and Yury Brodskiy. 2024. Mission Planning and Safety Assessment for Pipeline Inspection Using Autonomous Underwater Vehicles: A Framework Based on Behavior Trees. In OCEANS 2024 - Singapore : [Proceedings]. IEEE, Piscataway, NJ, 6 pages. |
| DOI Details | Martin Aubard, László Antal, Ana Madureira, Luis F. Teixeira, and Erika Ábrahám. 2024. ROSAR: An Adversarial Re-Training Framework for Robust Side-Scan Sonar Object Detection. arXiv:2410.10554. |
| DOI Details | Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Nikolaos Fachantidis, Gabor Kusper, and Sorin Stratulat. 2024. A European Project on AI-based Robotics. In 2024 IEEE International Conference on Teaching, Assessment and Learning for Engineering conference proceedings : December 9-12, 2024. IEEE, Piscataway, NJ, 7 pages. |
| DOI Details | Martin Aubard, László Antal, Ana Maria Madureira, and Erika Ábrahám. 2024. SWDD: Sonar Wall Detection Dataset; v2. Zenodo. |
| DOI Details | Fatemeh Ghassemi, Saeed Zhiany, Nesa Abbasimoghadam, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, and Marjan Sirjani. 2024. Hybrid Rebeca Revisited. arXiv:2411.03160. |
| DOI Details | Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, and Matthew England. 2024. On Projective Delineability. arXiv:2411.13300. |
| DOI Details | Jasper Nalbach and Gereon Kremer. 2024. Extensions of the Cylindrical Algebraic Covering Method for Quantifiers. arXiv:2411.03070. |
| DOI Details | Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, and Matthew England. 2024. On Projective Delineability. In 2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) : [Proceedings]. IEEE, Pisctaway, NJ, 9–16. |
| Details | Pascal Richter, Erika Ábrahám, and Ahmed Abida. 2024. Steuerung einer Versorgungstechnik eines Gebäudes mittels eines neuronalen Netzwerks. Technical Report. |