@conference{ADCAVELRA2025,
title = {A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic},
author = {Valentin Maxim Promies and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {14933},
pages = {131-148},
type = {Conference Paper},
year = {2025},
doi = {10.1007/978-3-031-71162-6_7},
url = { https://publications.rwth-aachen.de/record/994022},
}×

@article{M2025,
title = {Maximizing reachability probabilities in rectangular automata with random events},
author = {Joanna Delicaris and Anne Remke and Erika Ábrahám and Stefan Schupp and Jonas Stubbe},
publisher = {Elsevier Science},
journal = {Science of computer programming},
volume = {240},
pages = {pages 103213},
type = {Journal Article},
year = {2025},
doi = {10.1016/J.SCICO.2024.103213},
url = { https://publications.rwth-aachen.de/record/999501},
}×

@proceedings{R2025,
title = {Runtime verification},
author = {},
editor = {Erika Ábrahám and Houssam Abbas},
publisher = {Springer},
booktitle = {LNCS},
volume = {15191},
pages = {xvi, 304 Seiten : Illustrationen, Tabellen, Diagramme},
type = {Proceeding Article},
year = {2025},
doi = {10.1007/978-3-031-74234-7},
url = { https://publications.rwth-aachen.de/record/999503},
}×

@inbook{CAMELSCSHS2025,
title = {(de-) Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems},
author = {Lisa Willemsen and Anne Remke and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
type = {Book Chapter},
year = {2025},
doi = {10.1007/978-3-031-75778-5_15},
url = { https://publications.rwth-aachen.de/record/1004311},
}×

@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},
}×

@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},
}×

@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},
pages = {7 Seiten},
type = {Preprint},
year = {2024},
doi = {10.48550/arXiv.2401.17907},
url = { https://arxiv.org/abs/2401.17907},
}×

@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},
pages = {6 Seiten},
type = {Preprint},
year = {2024},
doi = {10.48550/arXiv.2402.04045},
url = { https://arxiv.org/abs/2402.04045},
}×

@article{PM2024,
title = {Parameter synthesis for Markov models: covering the parameter space},
author = {Sebastian Junges and Erika Ábrahám and Hans Christian Hensel and Nils Jansen and Joost-Pieter Katoen and Tim Quatmann and Matthias Volk},
publisher = {Springer},
journal = {Formal methods in system design},
volume = {62(1/3)},
pages = {pages 181-259},
type = {Journal Article},
year = {2024},
doi = {10.1007/s10703-023-00442-x},
url = { https://publications.rwth-aachen.de/record/985754},
}×

@conference{MACDSCC2024,
title = {Merging Adjacent Cells During Single Cell Construction},
author = {Jasper Kurt Ferdinand Nalbach and Erika Ábrahám},
publisher = {Springer},
booktitle = {LNCS},
volume = {14938},
pages = {252-272},
type = {Conference Paper},
year = {2024},
doi = {10.1007/978-3-031-69070-9_15},
url = { https://publications.rwth-aachen.de/record/991681},
}×

@unpublished{KDYVSSSOD2024,
title = {Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection},
author = {Martin Aubard and László Antal and Ana Madureira and Erika Ábrahám},
pages = {15 Seiten},
type = {Preprint},
year = {2024},
doi = {10.48550/arXiv.2403.09313},
url = { https://arxiv.org/abs/2403.09313},
}×

@misc{UASACEA2024,
title = {Under-Approximation of a Single Algebraic Cell (Extended Abstract)},
author = {Valentin Maxim Promies and Jasper Kurt Ferdinand Nalbach and Erika Ábrahám},
publisher = {RWTH Aachen},
booktitle = {CEUR workshop proceedings},
volume = {3717},
pages = {132-136},
type = {Invited Abstract},
year = {2024},
url = { https://publications.rwth-aachen.de/record/994020},
}×

@article{ISIQP2024,
title = {Introduction to the Special Issue on QEST 2022, Part 1},
author = {Erika Ábrahám and Marco Paolieri},
publisher = {ACM Press},
journal = {ACM transactions on modeling and computer simulation},
volume = {34},
pages = {pages 16:1},
type = {Journal Article},
year = {2024},
doi = {10.1145/3671146},
url = { https://publications.rwth-aachen.de/record/994023},
}×

@proceedings{PAICHSCC2024,
title = {Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control},
author = {},
editor = {Erika Ábrahám and Manuel Mazo Jr},
publisher = {Association for Computing Machinery},
booktitle = {ACM conferences},
pages = {XI, 307 Seiten},
type = {Proceeding Article},
year = {2024},
doi = {10.1145/3641513},
url = { https://publications.rwth-aachen.de/record/994024},
}×

@inbook{S2024,
title = {Subpipe: a submarine pipeline inspection dataset for segmentation and visual-inertial localization},
author = {Olaya Álvarez-Tuñón and Luiza Ribeiro Marnet and Martin Aubard and László Antal and Maria Costa and Yury Brodskiy},
publisher = {IEEE},
pages = {7 Seiten},
type = {Book Chapter},
year = {2024},
doi = {10.1109/OCEANS51537.2024.10682150},
url = { https://publications.rwth-aachen.de/record/998290},
}×

@conference{MPSAPIUAUVAFBBT2024,
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-Tuñón and László Antal and Maria Costa and Yury Brodskiy},
publisher = {IEEE},
pages = {6 Seiten},
type = {Conference Paper},
year = {2024},
doi = {10.1109/OCEANS51537.2024.10682385},
url = { https://publications.rwth-aachen.de/record/998334},
}×

@unpublished{RAARTFRSSSOD2024,
title = {ROSAR: An Adversarial Re-Training Framework for Robust Side-Scan Sonar Object Detection},
author = {Martin Aubard and László Antal and Ana Madureira and Luis F. Teixeira and Erika Ábrahám},
pages = {7 Seiten},
type = {Preprint},
year = {2024},
doi = {10.48550/arXiv.2410.10554},
url = { https://arxiv.org/abs/2410.10554},
}×

@conference{AEPAR2024,
title = {A European Project on AI-based Robotics},
author = {Isabela Dramnesc and Erika Ábrahám and Tudor Jebelean and Nikolaos Fachantidis and Gabor Kusper and Sorin Stratulat},
publisher = {IEEE},
type = {Conference Paper},
year = {2024},
doi = {10.1109/TALE62452.2024.10834389},
url = { https://publications.rwth-aachen.de/record/1004314},
}×

@misc{SSWDD2024,
title = {SWDD: Sonar Wall Detection Dataset},
author = {Martin Aubard and László Antal and Ana Maria Madureira and Erika Ábrahám},
publisher = {Zenodo},
type = {Data Set},
year = {2024},
doi = {10.5281/ZENODO.13692547},
url = { https://publications.rwth-aachen.de/record/1004315},
}×

@unpublished{HRR2024,
title = {Hybrid Rebeca Revisited},
author = {Saeed Zhiany and Fatemeh Ghassemi and Nesa Abbasimoghadam and Ali Hodaei and Ali Ataollahi and József Kóvacs and Erika Ábrahám and Marjan Sirjani},
type = {Preprint},
year = {2024},
doi = {10.48550/ARXIV.2411.03160},
url = { https://arxiv.org/abs/2411.03160},
}×

@unpublished{OPD2024,
title = {On Projective Delineability},
author = {Lucas Michel and Jasper Kurt Ferdinand Nalbach and Pierre Mathonet and Naïm Zénaïdi and Christopher W. Brown and Erika Ábrahám and James H. Davenport and Matthew England},
type = {Preprint},
year = {2024},
doi = {10.48550/ARXIV.2411.13300},
url = { https://arxiv.org/abs/2411.13300},
}×

@unpublished{ECACMQ2024,
title = {Extensions of the Cylindrical Algebraic Covering Method for Quantifier},
author = {Jasper Kurt Ferdinand Nalbach and Gereon Kremer},
type = {Preprint},
year = {2024},
doi = {10.48550/ARXIV.2411.03070},
url = { https://arxiv.org/abs/2411.03070},
}×