Publications

2024
DOI fulltext PDF [bibtex]
@article{L2024,
title = {Levelwise construction of a single cylindrical algebraic cell},
author = {Jasper Kurt Ferdinand Nalbach and Erika Ábrahám and Philippe Specht and Christopher W. Brown and James H. Davenport and Matthew England},
publisher = {Elsevier},
journal = {Journal of symbolic computation},
volume = {123},
pages = {pages 102288},
type = {Journal Article},
year = {2024},
doi = {10.1016/j.jsc.2023.102288},
url = { https://publications.rwth-aachen.de/record/975125},
}×
[issue]
Jasper Kurt Ferdinand Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England. Levelwise construction of a single cylindrical algebraic cell, Journal of symbolic computation 123, pages 102288, Elsevier, 2024.
DOI [bibtex]
@conference{SSYMT2024,
title = {SMT: Something You Must Try},
author = {Erika Ábrahám and Jószef Kovács and Anne Remke},
publisher = {Springer},
booktitle = {LNCS},
volume = {14300},
pages = {3-18},
type = {Conference Paper},
year = {2024},
doi = {10.1007/978-3-031-47705-8_1},
url = { https://publications.rwth-aachen.de/record/976267},
}×
[issue]
Erika Ábrahám, Jószef Kovács, Anne Remke. SMT: Something You Must Try, 18. International Conference on Integrated Formal Methods (iFM 2023), Volume 14300 of LNCS, 3-18, Springer, 2024.
DOI arXiv:2401.17907 [bibtex]
@unpublished{SASPIDSVL2024,
title = {SubPipe: A Submarine Pipeline Inspection Dataset for Segmentation and Visual-inertial Localization},
author = {Olaya Álvarez-Tunón and Luiza Ribeiro Marnet and László Antal and Martin Aubard and Maria Costa and Yury Brodskiy},
type = {Preprint},
year = {2024},
doi = {10.48550/ARXIV.2401.17907},
url = { https://arxiv.org/abs/2401.17907},
}×
[issue]
Olaya Álvarez-Tunón, Luiza Ribeiro Marnet, László Antal, Martin Aubard, Maria Costa, Yury Brodskiy. SubPipe: A Submarine Pipeline Inspection Dataset for Segmentation and Visual-inertial Localization, 2024. https://arxiv.org/abs/2401.17907
DOI arXiv:2402.04045 [bibtex]
@unpublished{MPSAPIUAUVAFBT2024,
title = {Mission Planning and Safety Assessment for Pipeline Inspection Using Autonomous Underwater Vehicles: A Framework based on Behavior Trees},
author = {Martin Aubard and Sergio Quijano and Olaya Álvarez-Tunón and László Antal and Maria Costa and Yury Brodskiy},
type = {Preprint},
year = {2024},
doi = {10.48550/ARXIV.2402.04045},
url = { https://arxiv.org/abs/2402.04045},
}×
[issue]
Martin Aubard, Sergio Quijano, Olaya Álvarez-Tunón, László Antal, Maria Costa, Yury Brodskiy. Mission Planning and Safety Assessment for Pipeline Inspection Using Autonomous Underwater Vehicles: A Framework based on Behavior Trees, 2024. https://arxiv.org/abs/2402.04045
2023
fulltext PDF [bibtex]
@misc{VSSLG2023,
title = {Verfahren und System zur Steuerung von Lasten in einem Gebäude},
author = {Jonas Blum and Stefan Hardt and Pascal Richter and Erika Ábrahám and Ahmed Abida and Simon Klemp},
pages = {17 Seiten : Illustrationen},
type = {Patent},
year = {2023},
url = { https://publications.rwth-aachen.de/record/953391},
}×
[issue]
Jonas Blum, Stefan Hardt, Pascal Richter, Erika Ábrahám, Ahmed Abida, Simon Klemp. Verfahren und System zur Steuerung von Lasten in einem Gebäude, 17 Seiten : Illustrationen, 2023.
DOI arXiv:2212.09309 [bibtex]
@unpublished{L2023,
title = {Levelwise construction of a single cylindrical algebraic cell},
author = {Jasper Kurt Ferdinand Nalbach and Erika Ábrahám and Philippe Specht and Christopher W. Brown and James H. Davenport and Matthew England},
type = {Preprint},
year = {2023},
doi = {10.48550/arXiv.2212.09309},
url = { https://arxiv.org/abs/2212.09309},
}×
[issue]
Jasper Kurt Ferdinand Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, Matthew England. Levelwise construction of a single cylindrical algebraic cell, 2023. https://arxiv.org/abs/2212.09309
DOI [bibtex]
@conference{ACAMAUVBLSTM2023,
title = {A Collision Avoidance Method for Autonomous Underwater Vehicles Based on Long Short-Term Memories},
author = {László Antal and Martin Aubard and Erika Ábrahám and Ana Madureira and Luís Madureira and Maria Costa and José Pinto and Renato Campos},
publisher = {Springer},
booktitle = {Lecture Notes in Networks and Systems},
volume = {649},
pages = {448-457},
type = {Conference Paper},
year = {2023},
doi = {10.1007/978-3-031-27499-2_42},
url = { https://publications.rwth-aachen.de/record/955843},
}×
[issue]
László Antal, Martin Aubard, Erika Ábrahám, Ana Madureira, Luís Madureira, Maria Costa, José Pinto, Renato Campos. A Collision Avoidance Method for Autonomous Underwater Vehicles Based on Long Short-Term Memories, 13. International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA22), Volume 649 of Lecture Notes in Networks and Systems, 448-457, Springer, 2023.
fulltext PDF [bibtex]
@conference{CACQ2023,
title = {Cylindrical Algebraic Coverings for Quantifiers},
author = {Gereon Kremer and Jasper Kurt Ferdinand Nalbach},
booktitle = {CEUR Workshop Proceedings},
volume = {3458},
pages = {9 Seiten},
type = {Conference Paper},
year = {2023},
url = { https://publications.rwth-aachen.de/record/956001},
}×
[issue]
Gereon Kremer, Jasper Kurt Ferdinand Nalbach. Cylindrical Algebraic Coverings for Quantifiers, 7. International Workshop on Satisfiability Checking and Symbolic Computation (SC² 2022), Volume 3458 of CEUR Workshop Proceedings, 9 Seiten, 2023.
DOI fulltext PDF [bibtex]
@masterthesis{E2023,
title = {Exploiting strict constraints in the computation of cylindrical algebraic coverings},
author = {Philipp Bär},
publisher = {RWTH Aachen University},
institution = {RWTH Aachen University},
pages = {1 Online-Ressource : Illustrationen, Diagramme},
type = {Bachelor Thesis},
year = {2023},
doi = {10.18154/RWTH-2023-04217},
url = { https://publications.rwth-aachen.de/record/956500},
}×
[issue]
Philipp Bär. Exploiting strict constraints in the computation of cylindrical algebraic coverings, Bachelor Thesis, RWTH Aachen University, 1 Online-Ressource : Illustrationen, Diagramme, RWTH Aachen University, 2023.
DOI [bibtex]
@conference{AEGSC2023,
title = {Automated Exercise Generation for Satisfiability Checking},
author = {Erika Ábrahám and Jasper Kurt Ferdinand Nalbach and Valentin Maxim Promies},
publisher = {Springer},
booktitle = {LNCS},
volume = {13962},
pages = {1-16},
type = {Conference Paper},
year = {2023},
doi = {10.1007/978-3-031-27534-0_1},
url = { https://publications.rwth-aachen.de/record/957774},
}×
[issue]
Erika Ábrahám, Jasper Kurt Ferdinand Nalbach, Valentin Maxim Promies. Automated Exercise Generation for Satisfiability Checking, 5. International Workshop on Formal Methods Teaching (FMTea 2023), Volume 13962 of LNCS, 1-16, Springer, 2023.
DOI [bibtex]
@inbook{SSSS2023,
title = {Subtropical Satisfiability for SMT Solving},
author = {Jasper Kurt Ferdinand Nalbach and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {13903},
pages = {430-446},
type = {Book Chapter},
year = {2023},
doi = {10.1007/978-3-031-33170-1_26},
url = { https://publications.rwth-aachen.de/record/960581},
}×
[issue]
Jasper Kurt Ferdinand Nalbach, Erika Ábrahám. Subtropical Satisfiability for SMT Solving, Volume 13903 of LNCS, 430-446, Springer, 2023.
fulltext PDF [bibtex]
@conference{ESCCAC2023,
title = {Exploiting Strict Constraints in the Cylindrical Algebraic Covering},
author = {Philipp Bär and Jasper Kurt Ferdinand Nalbach and Erika Ábrahám and Christopher Brown},
booktitle = {CEUR workshop proceedings},
volume = {3429},
pages = {13 Seiten},
type = {Conference Paper},
year = {2023},
url = { https://publications.rwth-aachen.de/record/961989},
}×
[issue]
Philipp Bär, Jasper Kurt Ferdinand Nalbach, Erika Ábrahám, Christopher Brown. Exploiting Strict Constraints in the Cylindrical Algebraic Covering, 21. International Workshop on Satisfiability Modulo Theories (SMT 2023), Volume 3429 of CEUR workshop proceedings, 13 Seiten, 2023.
DOI [bibtex]
@article{O2023,
title = {On the applicability of hybrid systems safety verification tools from the automotive perspective},
author = {Stefan Schupp and Erika Ábrahám and Md Tawhid Bin Waez and Thomas Rambow and Zeng Qiu},
publisher = {Springer},
journal = {International journal on software tools for technology transfer},
volume = {26(1)},
pages = {pages 49-78},
type = {Journal Article},
year = {2023},
doi = {10.1007/s10009-023-00707-0},
url = { https://publications.rwth-aachen.de/record/962039},
}×
[issue]
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu. On the applicability of hybrid systems safety verification tools from the automotive perspective, International journal on software tools for technology transfer 26 (1), pages 49-78, Springer, 2023.
DOI [bibtex]
@article{H2023,
title = {HVAC control in buildings using neural network},
author = {Ahmed Abida and Pascal Richter},
publisher = {Elsevier},
journal = {Journal of building engineering},
volume = {65},
pages = {pages 105558},
type = {Journal Article},
year = {2023},
doi = {10.1016/j.jobe.2022.105558},
url = { https://publications.rwth-aachen.de/record/963840},
}×
[issue]
Ahmed Abida, Pascal Richter. HVAC control in buildings using neural network, Journal of building engineering 65, pages 105558, Elsevier, 2023.
DOI arXiv:2306.16757 [bibtex]
@unpublished{ESCCAC2023,
title = {Exploiting Strict Constraints in the Cylindrical Algebraic Covering},
author = {Philipp Bär and Jasper Kurt Ferdinand Nalbach and Erika Ábrahám and Christopher W. Brown},
type = {Preprint},
year = {2023},
doi = {10.48550/arXiv.2306.16757},
url = { https://arxiv.org/abs/2306.16757},
}×
[issue]
Philipp Bär, Jasper Kurt Ferdinand Nalbach, Erika Ábrahám, Christopher W. Brown. Exploiting Strict Constraints in the Cylindrical Algebraic Covering, 2023. https://arxiv.org/abs/2306.16757
DOI [bibtex]
@conference{MRPRARC2023,
title = {Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks},
author = {Joanna Delicaris and Stefan Schupp and Erika Ábrahám and Anne Remke},
publisher = {Springer},
booktitle = {LNCS},
volume = {13931},
pages = {164-182},
type = {Conference Paper},
year = {2023},
doi = {10.1007/978-3-031-35257-7_10},
url = { https://publications.rwth-aachen.de/record/964104},
}×
[issue]
Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke. Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks, Theoretical Aspects of Software Engineering - 17. International Symposium 2023 (TASE 2023), Volume 13931 of LNCS, 164-182, Springer, 2023.
fulltext PDF [bibtex]
@proceedings{SSSCSC2023,
title = {SC-Square 2023: Satisfiability Checking and Symbolic Computation 2023},
author = {},
editor = {Erika Ábrahám and Thomas Sturm},
publisher = {CEUR-WS.org},
booktitle = {CEUR Workshop Proceedings},
volume = {3455},
type = {Proceeding Article},
year = {2023},
url = { https://publications.rwth-aachen.de/record/964115},
}×
[issue]
Erika Ábrahám (ed), Thomas Sturm (ed). SC-Square 2023: Satisfiability Checking and Symbolic Computation 2023, Volume 3455 of CEUR Workshop Proceedings, CEUR-WS.org, 2023.
DOI arXiv:2304.14996 [bibtex]
@unpublished{MRPRARC2023,
title = {Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks},
author = {Joanna Delicaris and Stefan Schupp and Erika Ábrahám and Anne Remke},
type = {Preprint},
year = {2023},
doi = {10.48550/arXiv.2304.14996},
url = { https://arxiv.org/abs/2304.14996},
}×
[issue]
Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke. Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks, 2023. https://arxiv.org/abs/2304.14996
DOI arXiv:2307.05282 [bibtex]
@unpublished{IAPH2023,
title = {Introducing Asynchronicity to Probabilistic Hyperproperties},
author = {Lina Gerlach and Oyendrila Dobe and Erika Ábrahám and Ezio Bartocci and Borzoo Bonakdarpour},
type = {Preprint},
year = {2023},
doi = {10.48550/arXiv.2307.05282},
url = { https://arxiv.org/abs/2307.05282},
}×
[issue]
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour. Introducing Asynchronicity to Probabilistic Hyperproperties, 2023. https://arxiv.org/abs/2307.05282
DOI arXiv:2307.08052 [bibtex]
@unpublished{CTAISHA2023,
title = {Comparing Two Approaches to Include Stochasticity in Hybrid Automata},
author = {Lisa Willemsen and Anne Remke and Erika Ábrahám},
type = {Preprint},
year = {2023},
doi = {10.48550/arXiv.2307.08052},
url = { https://arxiv.org/abs/2307.08052},
}×
[issue]
Lisa Willemsen, Anne Remke, Erika Ábrahám. Comparing Two Approaches to Include Stochasticity in Hybrid Automata, 2023. https://arxiv.org/abs/2307.08052
DOI [bibtex]
@conference{IAPH2023,
title = {Introducing Asynchronicity to Probabilistic Hyperproperties},
author = {Lina Gerlach and Oyendrila Dobe and Erika Ábrahám and Ezio Bartocci and Borzoo Bonakdarpour},
publisher = {Springer},
booktitle = {LNCS},
volume = {14287},
pages = {47-64},
type = {Conference Paper},
year = {2023},
doi = {10.1007/978-3-031-43835-6_4},
url = { https://publications.rwth-aachen.de/record/969695},
}×
[issue]
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour. Introducing Asynchronicity to Probabilistic Hyperproperties, 20. International Conference on Quantitative Evaluation of Systems (QEST 2023), Volume 14287 of LNCS, 47-64, Springer, 2023.
DOI arXiv:2309.03138 [bibtex]
@unpublished{FANMSLRAP2023,
title = {FMplex: A Novel Method for Solving Linear Real Arithmetic Problems},
author = {Jasper Kurt Ferdinand Nalbach and Valentin Maxim Promies and Erika Ábrahám and Paul Kobialka},
type = {Preprint},
year = {2023},
doi = {10.48550/arXiv.2309.03138},
url = { https://arxiv.org/abs/2309.03138},
}×
[issue]
Jasper Kurt Ferdinand Nalbach, Valentin Maxim Promies, Erika Ábrahám, Paul Kobialka. FMplex: A Novel Method for Solving Linear Real Arithmetic Problems, 2023. https://arxiv.org/abs/2309.03138
DOI [bibtex]
@proceedings{FSEICFTIMRSP2023,
title = {Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers},
author = {},
editor = {Hossein Hojjat and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {14155},
type = {Proceeding Article},
year = {2023},
doi = {10.1007/978-3-031-42441-0},
url = { https://publications.rwth-aachen.de/record/969884},
}×
[issue]
Hossein Hojjat (ed), Erika Ábrahám (ed). Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers, Volume 14155 of LNCS, Springer, 2023.
DOI [bibtex]
@conference{CTAISHA2023,
title = {Comparing Two Approaches to Include Stochasticity in Hybrid Automata},
author = {Lisa Willemsen and Anne Remke and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
type = {Conference Paper},
year = {2023},
doi = {10.1007/978-3-031-43835-6_17},
url = { https://publications.rwth-aachen.de/record/969885},
}×
[issue]
Lisa Willemsen, Anne Remke, Erika Ábrahám. Comparing Two Approaches to Include Stochasticity in Hybrid Automata, 20. International Conference QEST 2023 (QEST 2023), LNCS, Springer, 2023.
DOI [bibtex]
@article{IRACPSE2023,
title = {Integrated Rigorous Analysis in Cyber-Physical Systems Engineering},
author = {Erika Ábrahám and Stefan Hallerstede and John Hatcliff and Danielle Stewart and Noah Abou El Wafa},
publisher = {Schloss Dagstuhl},
journal = {Dagstuhl Reports},
volume = {13(1)},
pages = {pages 155-183},
type = {Journal Article},
year = {2023},
doi = {10.4230/DagRep.13.1.155},
url = { https://publications.rwth-aachen.de/record/969886},
}×
[issue]
Erika Ábrahám, Stefan Hallerstede, John Hatcliff, Danielle Stewart, Noah Abou El Wafa. Integrated Rigorous Analysis in Cyber-Physical Systems Engineering, Dagstuhl Reports 13 (1), pages 155-183, Schloss Dagstuhl, 2023.
DOI fulltext PDF [bibtex]
@conference{FANMSLRAP2023,
title = {FMplex: A Novel Method for Solving Linear Real Arithmetic Problems},
author = {Jasper Kurt Ferdinand Nalbach and Valentin Maxim Promies and Erika Ábrahám and Paul Kobialka},
publisher = {Open Publishing Association},
booktitle = {EPTCS},
volume = {390},
type = {Conference Paper},
year = {2023},
doi = {10.4204/EPTCS.390.2},
url = { https://publications.rwth-aachen.de/record/972368},
}×
[issue]
Jasper Kurt Ferdinand Nalbach, Valentin Maxim Promies, Erika Ábrahám, Paul Kobialka. FMplex: A Novel Method for Solving Linear Real Arithmetic Problems, Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023), Volume 390 of EPTCS, Open Publishing Association, 2023.
arXiv:2311.10780 [bibtex]
@unpublished{ENNVLFPLAF2023,
title = {Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions},
author = {László Antal and Hana Masara and Erika Ábrahám},
pages = {30-68},
type = {Preprint},
year = {2023},
url = { https://arxiv.org/abs/2311.10780},
}×
[issue]
László Antal, Hana Masara, Erika Ábrahám. Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions, 30-68, 2023. https://arxiv.org/abs/2311.10780
DOI [bibtex]
@conference{TAC2023,
title = {Theoretical Aspects of Computing},
author = {Erika Ábrahám and Clemens Dubslaff and Silvia Lizeth Tapia Tarifa},
publisher = {Springer},
booktitle = {LNCS},
volume = {14446},
type = {Conference Paper},
year = {2023},
doi = {10.1007/978-3-031-47963-2},
url = { https://publications.rwth-aachen.de/record/976283},
}×
[issue]
Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa. Theoretical Aspects of Computing, 20. International Colloquium ICTAC (ICTAC 2023), Volume 14446 of LNCS, Springer, 2023.
DOI fulltext PDF [bibtex]
@conference{ENNVLFPLAF2023,
title = {Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions},
author = {László Antal and Hana Masara and Erika Ábrahám},
publisher = {NICTA},
booktitle = {EPTCS},
volume = {395},
pages = {[30]-68},
type = {Conference Paper},
year = {2023},
doi = {10.4204/EPTCS.395.4},
url = { https://publications.rwth-aachen.de/record/980068},
}×
[issue]
László Antal, Hana Masara, Erika Ábrahám. Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions, 5. International Workshop on Formal Methods for Autonomous Systems (FMAS@iFM 2023), Volume 395 of EPTCS, [30]-68, NICTA, 2023.
Show all