Publications
| 2024 | |
|---|---|
| DOI Details | Olaya Álvarez-Tuñó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; 3.0.1. Zenodo. |
| 2023 | |
| Details | Jonas Blum, Stefan Hardt, Pascal Richter, Erika Ábrahám, Ahmed Abida, and Simon Klemp. 2023. Verfahren und System zur Steuerung von Lasten in einem Gebäude. Technical Report. |
| DOI Details | László Antal, Martin Aubard, Erika Ábrahám, Ana Madureira, Luís Madureira, Maria Costa, José Pinto, and Renato Campos. 2023. A Collision Avoidance Method for Autonomous Underwater Vehicles Based on Long Short-Term Memories. In Innovations in Bio-Inspired Computing and Applications : Proceedings of the 13th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2022) Held During December 15-17, 2022 (Lecture Notes in Networks and Systems, Vol. 649). Springer Nature Switzerland, Cham, 448–457. |
| Details | Gereon Kremer and Jasper Nalbach. 2023. Cylindrical Algebraic Coverings for Quantifiers. In Proceedings of the 7th SC-Square Workshop, CEUR-WS Proceedings (CEUR workshop proceedings, Vol. 3458). RWTH-Aachen, Aachen, Germany, 9 pages. |
| DOI Details | Philipp Bär. 2023. Exploiting strict constraints in the computation of cylindrical algebraic coverings. Bachelor's thesis. RWTH Aachen University, Aachen. |
| DOI Details | Erika Ábrahám, Jasper Nalbach, and Valentin Promies. 2023. Automated Exercise Generation for Satisfiability Checking. In Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings (Lecture notes in computer science, Vol. 13962). Springer, Cham, Switzerland, 1–16. |
| DOI Details | Jasper Nalbach and Erika Ábrahám. 2023. Subtropical Satisfiability for SMT Solving. In NASA formal methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023 : Proceedings. Lecture notes in computer science, Vol. 13903. Springer, Cham, Switzerland, 430–446. |
| Details | Philipp Bär, Jasper Nalbach, Erika Ábrahám, and Christopher Brown. 2023. Exploiting Strict Constraints in the Cylindrical Algebraic Covering. In SMT 2023 : Satisfiability Modulo Theories 2023 : Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) : co-located with the 29th International Conference on Automated Deduction (CADE 2023) : Rome, Italy, July, 5-6, 2023 (CEUR workshop proceedings, Vol. 3429). RWTH-Aachen, Aachen, Germany, 13 pages. |
| DOI Details | Ahmed Abida and Pascal Richter. 2023. HVAC control in buildings using neural network. Journal of building engineering 65 (2023), 105558. |
| DOI Details | Philipp Bär, Jasper Nalbach, Erika Ábrahám, and Christopher W. Brown. 2023. Exploiting Strict Constraints in the Cylindrical Algebraic Covering. arXiv:2306.16757. |
| DOI Details | Joanna Delicaris, Stefan Schupp, Erika Ábrahám, and Anne Remke. 2023. Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. In Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings (Lecture Notes in Computer Science, Vol. 13931). Springer, 164–182. |
| Details | Erika Ábrahám and Thomas Sturm (Eds.). 2023. SC-Square 2023: Satisfiability Checking and Symbolic Computation 2023 : proceedings of the 8th SC-Square Workshop, co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023) : Tromsø, Norway, July 28, 2023 (CEUR workshop proceedings, Vol. 3455). RWTH Aachen, Aachen, Germany. |
| DOI Details | Joanna Delicaris, Stefan Schupp, Erika Ábrahám, and Anne Remke. 2023. Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. arXiv:2304.14996. |
| DOI Details | Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, and Borzoo Bonakdarpour. 2023. Introducing Asynchronicity to Probabilistic Hyperproperties. arXiv:2307.05282. |
| DOI Details | Lisa Willemsen, Anne Remke, and Erika Ábrahám. 2023. Comparing Two Approaches to Include Stochasticity in Hybrid Automata. arXiv:2307.08052. |
| DOI Details | Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, and Borzoo Bonakdarpour. 2023. Introducing Asynchronicity to Probabilistic Hyperproperties. In Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science, Vol. 14287). Springer Nature Switzerland, Cham, 47–64. |
| DOI Details | Jasper Nalbach, Valentin Promies, Erika Ábrahám, and Paul Kobialka. 2023. FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. arXiv:2309.03138. |
| DOI Details | Hossein Hojjat and Erika Ábrahám (Eds.). 2023. Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers (Lecture notes in computer science, Vol. 14155). Springer, Cham, Switzerland. |
| DOI Details | Lisa Willemsen, Anne Remke, and Erika Ábrahám. 2023. Comparing Two Approaches to Include Stochasticity in Hybrid Automata. In Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science). Springer, Cham, 238–254. |
| DOI Details | Erika Ábrahám, Stefan Hallerstede, John Hatcliff, Danielle Stewart, and Noah Abou El Wafa. 2023. Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041). Dagstuhl Reports 13, 1 (2023), 155–183. |
| DOI Details | Jasper Nalbach, Valentin Promies, Erika Ábrahám, and Paul Kobialka. 2023. FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. In Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification Udine, Italy, 18-20th September 2023 (Electronic Proceedings in Theoretical Computer Science, Vol. 390). Open Publishing Association. |
| DOI Details | Erika Ábrahám, Clemens Dubslaff, and Silvia Lizeth Tapia Tarifa. 2023. Theoretical Aspects of Computing. In Theoretical Aspects of Computing – ICTAC 2023 : 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science, Vol. 14446). Springer Nature Switzerland, Cham. |
| DOI Details | László Antal, Hana Masara, and Erika Ábrahám. 2023. Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions. In Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems : Leiden, The Netherlands, 15th and 16th of November 2023 (Electronic proceedings in theoretical computer science : EPTCS, Vol. 395). NICTA, Sydney, 30–68. |
| DOI Details | Friedhelm Hövelmann, Lukas Aldenhoff, and Pascal Richter. 2023. Analytic ray tracer on GPU for central receiver systems. Solar energy 266 (2023), 112149. |
| 2022 | |
| DOI Details | Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, and Borzoo Bonakdarpour. 2022. HyperPCTL Model Checking by Probabilistic Decomposition. In Integrated formal methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022 : proceedings (Lecture notes in computer science, Vol. 13274, Formal methods). Springer, Cham, Switzerland, 209–226. |