2022 |
[bibtex]
[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.
|
[bibtex]
[issue]
|
Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Borzoo Bonakdarpour, Ezio Bartocci. Probabilistic Hyperproperties with Rewards, NASA Formal Methods - 14. International Symposium (NFM), Volume 13260 of LNCS, 656-673, Springer, 2022.
|
[bibtex]
[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.
|
[bibtex]
[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
|
[bibtex]
[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.
|
[bibtex]
[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.
|
[bibtex]
[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.
|
[bibtex]
[issue]
|
. Quantitative evaluation of systems, Volume 13479 of LNCS, XVII, 399 Seiten : Illustrationen, Springer, 2022.
|
[bibtex]
[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.
|
[bibtex]
[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.
|
[bibtex]
[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.
|
[bibtex]
[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.
|
2021 |
[bibtex]
[issue]
|
Pascal Richter, Janna Tinnes, Lukas Aldenhoff. Accurate interpolation methods for the annual simulation of solar central receiver systems using celestial coordinate system, Solar energy 213, pages 328-338, Elsevier Science, 2021.
|
[bibtex]
[issue]
|
Pascal Richter, Torsten Trimborn, L. Aldenhoff. Predictive storage strategy for optimal design of hybrid CSP-PV plants with immersion heater, Solar energy 218, pages 237-250, Elsevier Science, 2021.
|
[bibtex]
[issue]
|
Jasper Kurt Ferdinand Nalbach, Erika Ábrahám, Gereon Kremer. Extending the Fundamental Theorem of Linear Programming for Strict Inequalities, International Symposium on Symbolic and Algebraic Computation (ISSAC '21), ACM Conferences, 313-320, Association for Computing Machinery, 2021.
|
[bibtex]
[issue]
|
Rebecca Haehn, Erika Ábrahám, Nils Nießen. Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies, 18. International Conference on Quantitative Evaluation of Systems (QEST 2021), Volume 12846 of LNCS, 257-275, Springer, 2021.
|
[bibtex]
[issue]
|
N. Speetzen, Pascal Richter. Dynamic aiming strategy for central receiver systems, Renewable energy 180, pages 55-67, Elsevier Science, 2021.
|
[bibtex]
[issue]
|
S. Klemp, Ahmed Abida, Pascal Richter. A method and analysis of predicting building material U-value ranges through geometrical pattern clustering, Journal of building engineering 44, pages 103243, Elsevier, 2021.
|
[bibtex]
[issue]
|
Niklas Kotowski. Accelerating symbolic simulation to analyze the effect of delays in train timetables, Master Thesis, RWTH Aachen University, 70 S., 2021.
|
[bibtex]
[issue]
|
Pascal Richter, Jannick Wolters, Martin Frank. Uncertainty quantification of offshore wind farms using Monte Carlo and sparse grid, Energy sources / B 17 (1), pages 2000520, Taylor & Francis, 2021.
|
[bibtex]
[issue]
|
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger. ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics, 8. International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Volume 80 of EPiC Series in Computing, 1-31, 2021.
|
[bibtex]
[issue]
|
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour. HyperProb: A Model Checker for Probabilistic Hyperproperties, Volume 13047 of LNCS, 657-666, Springer, 2021.
|
[bibtex]
[issue]
|
Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám. Controller verification meets controller code: a case study, 19. International Conference on Formal Methods and Models for System Design (MEMOCODE 21), ACM conferences, 98-103, Association for Computing Machinery, 2021.
|
[bibtex]
[issue]
|
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer. Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic, 5 Seiten, 2021. https://arxiv.org/abs/2108.05320
|
[bibtex]
[issue]
|
Gereon Kremer, Erika Ábrahám, Vijay Ganesh. On the proof complexity of MCSAT, 2021. https://arxiv.org/abs/2109.01585
|
[bibtex]
[issue]
|
Gereon Kremer, Erika Ábrahám, Matthew England, James H. Davenport. On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving, 23. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 37-39, IEEE, 2021.
|
Show all |
---|