2023 |
[bibtex]
[issue]
|
Johanna Tolzmann. Generate elaborative feedback for novices’ programming exercises based on interaction data, Master Thesis, RWTH Aachen University, 1 Online-Ressource : Illustrationen, Diagramme, RWTH Aachen University, 2023.
|
[bibtex]
[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.
|
[bibtex]
[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.
|
[bibtex]
[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.
|
[bibtex]
[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.
|
[bibtex]
[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
|
[bibtex]
[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.
|
[bibtex]
[issue]
|
Lisa Willemsen, Anne Remke, Erika Ábrahám. Comparing Two Approaches to Include Stochasticity in Hybrid Automata, 2023. https://arxiv.org/abs/2307.08052
|
[bibtex]
[issue]
|
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour. Introducing Asynchronicity to Probabilistic Hyperproperties, 2023. https://arxiv.org/abs/2307.05282
|
[bibtex]
[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
|
[bibtex]
[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.
|
[bibtex]
[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.
|
[bibtex]
[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
|
[bibtex]
[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, Springer, 2023.
|
[bibtex]
[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.
|
[bibtex]
[issue]
|
Jasper Kurt Ferdinand Nalbach, Erika Ábrahám. Subtropical Satisfiability for SMT Solving, Volume 13903 of LNCS, 430-446, Springer, 2023.
|
[bibtex]
[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.
|
[bibtex]
[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.
|
[bibtex]
[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.
|
[bibtex]
[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
|
[bibtex]
[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.
|
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.
|
[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]
|
Erika Ábrahám (ed), Marco Paolieri (ed). Quantitative evaluation of systems, Volume 13479 of LNCS, XVII, 399 Seiten : Illustrationen, 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]
|
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]
|
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]
|
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]
|
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]
|
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.
|
[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.
|
Show all |
---|