Erika Ábrahám

Email
Address: Room 4229
Ahornstraße 55
D-52074 Aachen
Phone: +49 241 80 21242

Current research activities:

modeling, synthesis, and analysis of hybrid systems,
analysis of probabilistic systems, probabilistic hyperproperties,
SMT solving with a focus on real algebra,
SMT-based planning and scheduling,
energy optimization.

Curriculum vitae
Projects
Teaching
School activities
Women in Computer Science
Press

Publications

2026
DOI Details	Lina Gerlach, Christof Löding, and Erika Ábrahám. 2026. A Hyperlogic for Strategies in Stochastic Games. In Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings (Lecture Notes in Computer Science, Vol. 16143). Springer Nature Switzerland, Cham, 1–20.
DOI Details	László Antal, Franz Link, and Erika Ábrahám. 2026. Counterexample-Guided Abstraction Refinement for Star-Based Neural Network Verification. In Reachability Problems : 19th International Conference, RP 2025, Madrid, Spain, October 1–3, 2025, Proceedings (Lecture Notes in Computer Science, Vol. 16230). Springer Nature Switzerland, Cham, 202–216.
DOI Details	Erika Ábrahám, Nils Jansen, and Simon Jantsch. 2026. Probabilistic Counterexamples Through the Ages. In Principles of formal quantitative analysis : essays dedicated to Christel Baier on the occasion of her 60th birthday. Lecture notes in computer science, Vol. 15760. Festschrift. Springer, Cham, 174–196.
DOI Details	László Antal. 2026. Synthesis and analysis of neural-network-based control in cyber-physical systems. Ph.D. Dissertation. RWTH Aachen University, Aachen.
DOI Details	Erika Ábrahám and Manuel Mazo Espinosa. 2026. Preface Special Issue SCICO on HSCC2024-software. Science of computer programming 248 (May 2026), 103364.
Details	Manuel Mazo Espinosa, Erika Ábrahám, Laura Nenzi, and Houssam Abbas (Eds.). 2026. Research software from the 27th ACM International Conference on Hybrid Systems: Computation and Control. Elsevier Science, Amsterdam.
2025
DOI Details	Valentin Promies and Erika Ábrahám. 2025. A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic. In Formal methods : 26th international symposium, FM 2024, Milan, Italy, September 9-13, 2024, proceedings (Lecture notes in computer science, Vol. 14933). Springer, Cham, 131–148.
DOI Details	Joanna Delicaris, Anne Remke, Erika Ábrahám, Stefan Schupp, and Jonas Stubbe. 2025. Maximizing reachability probabilities in rectangular automata with random events. Science of computer programming 240 (July 2025), 103213.
DOI Details	Erika Ábrahám and Houssam Abbas (Eds.). 2025. Runtime verification : 24th international conference, RV 2024, Istanbul, Turkey, October 15-17, 2024 : proceedings; Edition Number 1 (Lecture notes in computer science, Vol. 15191). Springer, Cham.
DOI Details	Lisa Willemsen, Anne Remke, and Erika Ábrahám. 2025. (de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems. In Principles of verification: cycling the probabilistic landscape : essays dedicated to Joost-Pieter Katoen on the occasion of his 60th Birthday : part III. Lecture notes in computer science, Vol. 15262. Springer, Cham, 309–337.
DOI Details	Nicolai Radke, Patrick E. M. De Smet, and Erika Ábrahám. 2025. Numerical Modeling and Analysis of Shadow Flicker Using Solar Path Functions for Enhanced Predictive Accuracy. Energies : open-access journal of related scientific research, technology development and studies in policy and management 18, 2 (2025), 352.
DOI Details	Valentin Promies, Jasper Nalbach, Erika Ábrahám, and Paul Kobialka. 2025. FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex. Logical methods in computer science : LMCS 21, 2 (2025), 13362.
DOI Details	Erika Ábrahám and Marco Paolieri. 2025. Introduction to the Special Issue on QEST 2022, Part 2. ACM transactions on internet technology : TOIT 35, 2 (Sept. 2025), 9.
DOI Details	László Antal, Erika Ábrahám, and Hana Masara. 2025. Generalizing neural network verification to the family of piece-wise linear activation functions. Science of Computer Programming 243 (2025), 103269.
DOI Details	Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Ábrahám, Silvia Lizeth, Tapia Tarifa, and Einar Brocj Johnsen. 2025. Counterfactual Strategies for Markov Decision Processes. arXiv:2505.09412.
DOI Details	Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, and Sebastian Junges. 2025. Efficient Probabilistic Model Checking for Relational Reachability (Extended Version). arXiv:2505.16357.
DOI Details	Hossein Hojjat and Erika Ábrahám. 2025. Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023). Science of computer programming 243 (May 2025), 103244.
Details	Hossein Hojjat and Erika Ábrahám (Eds.). 2025. Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023) : Special issue. Elsevier Science, Amsterdam.
DOI Details	Fatemeh Ghassemi, Saeed Zhiany, Nesa Abbasi, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, and Marjan Sirjani. 2025. Reachability analysis of Hybrid Rebeca models. Journal of systems architecture : JSA 167 (2025), 103493.
DOI Details	Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, and Sebastian Junges. 2025. Efficient Probabilistic Model Checking for Relational Reachability. In Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science, Vol. 15931). Springer Nature Switzerland, Cham, 127–147.
DOI Details	Jasper Nalbach. 2025. Cylindrical algebraic decomposition based methods in satisfiability modulo non-linear real arithmetic. Ph.D. Dissertation. RWTH Aachen University, Aachen.
DOI Details	Isabela Drămnesc, Erika Ábrahám, László Antal, Péter Csóka, Nikolaos Fachantidis, Tudor Jebelean, Gábor Kusper, and Konstantinos Papadopoulos. 2025. Artificial Intelligence based robotic applications for higher education. Annales mathematicae et informaticae 61 (June 2025), 68–79.
DOI Details	Jasper Nalbach and Erika Ábrahám. 2025. A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination. In SC-Square 2025 : Satisfiability Checking and Symbolic Computation 2025 : Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025), Collocated with The 30th International Conference on Automated Deduction (CADE 2025) : Stuttgart, Germany, August 2, 2025 (CEUR workshop proceedings, Vol. 4116). RWTH Aachen, Aachen, Germany, 19–34.
DOI Details	Jasper Nalbach, Lucas Michel, Erika Ábrahám, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, and Naïm Zénaïdi. 2025. Projective Delineability for Single Cell Construction. In SC-Square 2025 : Satisfiability Checking and Symbolic Computation 2025 : Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025), Collocated with The 30th International Conference on Automated Deduction (CADE 2025) : Stuttgart, Germany, August 2, 2025 (CEUR workshop proceedings, Vol. 4116). RWTH Aachen, Aachen, Germany, 41–54.
DOI Details	Milena Vujošević Janičić, Erika Ábrahám, Amal Mersni, Oleksandra Yeremenko, and Miguel Goulão. 2025. WoCa Lunch: A Program for Female Students to Get Informed About PhD Studies. In Actions for Gender Balance in Informatics Across Europe. Springer Nature Switzerland, Cham, 137–173.
DOI Details	Lina Gerlach, Tobias Winkler, Erika Ábrahám, Borzoo Bonakdarpour, and Sebastian Junges. 2025. Correction to: Efficient Probabilistic Model Checking for Relational Reachability. In Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science, Vol. 15931). Springer Nature Switzerland, Cham, C1–C2.
DOI Details	Martin Aubard, László Antal, Ana Madureira, Luis F. Teixeira, and Erika Ábrahám. 2025. ROSAR: An Adversarial Re-Training Framework for Robust Side-Scan Sonar Object Detection. In 2025 Symposium on Maritime Informatics and Robotics (MARIS) : 26-27 June 2025 ; conference location: Syros, Greece. IEEE, [Piscataway, NJ], 8 pages.
DOI Details	Jonas Stübbe, Anne Remke, and Erika Ábrahám. 2025. Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks. In 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing : SYNASC 2025 : 22-25 September 2025, Timișoara, Romania : proceedings. IEEE, Piscataway, NJ, 21–29.
2024
DOI Details	Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, and Zeng Qiu. 2024. On the applicability of hybrid systems safety verification tools from the automotive perspective. International journal on software tools for technology transfer : STTT 26, 1 (2024), 49–78.
DOI Details	Jasper Nalbach, Erika Ábrahám, Philippe Specht, Christopher W. Brown, James H. Davenport, and Matthew England. 2024. Levelwise construction of a single cylindrical algebraic cell. Journal of symbolic computation 123 (2024), 102288.
DOI Details	Erika Ábrahám, József Kovács, and Anne Remke. 2024. SMT: Something You Must Try. In iFM 2023 : 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023 : Proceedings (Lecture notes in computer science, Vol. 14300). Springer, Cham, Switzerland, 3–18.
DOI Details	Leo Mommers. 2024. Proving termination of probabilistic recursive programs via SMT-solving. Bachelor's thesis. RWTH Aachen University, Aachen.
DOI Details	Sebastian Junges, Erika Ábrahám, Hans Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, and Matthias Volk. 2024. Parameter synthesis for Markov models : covering the parameter space. Formal methods in system design 62, 1/3 (2024), 181–259.
DOI Details	Jasper Nalbach and Erika Ábrahám. 2024. Merging Adjacent Cells During Single Cell Construction. In Computer algebra in scientific computing : 26th international workshop, CASC 2024, Rennes, France, September 2-6, 2024 : proceedings (Lecture notes in computer science, Vol. 14938). Springer, Cham, Switzerland, 252–272.
DOI Details	Martin Aubard, László Antal, Ana Madureira, and Erika Ábrahám. 2024. Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection. arXiv:2403.09313.
Details	Valentin Promies, Jasper Nalbach, and Erika Ábrahám. 2024. Under-Approximation of a Single Algebraic Cell. In PAAR+SC-Square 2024: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2024 : joint proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024, co-located with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024) : Nancy, France, July 2, 2024 (CEUR workshop proceedings, Vol. 3717). RWTH Aachen, Aachen, Germany, 132–136.
DOI Details	Erika Ábrahám and Marco Paolieri. 2024. Introduction to the Special Issue on QEST 2022, Part 1. ACM transactions on modeling and computer simulation : TOMACS 34 (2024), 16.
DOI Details	Erika Ábrahám and Manuel Mazo Jr (Eds.). 2024. Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control (ACM conferences). Association for Computing Machinery, New York, NY, United States.
DOI Details	Martin Aubard, László Antal, Ana Madureira, Luis F. Teixeira, and Erika Ábrahám. 2024. ROSAR: An Adversarial Re-Training Framework for Robust Side-Scan Sonar Object Detection. arXiv:2410.10554.
DOI Details	Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Nikolaos Fachantidis, Gabor Kusper, and Sorin Stratulat. 2024. A European Project on AI-based Robotics. In 2024 IEEE International Conference on Teaching, Assessment and Learning for Engineering conference proceedings : December 9-12, 2024. IEEE, Piscataway, NJ, 7 pages.
DOI Details	Martin Aubard, László Antal, Ana Maria Madureira, and Erika Ábrahám. 2024. SWDD: Sonar Wall Detection Dataset; v2. Zenodo.
DOI Details	Fatemeh Ghassemi, Saeed Zhiany, Nesa Abbasimoghadam, Ali Hodaei, Ali Ataollahi, József Kovács, Erika Ábrahám, and Marjan Sirjani. 2024. Hybrid Rebeca Revisited. arXiv:2411.03160.
DOI Details	Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, and Matthew England. 2024. On Projective Delineability. arXiv:2411.13300.
DOI Details	Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, and Matthew England. 2024. On Projective Delineability. In 2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) : [Proceedings]. IEEE, Pisctaway, NJ, 9–16.
Details	Pascal Richter, Erika Ábrahám, and Ahmed Abida. 2024. Steuerung einer Versorgungstechnik eines Gebäudes mittels eines neuronalen Netzwerks. Technical Report.
Details	Julia Walczak. 2024. Testing the applicability of robustness evaluation methods for neural networks on nonlinear real arithmetic problems using α-β-CROWN and foolbox. Bachelor's thesis. RWTH Aachen University, Aachen.
2023
Details	Jonas Blum, Stefan Hardt, Pascal Richter, Erika Ábrahám, Ahmed Abida, and Simon Klemp. 2023. Verfahren und System zur Steuerung von Lasten in einem Gebäude. Technical Report.
DOI Details	László Antal, Martin Aubard, Erika Ábrahám, Ana Madureira, Luís Madureira, Maria Costa, José Pinto, and Renato Campos. 2023. A Collision Avoidance Method for Autonomous Underwater Vehicles Based on Long Short-Term Memories. In Innovations in Bio-Inspired Computing and Applications : Proceedings of the 13th International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA 2022) Held During December 15-17, 2022 (Lecture Notes in Networks and Systems, Vol. 649). Springer Nature Switzerland, Cham, 448–457.
DOI Details	Philipp Bär. 2023. Exploiting strict constraints in the computation of cylindrical algebraic coverings. Bachelor's thesis. RWTH Aachen University, Aachen.
DOI Details	Erika Ábrahám, Jasper Nalbach, and Valentin Promies. 2023. Automated Exercise Generation for Satisfiability Checking. In Formal methods teaching : 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023 : proceedings (Lecture notes in computer science, Vol. 13962). Springer, Cham, Switzerland, 1–16.
DOI Details	Jasper Nalbach and Erika Ábrahám. 2023. Subtropical Satisfiability for SMT Solving. In NASA formal methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023 : Proceedings. Lecture notes in computer science, Vol. 13903. Springer, Cham, Switzerland, 430–446.
Details	Philipp Bär, Jasper Nalbach, Erika Ábrahám, and Christopher Brown. 2023. Exploiting Strict Constraints in the Cylindrical Algebraic Covering. In SMT 2023 : Satisfiability Modulo Theories 2023 : Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) : co-located with the 29th International Conference on Automated Deduction (CADE 2023) : Rome, Italy, July, 5-6, 2023 (CEUR workshop proceedings, Vol. 3429). RWTH-Aachen, Aachen, Germany, 13 pages.
DOI Details	Philipp Bär, Jasper Nalbach, Erika Ábrahám, and Christopher W. Brown. 2023. Exploiting Strict Constraints in the Cylindrical Algebraic Covering. arXiv:2306.16757.
DOI Details	Joanna Delicaris, Stefan Schupp, Erika Ábrahám, and Anne Remke. 2023. Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. In Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings (Lecture Notes in Computer Science, Vol. 13931). Springer, 164–182.
Details	Erika Ábrahám and Thomas Sturm (Eds.). 2023. SC-Square 2023: Satisfiability Checking and Symbolic Computation 2023 : proceedings of the 8th SC-Square Workshop, co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023) : Tromsø, Norway, July 28, 2023 (CEUR workshop proceedings, Vol. 3455). RWTH Aachen, Aachen, Germany.
DOI Details	Joanna Delicaris, Stefan Schupp, Erika Ábrahám, and Anne Remke. 2023. Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. arXiv:2304.14996.
DOI Details	Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, and Borzoo Bonakdarpour. 2023. Introducing Asynchronicity to Probabilistic Hyperproperties. arXiv:2307.05282.
DOI Details	Lisa Willemsen, Anne Remke, and Erika Ábrahám. 2023. Comparing Two Approaches to Include Stochasticity in Hybrid Automata. arXiv:2307.08052.
DOI Details	Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, and Borzoo Bonakdarpour. 2023. Introducing Asynchronicity to Probabilistic Hyperproperties. In Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science, Vol. 14287). Springer Nature Switzerland, Cham, 47–64.
DOI Details	Jasper Nalbach, Valentin Promies, Erika Ábrahám, and Paul Kobialka. 2023. FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. arXiv:2309.03138.
DOI Details	Hossein Hojjat and Erika Ábrahám (Eds.). 2023. Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers (Lecture notes in computer science, Vol. 14155). Springer, Cham, Switzerland.
DOI Details	Lisa Willemsen, Anne Remke, and Erika Ábrahám. 2023. Comparing Two Approaches to Include Stochasticity in Hybrid Automata. In Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science). Springer, Cham, 238–254.
DOI Details	Erika Ábrahám, Stefan Hallerstede, John Hatcliff, Danielle Stewart, and Noah Abou El Wafa. 2023. Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041). Dagstuhl Reports 13, 1 (2023), 155–183.
DOI Details	Jasper Nalbach, Valentin Promies, Erika Ábrahám, and Paul Kobialka. 2023. FMplex: A Novel Method for Solving Linear Real Arithmetic Problems. In Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification Udine, Italy, 18-20th September 2023 (Electronic Proceedings in Theoretical Computer Science, Vol. 390). Open Publishing Association.
DOI Details	Johanna Tolzmann. 2023. Generate elaborative feedback for novices’ programming exercises based on interaction data. Master's thesis. RWTH Aachen University, Aachen.
DOI Details	Erika Ábrahám, Clemens Dubslaff, and Silvia Lizeth Tapia Tarifa. 2023. Theoretical Aspects of Computing. In Theoretical Aspects of Computing – ICTAC 2023 : 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science, Vol. 14446). Springer Nature Switzerland, Cham.
DOI Details	László Antal, Hana Masara, and Erika Ábrahám. 2023. Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions. In Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems : Leiden, The Netherlands, 15th and 16th of November 2023 (Electronic proceedings in theoretical computer science : EPTCS, Vol. 395). NICTA, Sydney, 30–68.
2022
DOI Details	Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, and Borzoo Bonakdarpour. 2022. HyperPCTL Model Checking by Probabilistic Decomposition. In Integrated formal methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022 : proceedings (Lecture notes in computer science, Vol. 13274, Formal methods). Springer, Cham, Switzerland, 209–226.
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	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	Anton Pirogov. 2021. Determinization and ambiguity of classical and probabilistic Büchi automata. Ph.D. Dissertation. RWTH Aachen University, Aachen.
DOI Details	Erika Ábrahám, James H. Davenport, Matthew England, and Gereon Kremer. 2021. Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. Journal of Logical and Algebraic Methods in Programming 119 (2021), 100633.
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.
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	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.
DOI Details	Gereon Kremer, Erika Ábrahám, Matthew England, and James H. Davenport. 2021. On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving. In 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing : SYNASC 2021 : virtual conference, 7-10 December 2021. IEEE, Piscataway, NJ, 37–39.
2020
DOI Details	Gereon Kremer and Erika Ábrahám. 2020. Fully Incremental Cylindrical Algebraic Decomposition. Journal of symbolic computation 100 (2020), 11–37.
DOI Details	Erika Ábrahám, James H. Davenport, Matthew England, and Gereon Kremer. 2020. Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings. arXiv:2003.05633.
DOI Details	Rebecca Haehn, Erika Ábrahám, and Nils Nießen. 2020. Freight Train Scheduling in Railway Systems. In Measurement, modelling, and evaluation of computing systems : 20th International GI/ITG Conference, MMB 2020 : Saarbrücken, Germany, March 16-18, 2020 : proceedings (Lecture Notes in Computer Science, Vol. 12040). Springer, Cham, 225–241.
DOI Details	Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, and Oyendrila Dobe. 2020. Parameter Synthesis for Probabilistic Hyperproperties. In [The 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2020] (EPiC Series in Computing, Vol. 73). 12–31.
DOI Details	Gereon Kremer. 2020. Cylindrical algebraic decomposition for nonlinear arithmetic problems. Ph.D. Dissertation. RWTH Aachen University, Aachen.
DOI Details	Francesco Leofante. 2020. Optimal planning modulo theories. Ph.D. Dissertation. RWTH Aachen University, Aachen.
DOI Details	Rebecca Haehn, Erika Ábrahám, and Nils Nießen. 2020. Probabilistic Simulation of a Railway Timetable. In 20th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems : ATMOS 2020, September 7-8, 2020, Pisa, Italy (virtual conference) (OpenAccess Series in Informatics (OASIcs), Vol. 85). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Saarbrücken/Wadern, 16:1–16:14.
Details	Bram Kohlen. 2020. Parameter synthesis in probabilistic timed automata. Master's thesis. RWTH Aachen University, Aachen.
DOI Details	Jasper Nalbach. 2020. A novel adaption of the Simplex algorithm for linear real arithmetic. Master's thesis. RWTH Aachen University, Aachen.
DOI Details	Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, and Oyendrila Dobe. 2020. Probabilistic Hyperproperties with Nondeterminism. In Automated technology for verification and analysis : 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings (Lecture notes in computer science, Vol. 12302). Springer, Cham, Switzerland, 518–534.
DOI Details	Carina Pilch, Maurice Krause, Anne Remke, and Erika Ábrahám. 2020. A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata. In NASA formal methods : 12th international symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings (Lecture notes in computer science, Vol. 12229). Springer, Cham, Switzerland, 381–400.
DOI Details	Erika Ábrahám, James Davenport, Matthew England, Gereon Kremer, and Zak Tonks. 2020. New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract). In PAAR+SC-Square 2020: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020 : joint proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 : co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020) : Paris, France, June-July, 2020 (virtual) (CEUR workshop proceedings, Vol. 2752). RWTH Aachen, Aachen, Germany, 178–188.
DOI Details	Erika Ábrahám, James Davenport, Matthew England, Gereon Kremer, and Zak Tonks. 2020. New Opportunities for the Formal Proof of Computational Real Geometry? arXiv:2004.04034.
2019
DOI Details	Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, and Thomas Rambow. 2019. Multiple Analyses, Requirements Once : Simplifying Testing and Verification in Automotive Model-Based Development. In Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings (Lecture notes in computer science, Vol. 11687). Springer, Cham, 59–75.
DOI Details	Stefan Schupp. 2019. State set representations and their usage in the reachability analysis of hybrid systems. Ph.D. Dissertation. RWTH Aachen University, Aachen.
Details	Gereon Kremer, Erika Ábrahám, and Vijay Ganesh. 2019. On the Proof Complexity of MCSAT. In SC-square 2019 : Satisfiability Checking and Symbolic Computation 2019 : Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2019) : Bern, Switzerland, 10th July 2019 (CEUR workshop proceedings, Vol. 2460). RWTH-Aachen, Aachen, Germany, 10 pages.
DOI Details	Jasper Nalbach, Gereon Kremer, and Erika Ábrahám. 2019. On Variable Orderings in MCSAT for Non-linear Real Arithmetic : (extended abstract). In SC-square 2019 : Satisfiability Checking and Symbolic Computation 2019 : Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2019) : Bern, Switzerland, 10th July 2019 (CEUR workshop proceedings, Vol. 2460). RWTH-Aachen, Aachen, Germany, 7 pages.
DOI Details	Francesco Leofante, Stefan Schupp, Erika Ábrahám, and Armando Tacchella. 2019. Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems. In Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, ECMS 2019 : June 11th-June 14th, 2019, Caserta, Italy : communications of the ECMS, volume 33, issue 1, June 2019. European Council for Modelling, Simulation, [Europe], 7 pages.
2018
DOI Details	Niloofar Safiran. 2018. Differentiation of numerical simulations with embedded nonlinear systems and integrals. Ph.D. Dissertation. RWTH Aachen University, Aachen.
DOI Details	Stefan Schupp, Justin Winkens, and Erika Ábrahám. 2018. Context-Dependent Reachability Analysis for Hybrid Systems. In 2018 IEEE 19th International Conference on Information Reuse and Integration for Data Science : IRI 2018 : 7-9 July 2018, Salt Lake City, Utah, USA : proceedings. IEEE, Piscataway, NJ, 518–525.
DOI Details	Gereon Kremer and Erika Ábrahám. 2018. Modular strategic SMT solving with SMT-RAT. Acta Universitatis Sapientiae / Informatica 10, 1 (2018), 5–25.
DOI Details	Stefan Schupp and Erika Ábrahám. 2018. Spread the Work : Multi-threaded Safety Analysis for Hybrid Systems. In Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings (Lecture notes in computer science, Vol. 10886). Springer, Cham, 89–104.
DOI Details	Stefan Schupp and Erika Ábrahám. 2018. Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis. In Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II (Lecture notes in computer science, Vol. 10806, Part 2). Springer International Publishing, Cham, 287–302.
DOI Details	Ulrich Loup. 2018. On solving real-algebraic formulas in a satisfiability-modulo-theories framework. Ph.D. Dissertation. RWTH Aachen University, Aachen.
DOI Details	Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, and Thomas Rambow. 2018. Verifying Auto-generated C Code from Simulink : An Experience Report in the Automotive Domain. In Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture notes in computer science, Vol. 10951). Springer, Cham.
DOI Details	Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, and Joost-Pieter Katoen. 2018. Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. In Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture notes in computer science, Vol. 10951). Springer, Cham.
DOI Details	Francesco Leofante, Erika Ábrahám, Tim Dieter Niemüller, Gerhard Lakemeyer, and Armando Tacchella. 2018. Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Information systems frontiers 21, 1 (2018), 87–107.
DOI Details	Francesco Leofante, Erika Ábrahám, and Armando Tacchella. 2018. Task Planning with OMT: An Application to Production Logistics. In Integrated formal methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings (Lecture notes in computer science, Vol. 11023, Programming and Software Engineering). Springer, Cham, 316–325.
DOI Details	Erika Ábrahám and Borzoo Bonakdarpour. 2018. HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. In Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings (Lecture Notes in Computer Science, Vol. 11024, Theoretical Computer Science and General Issues). Springer, Cham.
Details	Rebecca Haehn, Gereon Kremer, and Erika Ábrahám. 2018. Evaluation of Equational Constraints for CAD in SMT Solving. In Satisfiability checking and symbolic computation : SC-Square 2018 : proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation, co-located with Federated Logic Conference (FLOC 2018) : Oxford, UK, July 11, 2018 (CEUR workshop proceedings, Vol. 2189). RWTH-Aachen, Aachen, Germany, 19–32.
DOI Details	Erika Ábrahám and Silvia Lizeth Taipa Tarifa (Eds.). 2018. Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18) (Research report / University of Oslo, Vol. 483).
Details	Erika Ábrahám, Elisabetta Di Nitto, and Raffaela Mirandola (Eds.). 2018. 2018 ACM/IEEE 1st International Workshop on Gender Equality in Software Engineering : GE 2018 : 28 May 2018, Gothenburg, Sweden : proceedings. IEEE, Piscataway, NJ.
Details	Erika Ábrahám. 2018. Symbolic Computation Techniques in SMT Solving: Mathematical Beauty Meets Efficient Heuristics. In Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (Lecture notes in computer science, Vol. 10900). Springer International Publishing, Cham, XII–XII.
Details	Stefan Schupp and Erika Ábrahám. 2018. The HyDRA Tool : A Playground for the Development of Hybrid Systems Reachability Analysis Methods. In Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18) : Research report 483, August 2018 (Research report, Vol. 483). Oslo University, Oslo, 2 pages.
2017
DOI Details	Stefan Schupp, Johanna Nellen, and Erika Ábrahám. 2017. Divide and Conquer : Variable Set Separation in Hybrid Systems Reachability Analysis. In Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems : Uppsala, Sweden, 23rd April 2017 (Electronic proceedings in theoretical computer science : EPTCS, Vol. 250). [Open Publishing Association], [Waterloo, NSW], 1–14.
DOI Details	Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, and Stefan Kowalewski. 2017. HyPro : A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. In NASA formal methods : 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings (Lecture Notes in Computer Science, Vol. 10227). Springer, Cham, 288–294.
DOI Details	Christian Meirich. 2017. Berechnung und Bewertung der Gesamtleistungsfähigkeit von Eisenbahnnetzen. Ph.D. Dissertation. Rheinisch-Westfälische Technische Hochschule Aachen, Aachen.
Details	Erika Ábrahám. 2017. Techniques and Tools for Hybrid Systems Reachability Analysis. In Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Lecture Notes in Computer Science, Vol. 10381). Springer International Publishing - Springer, Cham, XVI–XVII.
Details	Erika Ábrahám, Jasper Nalbach, and Gereon Kremer. 2017. Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. In Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017 (CEUR workshop proceedings, Vol. 1974). RWTH Aachen, Aachen, Germany, 12 pages.
Details	Tarik Viehmann, Gereon Kremer, and Erika Ábrahám. 2017. Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. In [2nd International Workshop on Satisfiability Checking and Symbolic Computation, SC2, 2017-07-29 - 2017-07-29, Kaiserslautern, Germany (CEUR workshop proceedings, Vol. 1974). RWTH Aachen, Aachen, Germany, 15 pages.
Details	Erika Ábrahám, James H. Davenport, and Pascal Fontaine (Eds.). 2017. Bridging two communities to solve real problems : SC2 2016 : First Workshop on Satisfiability Checking and Symbolic Computation : FETOPEN-CSA SC2 Workshop 1 : September 24, 2016 : affiliated with the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016) : Timisoara, Romania (CEUR workshop proceedings, Vol. 1804). RWTH Aachen, Aachen, Germany.
DOI Details	Erika Ábrahám, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, and Werner M. Seiler. 2017. SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces. In ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017 (EPiC Series in Computing, Vol. 51). EasyChair, 6–10.
DOI Details	Francesco Leofante, Erika Ábrahám, Tim Dieter Niemüller, Gerhard Lakemeyer, and Armando Tacchella. 2017. On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. In 2017 IEEE International Conference on Information Reuse and Integration : IRI 2017 : San Diego, CA, USA, 4-6 August 2017 : proceedings. IEEE, Piscataway, NJ, 403–410.
Details	Erika Ábrahám and Sergiy Bogomolov (Eds.). 2017. Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Uppsala, Sweden, 22nd April 2017 (Electronic proceedings in theoretical computer science, Vol. 247). [Open Publishing Association], [Waterloo, NSW].
DOI Details	Erika Ábrahám, Hadas Kress-Gazit, and Lorenzo Natale. 2017. Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). Dagstuhl Reports 7, 2 (2017), 48–63.
Details	Tim Dieter Niemüller, Gerhard Lakemeyer, Francesco Leofante, and Erika Ábrahám. 2017. Towards CLIPS-based Task Execution and Monitoring with SMT-based Decision Optimization. In 27th International Conference on Automated Planning and Scheduling June 19-23, 2017, Pittsburgh, USA : icaps Pittsburgh 2017 : PlanRob 2017 : Proceedings of the 5th Workshop on Planning and Robotics. 60–67.
Details	Erika Ábrahám and Sergiy Bogomolov. 2017. Preface. In Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Uppsala, Sweden, 22nd April 2017 (Electronic proceedings in theoretical computer science, Vol. 247). [Open Publishing Association], [Waterloo, NSW].
DOI Details	Erika Ábrahám and Sergiy Bogomolov (Eds.). 2017. Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Uppsala, Sweden, 22nd April 2017 (Electronic proceedings in theoretical computer science, Vol. 247). [Open Publishing Association], [Waterloo, NSW].
DOI Details	Erika Ábrahám and Gereon Kremer. 2017. SMT Solving for Arithmetic Theories: Theory and Tool Support. In 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, 1–8.
Details	Tim Dieter Niemüller, Gerhard Lakemeyer, Francesco Leofante, and Erika Ábrahám. 2017. Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization. In Proceedings of the 5th Workshop on Planning and Robotics at ICAPS (PLANROB 2017).
DOI Details	Jannik Hüls, Stefan Schupp, Anne Remke, and Erika Ábrahám. 2017. Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. In Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools : VALUETOOLS 2017 : 5-7 December 2017, Venice, Italy (ICPS: ACM international conference proceeding series). ACM, New York, NY, USA, 178–185.
2016
Details	Pascal Richter, Martin Frank, and Erika Ábrahám. 2016. Multi-objective optimization of solar tower power plants. In Progress in industrial mathematics at ECMI 2014 (Mathematics in industry). Springer, Cham, Switzerland.
DOI Details	Erika Ábrahám, Thi Mai Thuong Tran, and Martin Steffen. 2016. Observable Interface Behaviour and Inheritance. Mathematical structures in computer science : MSCS 26, Special Issue 03 (2016), 561–605.
DOI Details	Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, and Erika Ábrahám. 2016. Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. IMA journal of mathematical control and information 33, 3 (2016), 723–756.
DOI Details	Gereon Kremer, Florian Corzilius, and Erika Ábrahám. 2016. A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic. In Computer algebra in scientific computing : 18th international workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings (Lecture Notes in Computer Science, Vol. 9890). Springer International Publishing, Cham, 315–335.
DOI Details	Johanna Nellen, Kai Driessen, Martin Neuhäußer, Erika Ábrahám, and Benedikt Wolters. 2016. Two CEGAR-based approaches for the safety verification of PLC-controlled plants. Information systems frontiers : ISF 18, 5 (2016), 927–952.
DOI Details	Erika Ábrahám and Klaus Havelund. 2016. Some recent advances in automated analysis. International journal on software tools for technology transfer : STTT 18, 2 (April 2016), 121–128.
Details	Johanna Nellen. 2016. Analysis and synthesis of hybrid systems in engineering applications. Ph.D. Dissertation. RWTH Aachen University, Aachen.
DOI Details	Erika Ábrahám, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, and Thomas Sturm. 2016. SC2 : Satisfiability Checking Meets Symbolic Computation. In Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (Lecture Notes in Computer Science, Vol. 9791). Springer International Publishing, Cham, 28–43.
DOI Details	Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, and Jacopo Mauro. 2016. Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. In Dependable software engineering : theories, tools, and applications : second international symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings (Lecture Notes in Computer Science, Vol. 9984). Springer International Publishing, Cham, 229–245.
DOI Details	Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, and Nils Jansen. 2016. Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. In Leveraging applications of formal methods, verification and validation : 7th international symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings (Lecture Notes in Computer Science, Vol. 9952). Springer International Publishing, Cham, 496–514.
DOI Details	Erika Ábrahám, Marcello Bonsangue, and Einar Broch Johnsen (Eds.). 2016. Theory and practice of formal methods : essays dedicated to Frank de Boer on the occasion of his 60th birthday. Lecture Notes in Computer Science, Vol. 9660. Springer International Publishing ; Imprint: Springer, Cham ; s.l.
Details	Pascal Richter, David Laukamp, Levin Gerdes, Martin Frank, and Erika Ábrahám. 2016. Heliostat Field Layout Optimization with Evolutionary Algorithms. In GCAI 2016 : 2nd Global Conference on Artificial Intelligence (EPiC Series in Computing, Vol. 41). [Cool Press Ltd], [Manchester], 240–252.
DOI Details	Erika Ábrahám and Gereon Kremer. 2016. Satisfiability Checking : Theory and Applications. In Software engineering and formal methods : 14th international conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings (Lecture Notes in Computer Science, Vol. 9763). Springer International Publishing ; Imprint: Springer, Cham ; s.l., 9–23.
DOI Details	Erika Ábrahám and Sergiy Bogomolov (Eds.). 2016. Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) : April 11, 2016, Vienna, Austria : held as part of CPS Week, April 11-14, 2016, Vienna, Austria. IEEE, Piscataway, NJ.
DOI Details	Erika Ábrahám and Marieke Huisman (Eds.). 2016. Integrated formal methods : 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings. Lecture Notes in Computer Science, Vol. 9681. Springer International Publishing ; Imprint: Springer, Cham ; s.l.
DOI Details	Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, and Erika Ábrahám. 2016. Parameter synthesis for probabilistic systems. In MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" : Albert-Ludwigs-Universität Freiburg im Breisgau 1.-2. März 2016. Albert-Ludwigs-Universität, Freiburg im Breisgau, 72–74.
DOI Details	Erika Ábrahám, Pascal Fontaine, Thomas Sturm, and Dongming Wang. 2016. Symbolic Computation and Satisfiability Checking : Report of Dagstuhl Seminar 15471. Dagstuhl reports 5, 11 (Nov. 2016), 71–89.
DOI Details	Florian Corzilius. 2016. Integrating virtual substitution into strategic SMT solving. Ph.D. Dissertation. RWTH Aachen University, Aachen.
DOI Details	Erika Ábrahám, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm, J. Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, and M. England. 2016. Satisfiability checking and symbolic computation. ACM Communications in computer algebra : ACM CCA 50, 4 (2016), 145–147.
DOI Details	Erika Ábrahám. 2016. Symbolic Computation Techniques in Satisfiability Checking. In 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing : SYNASC 2016 : 24-27 September 2016, Timişoara, Romania : proceedings. IEEE, Piscataway, NJ, 3–10.
DOI Details	Erika Ábrahám, P. Fontaine, S. Forrest, A. Griggio, D. Kroening, W. M. Seiler, T. Sturm, J. Abbott, B. Becker, A. M. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J. H. Davenport, and M. England. 2016. Satisfiability checking and symbolic computation. arXiv:1607.06945.
2015
Details	Xin Chen. 2015. Reachability analysis of non-linear hybrid systems using Taylor Models. Ph.D. Dissertation. RWTH Aachen University, Aachen.
Details	Nils Jansen. 2015. Counterexamples in probabilistic verification. Ph.D. Dissertation. Aachen, Techn. Hochsch., Aachen.
DOI Details	Ralf Wimmer, Nils Jansen, Erika Ábrahám, and Joost-Pieter Katoen. 2015. High-level Counterexamples for Probabilistic Automata. Logical methods in computer science 11, 1 (2015), 15.
DOI Details	Tim Quatmann, Nils Jansen, Hans Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. 2015. Counterexamples for Expected Rewards. In FM 2015: formal methods : 20th international symposium, Oslo, Norway, June 24 - 26, 2015 ; proceedings (Lecture Notes in Computer Science, Vol. 9109). Springer, Cham, 435–452.
DOI Details	Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, and Stefan Kowalewski. 2015. A Benchmark Suite for Hybrid Systems Reachability Analysis. In NASA Formal Methods ; 7th International Symposium, NFM 2015, Pasadena, Calif., USA, April 27-29, 2015, Proceedings (Lecture Notes in Computer Science, Vol. 9058). Springer, Cham, 408–414.
DOI Details	Erika Ábrahám. 2015. Building Bridges between Symbolic Computation and Satisfiability Checking. In Proceedings of the 14th International Symposium on Symbolic and Algebraic Computation ; Bath, United Kingdom July 06 -09, 2015 ; ISSAC 2015. ACM Press, New York, NY, 6 pages.
DOI Details	Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, and Erika Ábrahám. 2015. SMT-RAT : an Open Source C++ Toolbox for Strategic and Parallel SMT Solving. In Theory and Applications of Satisfiability Testing : SAT 2015 ; 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Lecture Notes in Computer Science, Vol. 9340). Springer International Publishing, Cham, 360–368.
DOI Details	Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, and Joost-Pieter Katoen. 2015. A Greedy Approach for the Efficient Repair of Stochastic Models. In NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Lecture Notes in Computer Science, Vol. 9058). Springer International Publishing, Cham, 295–309.
DOI Details	Johanna Nellen, Erika Ábrahám, and Benedikt Wolters. 2015. A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata. In Formalisms for Reuse and Systems Integration. Advances in Intelligent Systems and Computing, Vol. 346. Springer International Publishing, Cham, 55–78.
DOI Details	Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, and Erika Ábrahám. 2015. PROPhESY : A PRObabilistic ParamEter SYnthesis Tool. In Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18 - 24, 2015 ; proceedings, part I (Lecture Notes in Computer Science, Vol. 9206). Springer International Publishing, Cham, 214–231.
DOI Details	Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, and Stefan Kowalewski. 2015. Current Challenges in the Verification of Hybrid Systems. In Cyber physical systems : design, modeling, and evaluation ; 5th international workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 ; proceedings (Lecture Notes in Computer Science, Vol. 9361). Springer International Publishing, Cham, 8–24.
Details	Xin Chen, Sriram Sankaranarayanan, and Erika Ábrahám. 2015. Flow* 1.2: More Effective to Play with Hybrid Systems. In ARCH14-15. 1st and 2nd International Workshop on Applied veRication for Continuous and Hybrid Systems (EPiC Series in Computer Science, Vol. 34). EasyChair, [Manchester], 152–159.
Details	Johanna Nellen, Benedikt Wolters, Lukas Stephan Michael Netz, Sascha Geulen, and Erika Ábrahám. 2015. A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs. In GCAI 2015 : Global Conference on Artificial Intelligence (EPiC series in computing, Vol. 36). EasyChair, [Manchester], 196–214.
DOI Details	Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, and Achim Streit. 2015. Challenges and Recommendations for Preparing HPC Applications for Exascale. arXiv:1503.06974.
Details	Sascha Geulen, Martina Joševski, Johanna Nellen, Janosch Fuchs, Lukas Stephan Michael Netz, Benedikt Wolters, Erika Ábrahám, Walter Unger, and Dirk Abel. 2015. Online Lernen als Kontrollstrategie in Hybridfahrzeugen; Nichtred. Ms.-Dr. In Autoreg 2015 : Auf dem Weg zum automatisierten Fahren ; 7. Fachtagung in Baden-Baden, 09. und 10. Juni 2015 (VDI-Berichte, Vol. 2233). VDI-Verl., Düsseldorf, 101–112.
DOI Details	Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, and Achim Streit. 2015. Preparing HPC Applications for Exascale: Challenges and Recommendations. In Proceedings : 2015 18th International Conference on Network-Based Information Systems, NBiS 2015 : 2-4 September 2015, Tamkang University, Taipei, Taiwan. IEEE, Piscataway, NJ, 401–406.
DOI Details	Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Stephan Michael Netz, Benedikt Wolters, Dirk Abel, Erika Ábrahám, and Walter Unger. 2015. Learning-based Control Strategies for Hybrid Electric Vehicles. In 2015 IEEE Conference on Control Applications (CCA 2015) : Sydney, Australia, 21 - 23 September 2015 : [part of IEEE Multi-Conference on Systems and Control (MSC 2015)]. IEEE, Piscataway, NJ, 1722–1728.
2014
DOI Details	Erika Ábrahám, Bernd Becker, Hans Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, and Ralf Wimmer. 2014. Counterexample Generation for Discrete-Time Markov Models : An Introductory Survey. In Formal methods for executable software models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16 - 20, 2014 ; advanced lectures (Lecture notes in computer science, Vol. 8483). Springer, Cham, 65–121.
Details	Ralf Wimmer and Erika Ábrahám. 2014. Maybe or Maybe not : Contributions to Stochastic Verification. In Aspekte der Technischen Informatik : Festschrift zum 60. Geburtstag von Bernd Becker. Monsenstein und Vannerdat, Münster, 119–127.
Details	Xin Chen, Sriram Sankaranarayanan, and Erika Ábrahám. 2014. Under-approximate Flowpipes for Non-linear Continuous Systems. In 2014 formal methods in computer-aided design (FMCAD 2014) : Lausanne, Switzerland, 21 - 24 October 2014 (ACM Other conferences). IEEE, Piscataway, NJ, 59–66.
DOI Details	Daniela Lepri, Erika Ábrahám, and Peter Csaba Ölveczky. 2014. Sound and Complete Timed CTL Model Checking of Timed Kripke Structures and Real-Time Rewrite Theories. Science of computer programming 99 (2014), 128–192.
DOI Details	Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, and Johann Schuster. 2014. Symbolic counterexample generation for large discrete-time Markov chains. Science of computer programming 91, Part A (2014), 90–114.
DOI Details	Muhammad Fadlisyah, Peter Csaba Ölveczky, and Erika Ábrahám. 2014. Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships? Science of computer programming (2014).
DOI Details	Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. 2014. Minimal counterexamples for linear-time probabilistic verification. Theoretical computer science 549 (2014), 61–100.
DOI Details	Hans Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, and Joost-Pieter Katoen. 2014. Fast Debugging of PRISM Models. In Automated technology for verification and analysis : 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 ; proceedings (Lecture notes in computer science, Vol. 8837). Springer, Berlin, 146–162.
DOI Details	Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. 2014. Accelerating Parametric Probabilistic Verification. In Quantitative evaluation of systems : 11th international conference, QEST 2014, Florence, Italy, September 8 - 10, 2014 ; proceedings (Lecture Notes in Computer Science, Vol. 8657). Springer, Cham, 404–420.
DOI Details	Erika Ábrahám and Catuscia Palamidessi (Eds.). 2014. Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 international conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3 - 5, 2014 ; proceedings. Lecture Notes in Computer Science, Vol. 8461. Springer, Berlin.
DOI Details	Johanna Nellen and Erika Ábrahám. 2014. A CEGAR Approach for the Reachability Analysis of PLC-controlled Chemical Plants. In 2014 IEEE 15th International Conference on Information Reuse and Integration (IRI) : 13 - 15 Aug. 2014, [Redwood City, California] ; [including workshops]. IEEE, Piscataway, NJ, 500–507.
DOI Details	Johanna Nellen, Erika Ábrahám, Xin Chen, and Pieter Collins. 2014. Counterexample Generation for Hybrid Automata. In Formal techniques for safety-critical systems : second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013 ; revised selected papers (Communications in Computer and Information Science, Vol. 419). Springer International Publishing, Cham, 88–106.
DOI Details	Erika Ábrahám, Alberto Avritzer, Anne Remke, and William H. Sanders (Eds.). 2014. Randomized Timed and Hybrid Models for Critical Infrastructures. Dagstuhl Reports 4, 1 (Jan. 2014), 37–82.
DOI Details	Erika Ábrahám and Klaus Havelund (Eds.). 2014. Tools and Algorithms for the Construction and Analysis of Systems : 20th international conference, TACAS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5 - 13, 2014 ; proceedings. Lecture Notes in Computer Science, Vol. 8413. Springer, Berlin.
2013
DOI Details	Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. 2013. High-level Counterexamples for Probabilistic Automata; extended version. arXiv:1305.5055.
DOI Details	Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, and Bernd Becker. 2013. A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition. In Automated Deduction : CADE-24 ; 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 ; proceedings (Lecture notes in computer science, Vol. 7898). Springer, Berlin, 193–207.
Details	Yan Zhang, Xin Chen, Sriram Sankaranarayanan, and Erika Ábrahám. 2013. Empirical Flowpipe Constructions for Analog Circuits. In Workshop on Frontiers in Analog CAD (FAC'13) ; [Co-located with the International Solid-State Circuits Conference ISSCC], February 14-15, 2013, David Brower Center, Berkeley, CA.
DOI Details	Daniela Lepri, Erika Ábrahám, and Peter Csaba Ölveczky. 2013. A Timed CTL Model Checker for Real-Time Maude. In Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings (Lecture Notes in Computer Science, Vol. 8089). Springer, Berlin, 334–339.
DOI Details	Xin Chen, Erika Ábrahám, and Sriram Sankaranarayanan. 2013. Flow: An Analyzer for Non-Linear Hybrid Systems. In Computer aided verification : 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013 ; proceedings* (Lecture notes in computer science, Vol. 8044). Springer, Berlin, 258–263.
Details	Bettina Braitling, Ralf Wimmer, Bernd Becker, and Erika Ábrahám. 2013. Stochastic Bounded Model Checking : Bounded Rewards and Compositionality. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : MBMV 2013 ; [16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ... im März 2013 an der Universität Rostock]. Univ., ITMZ, Rostock, 243–254.
DOI Details	Sriram Sankaranarayanan, Xin Chen, and Erika Ábrahám. 2013. Lyapunov Function Synthesis using Handelman Representations. In 9th IFAC Symposium on Nonlinear Control Systems 2013 : Toulouse, France, 4 - 6 September 2013 (Nonlinear Control Systems, Vol. 9,1). Elsevier, [s.l.], 576–581.
DOI Details	Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. 2013. High-level Counterexamples for Probabilistic Automata. In Quantitative evaluation of systems : 10th international conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings (Lecture notes in computer science, Vol. 8054). Springer, Berlin, 39–54.
DOI Details	Sebastian Junges, Ulrich Loup, Florian Corzilius, and Erika Ábrahám. 2013. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. In Algebraic informatics : 5th international conference, CAI 2013, Porquerolles, France, September 3-6, 2013. ; proceedings (Lecture notes in computer science, Vol. 8080). Springer, Berlin, 186–198.
Details	Sebastian Junges, Ulrich Loup, Florian Corzilius, and Erika Ábrahám. 2013. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. Technical Report AIB-2013-08. Shaker [u.a.], Aachen.
DOI Details	Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. 2013. Accelerating Parametric Probabilistic Verification. arXiv:1312.3979.
DOI Details	Yan Zhang, Xin Chen, Sriram Sankaranarayanan, Fabio Somenzi, and Erika Ábrahám. 2013. From Statistical Model Checking to Statistical Model Inference : Characterizing the Effect of Process Variations in Analog Circuits. In 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2013) : San Jose, California, USA, 18 - 21 November 2013. IEEE, Piscataway, NJ, 662–669.
2012
DOI Details	Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, and Joost-Pieter Katoen. 2012. Minimal Critical Subsystems for Discrete-Time Markov Models. In Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 ; proceedings (Lecture notes in computer science, Vol. 7214). Springer, Berlin, 299–314.
Details	Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. 2012. Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes; extended version. Technical Report. Oldenburg [u.a.].
Details	Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. 2012. Minimal Critical Subsystems as Counterexamples for ω-Regular DTMC Properties. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : MBMV 2012 ; [15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ... im März 2012 an der Technischen Universität Kaiserslautern] (Schriftenreihe Forschungsergebnisse zur Informatik, Vol. 68). Kovač, Hamburg, 169–180.
DOI Details	Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, and Bernd Becker. 2012. The COMICS Tool : Computing Minimal Counterexamples for Discrete-time Markov Chains. Technical Report. Cornell Univ., Ithaca, NY.
DOI Details	Xin Chen and Erika Ábrahám. 2012. Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems. In Computer aided systems theory - EUROCAST 2011 : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011; revised selected papers ; Pt. 1 (Lecture notes in computer science, Vol. 6927). Springer [u.a.], Berlin u.a.], 535–542.
DOI Details	Muhammad Fadlisyah, Peter Csaba Ölveczky, and Erika Ábrahám. 2012. Some Like It Very Hot : Formal Modeling and Analysis of Extreme Heat Exposure to the Human Body in HI-Maude. In Rewriting logic and its applications : 9th international workshop, WRLA 2012, held as a satellite event of ETAPS 2012, Tallinn, Estonia, March 24 - 25, 2012 ; revised selected papers (Lecture notes in computer science, Vol. 7571). Springer, Heidelberg, 139–161.
Details	Johanna Nellen and Erika Ábrahám. 2012. Hybrid Sequential Function Charts. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : MBMV 2012 ; [15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ... im März 2012 an der Technischen Universität Kaiserslautern] (Schriftenreihe Forschungsergebnisse zur Informatik, Vol. 68). Kovač, Hamburg, 109–120.
DOI Details	Florian Corzilius, Ulrich Loup, Sebastian Junges, and Erika Ábrahám. 2012. SMT-RAT : An SMT-Compliant Nonlinear Real Arithmetic Toolbox. In Theory and applications of satisfiability testing : 15th international conference ; proceedings (Lecture notes in computer science, Vol. 7317). Springer, Berlin, 442–448.
DOI Details	Xin Chen, Erika Ábrahám, and Sriram Sankaranarayanan. 2012. Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. In Proceedings of the 33rd IEEE Real-Time Systems Symposium (RTSS'12) : San Jan, Puerto Rico, 4-7 Dec. 2012 (Real-Time Systems Symposium-Proceedings, Vol. 2012). IEEE Computer Soc., Piscataway, NJ, 183–192.
DOI Details	Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, and Bernd Becker. 2012. Symbolic Counterexample Generation for Discrete-time Markov Chains; 7684. In Formal aspects of component software : 9th international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers (Springer eBook collection : Computer science). Springer, Berlin, 134–151.
Details	Xin Chen, Erika Ábrahám, and Sriram Sankaranarayanan. 2012. Taylor Model Over-approximations for Flowpipe : Guard Intersections. In 5th International Workshop on Numerical Software Verification (NSV'12) : July 7-8, 2012 Berkeley, California, USA. Berkeley, Calif.
DOI Details	Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, and Bernd Becker. 2012. The COMICS Tool : Computing Minimal Counterexamples for DTMCs. In Automated technology for verification and analysis : 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3 - 6, 2012 ; proceedings (Lecture notes in computer science, Vol. 7561). Springer, Heidelberg, 349–353.
DOI Details	Daniela Lepri, Erika Ábrahám, and Peter Csaba Ölveczky. 2012. Timed CTL Model Checking in Real-Time Maude. In Rewriting logic and its applications : 9th international workshop, WRLA 2012, held as a satellite event of ETAPS 2012, Tallinn, Estonia, March 24 - 25, 2012 ; revised selected papers (Lecture notes in computer science, Vol. 7571). Springer, Heidelberg, 182–200.
2011
DOI Details	Ulrich Loup and Erika Ábrahám. 2011. I-RiSC : an SMT-Compliant Solver for the Existential Fragment of Real Algebra; 6742. In Algebraic informatics : 4th international conference, CAI 2011, [held at RISC], Linz, Austria, June 21-24, 2011 ; proceedings (Lecture Notes in Computer Science, Vol. 6742). Springer, Heidelberg, 230–246.
DOI Details	Florian Corzilius and Erika Ábrahám. 2011. Virtual Substitution for SMT-Solving. In Fundamentals of computation theory : 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 ; proceedings (Lecture notes in computer science, Vol. 6914). Springer, Heidelberg, 360–371.
DOI Details	Ulrich Loup and Erika Ábrahám. 2011. GiNaCRA: A C++ Library for Real Algebraic Computations. In NASA formal methods : third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 ; proceedings (Lecture Notes in Computer Science, Vol. 6617). Springer, Heidelberg, 512–517.
DOI Details	Pascal Richter, Erika Ábrahám, and Gabriel Morin. 2011. Optimisation of Concentrating Solar Thermal Power Plants with Neural Networks. In Adaptive and natural computing algorithms : 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011; proceedings (Lecture notes in computer science, Vol. 6593). Springer, Heidelberg, 190–199.
DOI Details	Muhammad Fadlisyah, P. C. Olveczky, and Erika Ábrahám. 2011. Formal modeling and analysis of hybrid systems in rewriting logic using higher-order numerical methods and discrete-event detection. In 2011 CSI International Symposium on Computer Science and Software Engineering (CSSE 2011). 1–8.
DOI Details	Xin Chen, Erika Ábrahám, and Goran Frehse. 2011. Efficient bounded reachability computation for rectangular automata. In Reachability problems : 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 ; proceedings (Lecture notes in computer science, Vol. 6945). Springer, Heidelberg, 139–152.
DOI Details	Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, and Erika Ábrahám. 2011. Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. In Formal techniques for distributed systems : joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011 ; ; proceedings (Lecture notes in computer science, Vol. 6722). Springer, Heidelberg, 75–89.
DOI Details	Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, and Bernd Becker. 2011. Hierarchical counterexamples for discrete-time markov chains. In Automated technolgoy for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 ; proceedings (Lecture notes in computer science, Vol. 6996). Springer [u.a.], Berlin ; Heidelberg, 443–452.
DOI Details	Muhammad Fadlisyah, Peter Csaba Ölveczky, and Erika Ábrahám. 2011. Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude. In Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 ; proceedings (Lecture notes in computer science, Vol. 7041). Springer, Heidelberg, 415–430.
DOI Details	Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, and Christian Herde. 2011. Parallel SAT Solving in Bounded Model Checking. Journal of logic and computation 21, 1 (2011), 5–21.
Details	Till Königshofen. 2011. Webbasierte konstruktivistische Lernumgebung für PHP und Datenbanken. Master's thesis. Rheinisch-Westfälische Technische Hochschule Aachen, Aachen, Germany.
Details	Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, and Erika Ábrahám. 2011. SMT-based Counterexample Generation for Markov Chains. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 14. MBMV Workshop : 21. - 23.2.2011 in Oldenburg ; Tagungsband. OFFIS, Oldenburg, 19–28.
2010
Details	Kai Bollue, Michaela Slaats, Erika Ábrahám, Wolfgang Thomas, and Dirk Abel. 2010. Synthesis of Behavioral Controllers for DES: Increasing Efficiency. Technical Report MoM1. IFAC, Berlin.
DOI Details	Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, and Bernd Becker. 2010. DTMC Model Checking by SCC Reduction. In Proceedings. IEEE Computer Society, Los Alamitos, Calif., 37–46.
Details	Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, and Bernd Becker. 2010. Exploiting Different Strategies for the Parallelization of an SMT Solver. In 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 22.-24.2.2010 in Dresden ; Tagungsband. Fraunhofer Verl., Stuttgart, 97–106.
Details	Erika Ábrahám, Philipp Brauner, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, and Ulrik Schroeder. 2010. Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik. In DeLFI 2010 : 8. Tagung der Fachgruppe E-Learning der Gesellschaft für Informatik e.V., 12. - 15. September 2010, Universität Duisburg-Essen ; [im Rahmen der interdisziplinären Fachkonferenz Interaktive Kulturen ] (GI-Edition lecture notes in informatics : P, Proceedings, Vol. 169). Ges. für Informatik, Bonn, 239–251.
Details	Erika Ábrahám, Ulrich Loup, Florian Corzilius, and Thomas Sturm. 2010. SMT-Solving in the Analysis and Synthesis of Hybrid Systems. In Verification over discrete-continuous boundaries : Dagstuhl Seminar 10271, 04.07. - 09.07.2010 (Dagstuhl Seminar Proceedings, Vol. 10271). Schloss Dagstuhl, Leibniz-Zentrum für Informatik, Wadern, 9 pages.
DOI Details	Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, and Peter Csaba Ölveczky. 2010. A Rewriting-Logic-Based Technique for Modeling Thermal Systems. In Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS 2010): Longyearbyen, April 6-9, 2010 (Electronic proceedings in theoretical computer science, Vol. 36). NICTA, Sydney, 82–100.
DOI Details	Daniela Lepri, Peter Csaba Ölveczky, and Erika Ábrahám. 2010. Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications. In Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS 2010): Longyearbyen, April 6-9, 2010 (Electronic proceedings in theoretical computer science, Vol. 36). NICTA, Sydney, 117–136.
DOI Details	Markus Geimer, Felix Gerd Eugen Wolf, Brian J. N. Wylie, Erika Ábrahám, Daniel Becker, and Bernd Mohr. 2010. The Scalasca performance toolset architecture. Concurrency and computation : practice & experience 22.2010, 6 : Special issue (June 2010), 702–719.
DOI Details	Muhammad Fadlisyah, Erika Ábrahám, and Peter Csaba Ölveczky. 2010. Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. Electronic notes in theoretical computer science : ENTCS 274 (Nov. 2010), 17–32.
2009
Details	Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, and Bernd Becker. 2009. Picoso - A Parallel Interval Constraint Solver. In Proceedings of the 2009 International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2009 : [at] WORLDCOMP'09, July 13 - 16, 2009, Las Vegas Nevada, USA. CSREA Press, [s.l.], 473–479.
Details	Erika Ábrahám and Ulrich Loup. 2009. SMT-Solving for the First-Order Theory of the Reals. In Algorithms and Applications for Next Generation SAT Solvers : Dagstuhl Seminar 09461, 08.11. - 13.11.2009 (Dagstuhl Seminar Proceedings, Vol. 09461). Schloss Dagstuhl, Leibniz-Zentrum für Informatik, Wadern, 7 pages.
DOI Details	Erika Ábrahám, Immo Grabe, Andreas Grüner, and Martin Steffen. 2009. Behavioral interface description of an object-oriented language with futures and promises. The journal of logic and algebraic programming 78, 7 (2009), 491–518.
2008
DOI Details	Felix Gerd Eugen Wolf, Brian J. N. Wylie, Erika Ábrahám, Daniel Becker, Wolfgang Frings, Karl Fürlinger, Markus Geimer, Marc-André Hermanns, Bernd Mohr, Shirley Moore, Matthias Pfeifer, and Zoltán Péter Szebenyi. 2008. Usage of the SCALASCA toolset for scalable performance analysis of large-scale parallel applications. In Tools for high performance computing : proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart. Springer, Berlin, 157–167.
DOI Details	Erika Ábrahám, Andreas Grüner, and Martin Steffen. 2008. Heap-abstraction for an object-oriented calculus with thread classes. Software and systems modeling 7, 2 (2008), 177–208.
Details	Erika Ábrahám, Frank S. Boer, Willem-Paul Roever, and Martin Steffen. 2008. A Deductive Proof System for Multithreaded Java with Exceptions. Fundamenta informaticae 82, 4 (Oct. 2008), 391–463.
DOI Details	Erika Ábrahám, Andreas Grüner, and Martin Steffen. 2008. Abstract Interface Behavior of Object-Oriented Languages with Monitors. Theory of computing systems 43, 3/4 (2008), 322–361.
2007
DOI Details	Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, and Christian Herde. 2007. Parallel SAT solving in bounded model checking. In Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers. Lecture notes in computer science, Vol. 4346. Springer, Berlin, 301–315.
DOI Details	Marc Herbstritt, Bernd Becker, Erika Ábrahám, and Christian Herde. 2007. On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. In 2007 IEEE design and diagnostics of electronic circuits and systems : Krakow, Poland, 11 - 13 April 2007. IEEE Service Center, Piscataway, NJ, 391–396.
2006
DOI Details	Erika Ábrahám, Andreas Grüner, and Martin Steffen. 2006. Abstract interface behavior of object-oriented languages with monitors. In Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 International Conference ; proceedigs (Lecture notes in computer science, Vol. 4037). Springer, Berlin, 218–232.
DOI Details	Erika Ábrahám, Andreas Grüner, and Martin Steffen. 2006. Dynamic heap-abstraction for open, object-oriented systems with thread classes. In Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006 ; proceedings (Lecture notes in computer science, Vol. 3988). Springer, Berlin, 1–10.
Details	Erika Ábrahám, Marc Herbstritt, Bernd Becker, and Martin Steffen. 2006. Memory-aware bounded model checking for linear hybrid systems. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 9. ITG/GI/GMM Workshop, 20. - 22. Februar 2006 in Dresden. Fraunhofer-Institut für Integrierte Schaltungen, Außenstelle Entwurfsautomatisierung, Dresden, 153–162.
DOI Details	Erika Ábrahám, Marc Herbstritt, Bernd Becker, and Martin Steffen. 2006. Bounded model checking with parametric data structures. Electronic notes in theoretical computer science : ENTCS 174, 3 (Aug. 2006), 3–16.
2005
DOI Details	Erika Ábrahám, Marcello Bonsangue, Frank S. Boer, and Martin Steffen. 2005. Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. In Theoretical aspects of computing - ICTAC 2004 : first international colloquium, Guiyang, China, September 20 - 24, 2004 ; revised selected papers (Lecture notes in computer science, Vol. 3407). Springer, Berlin, 37–51.
DOI Details	Erika Ábrahám, Frank S. Boer, Willem-Paul Roever, and Martin Steffen. 2005. Inductive Proof Outlines for Exceptions in Multithreaded Java. In Proceedings of the First IPM International Workshop on Foundations of Software Engineering (FSEN 2005) : Tehran, Iran, 01-03 October 2005 (Electronic notes in theoretical computer science, Vol. 159). Elsevier, Amsterdam, 281–297.
DOI Details	Erika Ábrahám, Frank S. Boer, Marcello Bonsangue, Andreas Grüner, and Martin Steffen. 2005. Observability, Connectivity, and Replay in a Sequential Calculus of Classes. In Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004 ; revised lectures (Lecture notes in computer science, Vol. 3657 : Tutorial). Springer-Verlag, Berlin, 296–316.
DOI Details	Frank S. Boer, Marcello Bonsangue, Martin Steffen, and Erika Ábrahám. 2005. A Fully Abstract Trace Semantics for UML Components. In Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004 ; revised lectures (Lecture notes in computer science, Vol. 3657 : Tutorial). Springer-Verlag, Berlin, 49–69.
DOI Details	Erika Ábrahám, Bernd Becker, Felix Klaedtke, and Martin Steffen. 2005. Optimizing Bounded Model Checking for Linear Hybrid Systems. In Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17 - 19, 2005 ; proceedings (Lecture notes in computer science, Vol. 3385). Springer, Berlin, 396–412.
Details	Erika Ábrahám, Andreas Grüner, and Martin Steffen. 2005. Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes. In COSMICAH 2005 : workshop on verification of COncurrent Systems with dynaMIC Allocated Heaps (a satellite event of ICALP 2005) : informal proceedings (Research report / Queen Mary, University of London, Department of Computer Science, Vol. RR-05-04). Queen Mary, University of London, Department of Computer Science, London, 47–61.
DOI Details	Erika Ábrahám, Frank S. Boer, Willem-Paul Roever, and Martin Steffen. 2005. An Assertion-Based Proof System for Multithreaded Java. Theoretical computer science 331, 2/3 (Nov. 2005), 251–290.
Show all