Publications

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, 13th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA22), Volume 649 of Lecture Notes in Networks and Systems, 448-457, Springer, 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 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 Nalbach, Valentin Maxim Promies. Automated Exercise Generation for Satisfiability Checking, 5th International Workshop on Formal Methods Teaching (FMTea 2023), Volume 13962 of LNCS, 1-16, Springer, 2023.
2022
DOI [bibtex]
@conference{HMCPD2022,
title = {HyperPCTL Model Checking by Probabilistic Decomposition},
author = {Eshita Zaman and Gianfranco Ciardo and Erika Ábrahám and Borzoo Bonakdarpour},
publisher = {Springer},
booktitle = {LNCS},
volume = {13274, Formal methods},
pages = {209-226},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-07727-2_12},
url = { https://publications.rwth-aachen.de/record/850268},
}×
[issue] 		Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour. HyperPCTL Model Checking by Probabilistic Decomposition, 17. International Conference on integrated Formal Methods (IFM 2022), Volume 13274, Formal methods of LNCS, 209-226, Springer, 2022.
DOI [bibtex]
@conference{PHR2022,
title = {Probabilistic Hyperproperties with Rewards},
author = {Oyendrila Dobe and Lukas Wilke and Erika Ábrahám and Borzoo Bonakdarpour and Ezio Bartocci},
publisher = {Springer},
booktitle = {LNCS},
volume = {13260},
pages = {656-673},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-06773-0_35},
url = { https://publications.rwth-aachen.de/record/850269},
}×
[issue] 		Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Borzoo Bonakdarpour, Ezio Bartocci. Probabilistic Hyperproperties with Rewards, 14. International Symposium NASA Formal Methods (NFM 2022), Volume 13260 of LNCS, 656-673, Springer, 2022.
DOI [bibtex]
@conference{ATSSRT2022,
title = {Acceleration Techniques for Symbolic Simulation of Railway Timetables},
author = {Rebecca Haehn and Erika Ábrahám and Niklas Kotowski},
publisher = {Springer},
booktitle = {LNCS},
volume = {13294},
pages = {46-62},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-05814-1_4},
url = { https://publications.rwth-aachen.de/record/850270},
}×
[issue] 		Rebecca Haehn, Erika Ábrahám, Niklas Kotowski. Acceleration Techniques for Symbolic Simulation of Railway Timetables, 4. International Conference on Reliability, Safety and Security of Railway Systems (RSSRail 2022), Volume 13294 of LNCS, 46-62, Springer, 2022.
DOI arXiv:2207.06758 [bibtex]
@unpublished{RSHSMV2022,
title = {Robot Swarms as Hybrid Systems: Modelling and Verification},
author = {Stefan Schupp and Francesco Leofante and Leander Behr and Erika Ábrahám and Armando Tacchella},
type = {Preprint},
year = {2022},
doi = {10.48550/arXiv.2207.06758},
url = { https://arxiv.org/abs/2207.06758},
}×
[issue] 		Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella. Robot Swarms as Hybrid Systems: Modelling and Verification, 2022. https://arxiv.org/abs/2207.06758
DOI fulltext PDF [bibtex]
@article{RH2022,
title = {Recent developments in theory and tool support for hybrid systems verification with HyPro},
author = {Stefan Schupp and Erika Ábrahám and Tristan Ebert},
publisher = {Elsevier},
journal = {Information and Computation},
volume = {289(Part A)},
pages = {pages 104945},
type = {Journal Article},
year = {2022},
doi = {10.1016/j.ic.2022.104945},
url = { https://publications.rwth-aachen.de/record/850718},
}×
[issue] 		Stefan Schupp, Erika Ábrahám, Tristan Ebert. Recent developments in theory and tool support for hybrid systems verification with HyPro, Information and Computation 289 (Part A), pages 104945, Elsevier, 2022.
DOI [bibtex]
@conference{EARC2022,
title = {Experiments with Automated Reasoning in the Class},
author = {Isabela Dramnesc and Erika Ábrahám and Tudor Jebelean and Gábor Kusper and Sorin Stratulat},
publisher = {Springer},
booktitle = {Lecture Notes in Artificial Intelligence},
volume = {13467},
pages = {287-304},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-16681-5_20},
url = { https://publications.rwth-aachen.de/record/854208},
}×
[issue] 		Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat. Experiments with Automated Reasoning in the Class, Intelligent Computer Mathematics - 15. International Conference (CICM 2022), Volume 13467 of Lecture Notes in Artificial Intelligence, 287-304, Springer, 2022.
DOI fulltext PDF [bibtex]
@article{NPSCSC2022,
title = {New Perspectives in Symbolic Computation and Satisfiability Checking},
author = {Erika Ábrahám and James H. Davenport and Matthew England and Alberto Griggio},
publisher = {Schloss Dagstuhl},
journal = {Dagstuhl reports},
volume = {12(2)},
pages = {pages 67-86},
type = {Journal Article},
year = {2022},
doi = {10.4230/DagRep.12.2.67},
url = { https://publications.rwth-aachen.de/record/854210},
}×
[issue] 		Erika Ábrahám, James H. Davenport, Matthew England, Alberto Griggio. New Perspectives in Symbolic Computation and Satisfiability Checking, Dagstuhl reports 12 (2), pages 67-86, Schloss Dagstuhl, 2022.
DOI [bibtex]
@proceedings{Q2022,
title = {Quantitative evaluation of systems},
author = {},
editor = {Erika Ábrahám and Marco Paolieri},
publisher = {Springer},
booktitle = {LNCS},
volume = {13479},
pages = {XVII, 399 Seiten : Illustrationen},
type = {Proceeding Article},
year = {2022},
doi = {10.1007/978-3-031-16336-4},
url = { https://publications.rwth-aachen.de/record/854216},
}×
[issue] 		. Quantitative evaluation of systems, Volume 13479 of LNCS, XVII, 399 Seiten : Illustrationen, Springer, 2022.
DOI fulltext PDF [bibtex]
@phdthesis{O2022,
title = {Optimisation and analysis of railway timetables under consideration of uncertainties},
author = {Rebecca Haehn},
publisher = {RWTH Aachen University},
institution = {RWTH Aachen University},
pages = {1 Online-Ressource : Illustrationen, Diagramme},
type = {PhD Thesis},
year = {2022},
doi = {10.18154/RWTH-2022-10063},
url = { https://publications.rwth-aachen.de/record/855177},
}×
[issue] 		Rebecca Haehn. Optimisation and analysis of railway timetables under consideration of uncertainties, PhD Thesis, RWTH Aachen University, 1 Online-Ressource : Illustrationen, Diagramme, RWTH Aachen University, 2022.
DOI [bibtex]
@conference{C2022,
title = {Computationally fast analytical ray-tracer for central receiver systems},
author = {Pascal Richter and Friedhelm Hövelmann},
publisher = {AIP Publishing},
booktitle = {AIP conference proceedings},
volume = {2445},
pages = {030019, 1-8},
type = {Conference Paper},
year = {2022},
doi = {10.1063/5.0085714},
url = { https://publications.rwth-aachen.de/record/855456},
}×
[issue] 		Pascal Richter, Friedhelm Hövelmann. Computationally fast analytical ray-tracer for central receiver systems, 26. International Conference on Concentrating Solar Power and Chemical Energy Systems (SolarPACES 2020), Volume 2445 of AIP conference proceedings, 030019, 1-8, AIP Publishing, 2022.
DOI [bibtex]
@conference{A2022,
title = {Accelerated aiming strategy in central receiver systems using integer linear programming},
author = {Pascal Richter},
publisher = {AIP Publishing},
booktitle = {AIP conference proceedings},
volume = {2445},
pages = {030018},
type = {Conference Paper},
year = {2022},
doi = {10.1063/5.0085711},
url = { https://publications.rwth-aachen.de/record/855457},
}×
[issue] 		Pascal Richter, Nils Speetzen. Accelerated aiming strategy in central receiver systems using integer linear programming, 26. International Conference on Concentrating Solar Power and Chemical Energy Systems (SolarPACES 2020), Volume 2445 of AIP conference proceedings, 030018, AIP Publishing, 2022.
DOI [bibtex]
@article{MM2022,
title = {Model checking hyperproperties for Markov decision processes},
author = {Oyendrila Dobe and Erika Ábrahám and Ezio Bartocci and Borzoo Bonakdarpour},
publisher = {Elsevier},
journal = {Information and Computation},
volume = {289(Part B)},
pages = {pages 104978},
type = {Journal Article},
year = {2022},
doi = {10.1016/j.ic.2022.104978},
url = { https://publications.rwth-aachen.de/record/861552},
}×
[issue] 		Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour. Model checking hyperproperties for Markov decision processes, Information and Computation 289 (Part B), pages 104978, Elsevier, 2022.
[bibtex]
@conference{CACQ2022,
title = {Cylindrical Algebraic Coverings for Quantifiers},
author = {Gereon Kremer and Jasper Kurt Ferdinand Nalbach},
type = {Conference Paper},
year = {2022},
url = { https://publications.rwth-aachen.de/record/956001},
}×
[issue] 		Gereon Kremer, Jasper Kurt Ferdinand Nalbach. Cylindrical Algebraic Coverings for Quantifiers, Satisfiability Checking and Symbolic Computation (SC² 2022), 2022.
Show all