Publications
| 2022 | |
|---|---|
| DOI Details | Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Borzoo Bonakdarpour, and Ezio Bartocci. 2022. Probabilistic Hyperproperties with Rewards. In NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings (Lecture notes in computer science, Vol. 13260). Springer International Publishing, Cham, 656–673. |
| DOI Details | Rebecca Haehn, Erika Ábrahám, and Niklas Kotowski. 2022. Acceleration Techniques for Symbolic Simulation of Railway Timetables. In Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 4th international conference, RSSRail 2022, Paris, France, June 1-2, 2022, proceedings (Lecture notes in computer science, Vol. 13294). Springer, Cham, Switzerland, 46–62. |
| DOI Details | Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, and Armando Tacchella. 2022. Robot Swarms as Hybrid Systems: Modelling and Verification. In Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, Online, 23rd August 2021 (Electronic proceedings in theoretical computer science, Vol. 361). NICTA, Sydney, 61–77. |
| DOI Details | Stefan Schupp, Erika Ábrahám, and Tristan Ebert. 2022. Recent developments in theory and tool support for hybrid systems verification with HyPro. Information and Computation 289, Part A (2022), 104945. |
| DOI Details | Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, and Sorin Stratulat. 2022. Experiments with Automated Reasoning in the Class. In Intelligent Computer Mathematics : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings (Lecture Notes in Artificial Intelligence, Vol. 13467). Springer, Cham, 287–304. |
| DOI Details | Erika Ábrahám, James H. Davenport, Matthew England, and Alberto Griggio. 2022. New Perspectives in Symbolic Computation and Satisfiability Checking. Dagstuhl reports 12, 2 (Feb. 2022), 67–86. |
| DOI Details | Erika Ábrahám and Marco Paolieri (Eds.). 2022. Quantitative evaluation of systems : 19th international conference, QEST 2022 Warsaw, Poland, September 12–16, 2022, proceedings (Lecture notes in computer science, Vol. 13479). Springer, Cham, Switzerland. |
| DOI Details | Rebecca Haehn. 2022. Optimisation and analysis of railway timetables under consideration of uncertainties. Ph.D. Dissertation. RWTH Aachen University, Aachen. |
| DOI Details | Pascal Richter and Friedhelm Hövelmann. 2022. Computationally fast analytical ray-tracer for central receiver systems. In SolarPACES 2020 : 26th International Conference on Concentrating Solar Power and Chemical Energy Systems : Freiburg, Germany, 28 September - 2 October 2020 (AIP conference proceedings, Vol. 2445). AIP Publishing, Melville, New York. |
| DOI Details | Pascal Richter. 2022. Accelerated aiming strategy in central receiver systems using integer linear programming. In SolarPACES 2020 : 26th International Conference on Concentrating Solar Power and Chemical Energy Systems : Freiburg, Germany, 28 September - 2 October 2020 (AIP conference proceedings, Vol. 2445). AIP Publishing, Melville, New York, 030018. |
| DOI Details | Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, and Borzoo Bonakdarpour. 2022. Model checking hyperproperties for Markov decision processes. Information and Computation 289, Part B (Sept. 2022), 104978. |
| DOI Details | Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, and Matthew England. 2022. Levelwise construction of a single cylindrical algebraic cell. arXiv:2212.09309. |
| 2021 | |
| DOI Details | Pascal Richter, Janna Tinnes, and Lukas Aldenhoff. 2021. Accurate interpolation methods for the annual simulation of solar central receiver systems using celestial coordinate system. Solar energy 213 (2021), 328–338. |
| DOI Details | Pascal Richter, Torsten Trimborn, and L. Aldenhoff. 2021. Predictive storage strategy for optimal design of hybrid CSP-PV plants with immersion heater. Solar energy 218 (2021), 237–250. |
| DOI Details | Jasper Nalbach, Erika Ábrahám, and Gereon Kremer. 2021. Extending the Fundamental Theorem of Linear Programming for Strict Inequalities. In ISSAC '21 : Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation : July 18-23, 2021, Virtual Event, Russian Federation (ACM Conferences). Association for Computing Machinery, New York, NY, United States, 313–320. |
| DOI Details | Rebecca Haehn, Erika Ábrahám, and Nils Nießen. 2021. Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies. In Quantitative evaluation of systems : 18th International Conference, QEST 2021 Paris, France, August 23–27, 2021 : Proceedings (Lecture notes in computer science, Vol. 12846). Springer, Cham, Switzerland, 257–275. |
| DOI Details | N. Speetzen and Pascal Richter. 2021. Dynamic aiming strategy for central receiver systems. Renewable energy 180 (2021), 55–67. |
| DOI Details | S. Klemp, Ahmed Abida, and Pascal Richter. 2021. A method and analysis of predicting building material U-value ranges through geometrical pattern clustering. Journal of building engineering 44 (2021), 103243. |
| Details | Niklas Kotowski. 2021. Accelerating symbolic simulation to analyze the effect of delays in train timetables. Master's thesis. RWTH Aachen University, Aachen. |
| DOI Details | Pascal Richter, Jannick Wolters, and Martin Frank. 2021. Uncertainty quantification of offshore wind farms using Monte Carlo and sparse grid. Energy sources / B 17, 1 (2021), 2000520. |
| DOI Details | Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, and Mark Wetzlinger. 2021. ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21) (EPiC Series in Computing, Vol. 80). 1–31. |
| DOI Details | Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, and Borzoo Bonakdarpour. 2021. HyperProb : A Model Checker for Probabilistic Hyperproperties. In Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, proceedings. Lecture Notes in Computer Science, Vol. 13047. Springer, Cham, 657–666. |
| DOI Details | Felix Freiberger, Stefan Schupp, Holger Hermanns, and Erika Ábrahám. 2021. Controller verification meets controller code: a case study. In Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (ACM conferences). Association for Computing Machinery, New York, NY, United States, 98–103. |
| DOI Details | Erika Ábrahám, James H. Davenport, Matthew England, and Gereon Kremer. 2021. Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic. arXiv:2108.05320. |
| DOI Details | Gereon Kremer, Erika Ábrahám, and Vijay Ganesh. 2021. On the proof complexity of MCSAT. arXiv:2109.01585. |