2024 |
[bibtex]
[issue]
|
Sebastian Junges, Erika Ábrahám, Hans Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk. Parameter synthesis for Markov models: covering the parameter space, Formal methods in system design 62 (1/3), pages 181-259, Springer, 2024.
|
[bibtex]
[issue]
|
Leo Mommers. Proving termination of probabilistic recursive programs via SMT-solving, Bachelor Thesis, RWTH Aachen University, 1 Online-Ressource : Illustrationen, RWTH Aachen University, 2024.
|
[bibtex]
[issue]
|
Erika Ábrahám, Jószef Kovács, Anne Remke. SMT: Something You Must Try, 18. International Conference on Integrated Formal Methods (iFM 2023), Volume 14300 of LNCS, 3-18, Springer, 2024.
|
[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, Journal of symbolic computation 123, pages 102288, Elsevier, 2024.
|
2023 |
[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 26 (1), pages 49-78, Springer, 2023.
|
[bibtex]
[issue]
|
László Antal, Hana Masara, Erika Ábrahám. Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions, 5. International Workshop on Formal Methods for Autonomous Systems (FMAS@iFM 2023), Volume 395 of EPTCS, [30]-68, NICTA, 2023.
|
[bibtex]
[issue]
|
Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa. Theoretical Aspects of Computing, 20. International Colloquium ICTAC (ICTAC 2023), Volume 14446 of LNCS, Springer, 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, 238-254, 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, x, 156 Seiten : Illustrationen, 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, 18 Seiten, 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, 18 Seiten, 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, 19 Seiten, 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, 25 Seiten, 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, 68 Seiten : Illustrationen, RWTH Aachen, 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, 17 Seiten, 2023. https://arxiv.org/abs/2306.16757
|
[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]
|
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]
|
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, 44 Seiten, 2022. https://arxiv.org/abs/2212.09309
|
[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.
|
2021 |
[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.
|
[bibtex]
[issue]
|
Gereon Kremer, Erika Ábrahám, Vijay Ganesh. On the proof complexity of MCSAT, 2021. https://arxiv.org/abs/2109.01585
|
[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]
|
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]
|
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]
|
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]
|
Niklas Kotowski. Accelerating symbolic simulation to analyze the effect of delays in train timetables, Master Thesis, RWTH Aachen University, 70 S., 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]
|
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]
|
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer. 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, pages 100633, Elsevier Science, 2021.
|
[bibtex]
[issue]
|
Anton Pirogov. Determinization and ambiguity of classical and probabilistic Büchi automata, PhD Thesis, RWTH Aachen University, 1 Online-Ressource : Illustrationen, Diagramme, RWTH Aachen University, 2021.
|
2020 |
[bibtex]
[issue]
|
Erika Ábrahám, James Davenport, Matthew England, Gereon Kremer, Zak Tonks. New Opportunities for the Formal Proof of Computational Real Geometry?, 14 Seiten, 2020. https://arxiv.org/abs/2004.04034
|
[bibtex]
[issue]
|
Erika Ábrahám, James Davenport, Matthew England, Gereon Kremer, Zak Tonks. New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract), Volume 2752 of CEUR Workshop Proceedings, 178-188, RWTH Aachen, 2020.
|
[bibtex]
[issue]
|
Carina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám. A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata, 12. NASA Formal Methods Symposium (NFM 2020), Volume 12229 of LNCS, 381-400, Springer, 2020.
|
[bibtex]
[issue]
|
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe. Probabilistic Hyperproperties with Nondeterminism, International Symposium on Automated Technology for Verification and Analysis (ATVA 2020), Volume 12302 of LNCS, 518-534, Springer, 2020.
|
[bibtex]
[issue]
|
Jasper Kurt Ferdinand Nalbach. A novel adaption of the Simplex algorithm for linear real arithmetic, Master Thesis, RWTH Aachen University, 1 Online-Ressource : Illustrationen, 2020.
|
[bibtex]
[issue]
|
Bram Kohlen. Parameter synthesis in probabilistic timed automata, Master Thesis, RWTH Aachen University, 91 Seiten, 2020.
|
[bibtex]
[issue]
|
Rebecca Haehn, Erika Ábrahám, Nils Nießen. Probabilistic Simulation of a Railway Timetable, 20. Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2020), Volume 85 of OpenAccess Series in Informatics (OASIcs), 16:1-16:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
|
[bibtex]
[issue]
|
Francesco Leofante. Optimal planning modulo theories, PhD Thesis, RWTH Aachen University, 1 Online-Ressource (96 Seiten) : Illustrationen, Diagramme, 2020.
|
[bibtex]
[issue]
|
Gereon Kremer. Cylindrical algebraic decomposition for nonlinear arithmetic problems, PhD Thesis, RWTH Aachen University, Volume 2020-04 of Aachener Informatik-Berichte, 1 Online-Ressource (204 Seiten) : Illustrationen, Diagramme, 2020.
|
[bibtex]
[issue]
|
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe. Parameter Synthesis for Probabilistic Hyperproperties, 23. International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2020), Volume 73 of EPiC Series in Computing, 12-31, 2020.
|
[bibtex]
[issue]
|
Rebecca Haehn, Erika Ábrahám, Nils Nießen. Freight Train Scheduling in Railway Systems, 20. International Conference on Measurement, Modelling and Evaluation of Computing Systems (MMB 2020), Volume 12040 of LNCS, 225-241, Springer, 2020.
|
[bibtex]
[issue]
|
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer. Deciding the Consistency of Non-Linear Real Arithmetic Constraints with a Conflict Driven Search Using Cylindrical Algebraic Coverings, 41 Seiten, Elsevier Science, 2020. https://arxiv.org/abs/2003.05633
|
2019 |
[bibtex]
[issue]
|
Gereon Kremer, Erika Ábrahám. Fully Incremental Cylindrical Algebraic Decomposition, Journal of symbolic computation 100, pages 11-37, Elsevier, 2019.
|
[bibtex]
[issue]
|
Francesco Leofante, Stefan Schupp, Erika Ábrahám, Armando Tacchella. Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems, 33. International ECMS Conference on Modelling and Simulation (ECMS 2019), 7 Seiten, European Council for Modelling and Simulation, 2019.
|
[bibtex]
[issue]
|
Jasper Kurt Ferdinand Nalbach, Gereon Kremer, Erika Ábrahám. On Variable Orderings in MCSAT for Non-linear Real Arithmetic: (extended abstract), 4. Workshop on Satisfiability Checking and Symbolic Computation (SC-square), Volume 2460 of CEUR Workshop Proceedings, 7 Seiten, RWTH Aachen, 2019.
|
[bibtex]
[issue]
|
Gereon Kremer, Erika Ábrahám, Vijay Ganesh. On the Proof Complexity of MCSAT, 4. Workshop on Satisfiability Checking and Symbolic Computation (SC-square), Volume 2460 of CEUR Workshop Proceedings, 10 Seiten, RWTH Aachen, 2019.
|
[bibtex]
[issue]
|
Stefan Schupp. State set representations and their usage in the reachability analysis of hybrid systems, PhD Thesis, RWTH Aachen University, 1 Online-Ressource (217 Seiten) : Illustrationen, Diagramme, 2019.
|
[bibtex]
[issue]
|
Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow. Multiple Analyses, Requirements Once: Simplifying Testing and Verification in Automotive Model-Based Development, 24. International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), Volume 11687 of LNCS, 59-75, Springer, 2019.
|
2018 |
[bibtex]
[issue]
|
Erika Ábrahám (ed), Silvia Lizeth Taipa Tarifa (ed). Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18), Volume 483 of Research report / University of Oslo, 2018.
|
[bibtex]
[issue]
|
Francesco Leofante, Erika Ábrahám, Tim Dieter Niemüller, Gerhard Lakemeyer, Armando Tacchella. Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics, Information systems frontiers 21 (1), pages 87-107, Kluwer, 2018.
|
[bibtex]
[issue]
|
Ulrich Loup. On solving real-algebraic formulas in a satisfiability-modulo-theories framework, PhD Thesis, RWTH Aachen University, 1 Online-Ressource (ii, 222 Seiten) : Illustrationen, Diagramme, 2018.
|
[bibtex]
[issue]
|
Niloofar Safiran. Differentiation of numerical simulations with embedded nonlinear systems and integrals, PhD Thesis, RWTH Aachen University, 1 Online-Ressource (iv, 163 Seiten) : Illustrationen, 2018.
|
[bibtex]
[issue]
|
Stefan Schupp, Erika Ábrahám. The HyDRA Tool: A Playground for the Development of Hybrid Systems Reachability Analysis Methods, PhD Symposium at iFM’18 on Formal Methods (PhD-iFM’18), Volume 483 of Research report, 2 Seiten, Oslo University, 2018.
|
[bibtex]
[issue]
|
Erika Ábrahám. Symbolic Computation Techniques in SMT Solving: Mathematical Beauty Meets Efficient Heuristics, Volume 10900 of LNCS, XII-XII, Springer, 2018.
|
[bibtex]
[issue]
|
Erika Ábrahám (ed), Elisabetta Di Nitto (ed), Raffaela Mirandola (ed). 2018 ACM/IEEE 1st International Workshop on Gender Equality in Software Engineering: GE 2018, IEEE, 2018.
|
[bibtex]
[issue]
|
Rebecca Haehn, Gereon Kremer, Erika Ábrahám. Evaluation of Equational Constraints for CAD in SMT Solving, 3. Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference (SC-Square 2018), Volume 2189 of CEUR Workshop Proceedings, [19]-32, RWTH Aachen, 2018.
|
[bibtex]
[issue]
|
Erika Ábrahám, Borzoo Bonakdarpour. HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties, 15. International Conference on Quantitative Evaluation of Systems (QEST 2018), Volume 11024, Theoretical Computer Science and General Issues of LNCS, Springer, 2018.
|
[bibtex]
[issue]
|
Francesco Leofante, Erika Ábrahám, Armando Tacchella. Task Planning with OMT: An Application to Production Logistics, 14. International Conference on Integrated Formal Methods (IFM 2018), Volume 11023, Programming and Software Engineering of LNCS, 316-325, Springer, 2018.
|
[bibtex]
[issue]
|
Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen. Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations, 22. International Symposium on Formal Methods (FM 2018), Volume 10951 of LNCS, Springer, 2018.
|
[bibtex]
[issue]
|
Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow. Verifying Auto-generated C Code from Simulink: An Experience Report in the Automotive Domain, 22. International Symposium on Formal Methods (FM 2018), Volume 10951 of LNCS, Springer, 2018.
|
[bibtex]
[issue]
|
Stefan Schupp, Erika Ábrahám. Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis, 24. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), Volume 10806, Part 2 of LNCS, 287-302, Springer, 2018.
|
[bibtex]
[issue]
|
Stefan Schupp, Erika Ábrahám. Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems, 16. International Conference on Software Engineering and Formal Methods (SEFM 2018), Volume 10886 of LNCS, 89-104, Springer, 2018.
|
[bibtex]
[issue]
|
Gereon Kremer, Erika Ábrahám. Modular strategic SMT solving with SMT-RAT, Acta Universitatis Sapientiae / Informatica 10 (1), pages 5-25, De Gruyter Open, 2018.
|
[bibtex]
[issue]
|
Stefan Schupp, Justin Winkens, Erika Ábrahám. Context-Dependent Reachability Analysis for Hybrid Systems, IEEE 19. International Conference on Information Reuse and Integration for Data Science (IRI 2018), 518-525, IEEE, 2018.
|
2017 |
[bibtex]
[issue]
|
Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám. Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro, 11. EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2017), ICPS: ACM international conference proceeding series, 178-185, ACM, 2017.
|
[bibtex]
[issue]
|
Tim Dieter Niemüller, Gerhard Lakemeyer, Francesco Leofante, Erika Ábrahám. Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization, 5. Workshop on Planning and Robotics at ICAPS (PLANROB 2017), 2017.
|
[bibtex]
[issue]
|
Erika Ábrahám, Gereon Kremer. SMT Solving for Arithmetic Theories: Theory and Tool Support, 19. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017), 1-8, IEEE, 2017.
|
[bibtex]
[issue]
|
Erika Ábrahám (ed), Sergiy Bogomolov (ed). Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 1 Online-Ressource : Illustrationen, [Open Publishing Association], 2017. https://arxiv.org/abs/1704.02421
|
[bibtex]
[issue]
|
Erika Ábrahám, Sergiy Bogomolov. Preface, 3. International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), Volume 247 of EPTCS, [Open Publishing Association], 2017.
|
[bibtex]
[issue]
|
Tim Dieter Niemüller, Gerhard Lakemeyer, Francesco Leofante, Erika Ábrahám. Towards CLIPS-based Task Execution and Monitoring with SMT-based Decision Optimization, 5. Workshop on Planning and Robotics (PlanRob 2017), 60-67, 2017.
|
[bibtex]
[issue]
|
Armando Tacchella. Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071), Dagstuhl Reports 7 (2), pages 48-63, Schloss Dagstuhl, 2017.
|
[bibtex]
[issue]
|
Erika Ábrahám (ed), Sergiy Bogomolov (ed). Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, Volume 247 of EPTCS, 1 Online-Ressource : Illustrationen, [Open Publishing Association], 2017.
|
[bibtex]
[issue]
|
Francesco Leofante, Erika Ábrahám, Tim Dieter Niemüller, Gerhard Lakemeyer, Armando Tacchella. On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories, 2017 IEEE International Conference on Information Reuse and Integration (IRI) (IRI 2017), 403-410, IEEE, 2017.
|
[bibtex]
[issue]
|
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, Werner M. Seiler. SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces, 1. International Workshop on Automated Reasoning: Challenges, Applications, Directions (ARCADE 2017), Volume 51 of EPiC Series in Computing, 6-10, EasyChair, 2017.
|
[bibtex]
[issue]
|
Erika Ábrahám (ed), James H. Davenport (ed), Pascal Fontaine (ed). Bridging two communities to solve real problems: SC2 2016, Volume 1804 of CEUR workshop proceedings, 1 Online-Ressource : Illustrationen, RWTH Aachen, 2017.
|
[bibtex]
[issue]
|
Tarik Viehmann, Gereon Kremer, Erika Ábrahám. Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving, 2. International Workshop on Satisfiability Checking and Symbolic Computation (SC2), Volume 1974 of CEUR Workshop Proceedings, 15 Seiten, RWTH Aachen, 2017.
|
[bibtex]
[issue]
|
Erika Ábrahám, Jasper Kurt Ferdinand Nalbach, Gereon Kremer. Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework, 2. International Workshop on Satisfiability Checking and Symbolic Computation (SC2), Volume 1974 of CEUR Workshop Proceedings, 12 Seiten, RWTH Aachen, 2017.
|
[bibtex]
[issue]
|
Erika Ábrahám. Techniques and Tools for Hybrid Systems Reachability Analysis, 10. International Workshop on Numerical Software Verification (NSV 2017), Volume 10381 of LNCS, XVI-XVII, Springer, 2017.
|
[bibtex]
[issue]
|
Christian Meirich. Berechnung und Bewertung der Gesamtleistungsfähigkeit von Eisenbahnnetzen, PhD Thesis, Rheinisch-Westfälische Technische Hochschule Aachen, 1 Online-Ressource (221 Seiten) : Illustrationen, Diagramme, 2017.
|
[bibtex]
[issue]
|
Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski. HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis, NASA Formal Methods (NFM) Symposium (NFM 2017), Volume 10227 of LNCS, 288-294, Springer, 2017.
|
[bibtex]
[issue]
|
Stefan Schupp, Johanna Nellen, Erika Ábrahám. Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis, 15. Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2017), Volume 250 of EPTCS, 1-14, [Open Publishing Association], 2017.
|
[bibtex]
[issue]
|
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, M. England. Satisfiability checking and symbolic computation, ACM Communications in computer algebra 50 (4), pages 145-147, ACM, 2017.
|
2016 |
[bibtex]
[issue]
|
Gereon Kremer, Florian Corzilius, Erika Ábrahám. A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic, International Workshop on Computer Algebra in Scientific Computing (CASC16), Volume 9890 of LNCS, 315-335, Springer, 2016.
|
[bibtex]
[issue]
|
Florian Corzilius. Integrating virtual substitution into strategic SMT solving, PhD Thesis, RWTH Aachen University, 1 Online-Ressource (IX, 186 Seiten) : Illustrationen, Diagramme, 2016.
|
[bibtex]
[issue]
|
Johanna Nellen. Analysis and synthesis of hybrid systems in engineering applications, PhD Thesis, RWTH Aachen University, 1 Online-Ressource (xxvi, 168 Seiten) : Illustrationen, Diagramme, 2016.
|
[bibtex]
[issue]
|
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, M. England. Satisfiability checking and symbolic computation, 3 Seiten : Illustrationen, 2016. https://arxiv.org/abs/1607.06945
|
[bibtex]
[issue]
|
Erika Ábrahám. Symbolic Computation Techniques in Satisfiability Checking, 18. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 3-10, IEEE, 2016.
|
[bibtex]
[issue]
|
Erika Ábrahám, Pascal Fontaine, Thomas Sturm, Dongming Wang. Symbolic Computation and Satisfiability Checking: Report of Dagstuhl Seminar 15471, Dagstuhl reports 5 (11), pages 71-89, Schloss Dagstuhl, 2016.
|
[bibtex]
[issue]
|
Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám. Parameter synthesis for probabilistic systems, 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2016), 72-74, Albert-Ludwigs-Universität, 2016.
|
[bibtex]
[issue]
|
Erika Ábrahám (ed), Marieke Huisman (ed). Integrated formal methods, Volume 9681 of LNCS, XIV, 538 Seiten : Illustrationen, Diagramme, Springer, 2016.
|
[bibtex]
[issue]
|
Erika Ábrahám (ed), Sergiy Bogomolov (ed). Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), IEEE, 2016.
|
[bibtex]
[issue]
|
Erika Ábrahám, Gereon Kremer. Satisfiability Checking: Theory and Applications, Software Engineering and Formal Methods : 14. International Conference (SEFM 2016), Volume 9763 of LNCS, 9-23, Springer, 2016.
|
[bibtex]
[issue]
|
Pascal Richter, David Laukamp, Levin Gerdes, Martin Frank, Erika Ábrahám. Heliostat Field Layout Optimization with Evolutionary Algorithms, 2. GlobalConference on Artifcial Intelligence (GCAI 2016), Volume 41 of EPiC Series in Computing, 240-252, [Cool Press Ltd], 2016.
|
[bibtex]
[issue]
|
Erika Ábrahám (ed), Marcello Bonsangue (ed), Einar Broch Johnsen (ed). Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday, Volume 9660 of LNCS, XII, 427 Seiten : Illustrationen, Springer, 2016.
|
[bibtex]
[issue]
|
Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, Nils Jansen. Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots, 7. International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Volume 9952 of LNCS, 496-514, Springer, 2016.
|
[bibtex]
[issue]
|
Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, Jacopo Mauro. Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies, International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016), Volume 9984 of LNCS, 229-245, Springer, 2016.
|
[bibtex]
[issue]
|
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, Thomas Sturm. SC2: Satisfiability Checking Meets Symbolic Computation, 9. International Conference on Intelligent Computer Mathematics (CICM 2016), Volume 9791 of LNCS, 28-43, Springer, 2016.
|
[bibtex]
[issue]
|
Erika Ábrahám, Klaus Havelund. Some recent advances in automated analysis, International journal on software tools for technology transfer 18 (2), pages 121-128, Springer, 2016.
|
[bibtex]
[issue]
|
Johanna Nellen, Kai Driessen, Martin Neuhäußer, Erika Ábrahám, Benedikt Wolters. Two CEGAR-based approaches for the safety verification of PLC-controlled plants, Information systems frontiers 18 (5), pages 927-952, Springer, 2016.
|
[bibtex]
[issue]
|
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám. Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis, IMA journal of mathematical control and information 33 (3), pages 723-756, Univ. Press, 2016.
|
[bibtex]
[issue]
|
Pascal Richter, Martin Frank, Erika Ábrahám. Multi-objective optimization of solar tower power plants, 18. European Conference on Mathematics for Industry (ECMI'14), Mathematics in industry, Springer, 2016.
|
2015 |
[bibtex]
[issue]
|
Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Stephan Michael Netz, Benedikt Wolters, Dirk Abel, Erika Ábrahám, Walter Unger. Learning-based Control Strategies for Hybrid Electric Vehicles, 2015 IEEE Conference on Control Applications (CCA), 1722-1728, IEEE, 2015.
|
[bibtex]
[issue]
|
Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit. Preparing HPC Applications for Exascale: Challenges and Recommendations, 18. International Conference on Network-Based Information Systems (NBiS 2015), 401-406, IEEE, 2015.
|
[bibtex]
[issue]
|
Sascha Geulen, Martina Joševski, Johanna Nellen, Janosch Fuchs, Lukas Stephan Michael Netz, Benedikt Wolters, Erika Ábrahám, Walter Unger, Dirk Abel. Online Lernen als Kontrollstrategie in Hybridfahrzeugen, AUTOREG 2015 - Auf dem Weg zum automatisierten Fahren, 7. Fachtagung (AUTOREG 2015), Volume 2233 of VDI-Berichte, 101-112, VDI-Verl., 2015.
|
[bibtex]
[issue]
|
Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit. Challenges and Recommendations for Preparing HPC Applications for Exascale, 6 Seiten, 2015. https://arxiv.org/abs/1503.06974
|
[bibtex]
[issue]
|
Johanna Nellen, Benedikt Wolters, Lukas Stephan Michael Netz, Sascha Geulen, Erika Ábrahám, Martina Joševski, Dirk Abel. A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs, 1. Global Conference on Artificial Intelligence (GCAI'15), Volume 36 of EPiC series in computing, 196-214, EasyChair, 2015.
|
[bibtex]
[issue]
|
Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám. Flow* 1.2: More Effective to Play with Hybrid Systems, 1. and 2nd Int. Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH'15), Volume 34 of EPiC Series in Computer Science, 152-159, EasyChair, 2015.
|
[bibtex]
[issue]
|
Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski. Current Challenges in the Verification of Hybrid Systems, 5. Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy 2015), Volume 9361 of LNCS, 8-24, Springer, 2015.
|
[bibtex]
[issue]
|
Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám. PROPhESY: A PRObabilistic ParamEter SYnthesis Tool, International Conference on Computer Aided Verification (CAV'15), Volume 9206 of LNCS, 214-231, Springer, 2015.
|
[bibtex]
[issue]
|
Johanna Nellen, Erika Ábrahám, Benedikt Wolters. A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata, Volume 346 of Advances in Intelligent Systems and Computing, 55-78, Springer, 2015.
|
[bibtex]
[issue]
|
Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, Joost-Pieter Katoen. A Greedy Approach for the Efficient Repair of Stochastic Models, 7. NASA Formal Methods Symposium (NFM'15), Volume 9058 of LNCS, 295-309, Springer, 2015.
|
[bibtex]
[issue]
|
Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám. SMT-RAT: an Open Source C++ Toolbox for Strategic and Parallel SMT Solving, International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), Volume 9340 of LNCS, 360-368, Springer, 2015.
|
[bibtex]
[issue]
|
Erika Ábrahám. Building Bridges between Symbolic Computation and Satisfiability Checking, 14. International Symposium on Symbolic and Algebraic Computation (ISSAC'15), 6 S., ACM Press, 2015.
|
[bibtex]
[issue]
|
Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski. A Benchmark Suite for Hybrid Systems Reachability Analysis, 7. International Symposium Formal Methods (NFM 2015), Volume 9058 of LNCS, 408-414, Springer, 2015.
|
[bibtex]
[issue]
|
Tim Quatmann, Nils Jansen, Hans Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Counterexamples for Expected Rewards, 20. international symposium Formal Methods (FM 2015), Volume 9109 of LNCS, 435-452, Springer, 2015.
|
[bibtex]
[issue]
|
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen. High-level Counterexamples for Probabilistic Automata, Logical methods in computer science 11 (1), pages 15, Department of Theoretical Computer Science, Technical University of Braunschweig, 2015.
|
[bibtex]
[issue]
|
Nils Jansen. Counterexamples in probabilistic verification, PhD Thesis, Aachen, Techn. Hochsch., XI, 224 S.S. . graph. Darst., Publikationsserver der RWTH Aachen University, 2015.
|
[bibtex]
[issue]
|
Xin Chen. Reachability analysis of non-linear hybrid systems using Taylor Models, PhD Thesis, RWTH Aachen University, Volume 2015, 09 of Aachener Informatik Berichte, 166 S. : graph. Darst., Publikationsserver der RWTH Aachen University, 2015.
|
2014 |
[bibtex]
[issue]
|
Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen. Observable Interface Behaviour and Inheritance, Mathematical structures in computer science 26 (Special Issue 03), pages 561-605, Cambridge Univ. Press, 2014.
|
[bibtex]
[issue]
|
Erika Ábrahám (ed), Klaus Havelund (ed). Tools and Algorithms for the Construction and Analysis of Systems, Volume 8413 of LNCS, XVIII, 652 S. : graph. Darst., Springer, 2014.
|
[bibtex]
[issue]
|
Erika Ábrahám (ed), Alberto Avritzer (ed), Anne Remke (ed), William H. Sanders (ed). Randomized Timed and Hybrid Models for Critical Infrastructures, Dagstuhl Reports 4 (1), pages 37-82, Schloss Dagstuhl, 2014.
|
[bibtex]
[issue]
|
Johanna Nellen, Erika Ábrahám, Xin Chen, Pieter Collins. Counterexample Generation for Hybrid Automata, 2. International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13), Volume 419 of Communications in Computer and Information Science, 88-106, Springer, 2014.
|
[bibtex]
[issue]
|
Johanna Nellen, Erika Ábrahám. A CEGAR Approach for the Reachability Analysis of PLC-controlled Chemical Plants, 2014 IEEE International Conference on Information Reuse and Integration (IRI'14), 500-507, IEEE, 2014.
|
[bibtex]
[issue]
|
Erika Ábrahám (ed), Catuscia Palamidessi (ed). Formal techniques for distributed objects, components, and systems, Volume 8461 of LNCS, XII, 299 S., Springer, 2014.
|
[bibtex]
[issue]
|
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification, 11. International Conference on Quantitative Evaluation of Systems (QEST 2014), Volume 8657 of LNCS, 404-420, Springer, 2014.
|
[bibtex]
[issue]
|
Hans Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen. Fast Debugging of PRISM Models, Automated technology for verification and analysis : 12th international symposium (ATVA 2014), Volume 8837 of LNCS, 146-162, Springer, 2014.
|
[bibtex]
[issue]
|
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal counterexamples for linear-time probabilistic verification, Theoretical computer science 549, pages 61-100, Elsevier, 2014.
|
[bibtex]
[issue]
|
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám. Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?, Science of computer programming, Elsevier, 2014.
|
[bibtex]
[issue]
|
Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster. Symbolic counterexample generation for large discrete-time Markov chains, Science of computer programming 91 (Part A), pages 90-114, Elsevier, 2014.
|
[bibtex]
[issue]
|
Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky. Sound and Complete Timed CTL Model Checking of Timed Kripke Structures and Real-Time Rewrite Theories, Science of computer programming 99, pages 128-192, Elsevier, 2014.
|
[bibtex]
[issue]
|
Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám. Under-approximate Flowpipes for Non-linear Continuous Systems, 2014 Formale Methoden im Computer Aided Design (FMCAD 2014), ACM Other conferences, 59-66, IEEE, 2014.
|
[bibtex]
[issue]
|
Ralf Wimmer, Erika Ábrahám. Maybe or Maybe not: Contributions to Stochastic Verification, Aspekte der Technischen Informatik : Festschrift zum 60. Geburtstag von Bernd Becker, 119-127, Monsenstein und Vannerdat, 2014.
|
[bibtex]
[issue]
|
Erika Ábrahám, Bernd Becker, Hans Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer. Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey, Formal methods for executable software models (SFM 2014), Volume 8483 of LNCS, 65-121, Springer, 2014.
|
2013 |
[bibtex]
[issue]
|
Yan Zhang, Xin Chen, Sriram Sankaranarayanan, Fabio Somenzi, Erika Ábrahám. From Statistical Model Checking to Statistical Model Inference: Characterizing the Effect of Process Variations in Analog Circuits, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2013), 662-669, IEEE, 2013.
|
[bibtex]
[issue]
|
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Accelerating Parametric Probabilistic Verification, 21 Seiten, 2013. https://arxiv.org/abs/1312.3979
|
[bibtex]
[issue]
|
Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers, Volume 2013,08 of Aachener Informatik-Berichte : AIB, 3-21, Shaker [u.a.], 2013.
|
[bibtex]
[issue]
|
Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers, Algebraic informatics : 5. international conference (CAI 2013), Volume 8080 of LNCS, 186-198, Springer, 2013.
|
[bibtex]
[issue]
|
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. High-level Counterexamples for Probabilistic Automata, Quantitative evaluation of systems : 10. international conference (QEST 2013), Volume 8054 of LNCS, 39-54, Springer, 2013.
|
[bibtex]
[issue]
|
Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám. Lyapunov Function Synthesis using Handelman Representations, 9. IFAC Symposium on Nonlinear Control Systems 2013, Volume 9,1 of Nonlinear Control Systems, 576-581, Elsevier, 2013.
|
[bibtex]
[issue]
|
Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám. Stochastic Bounded Model Checking: Bounded Rewards and Compositionality, MBMV 2013, 243-254, Univ., ITMZ, 2013.
|
[bibtex]
[issue]
|
Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan. Flow*: An Analyzer for Non-Linear Hybrid Systems, Computer aided verification : 25. International conference (CAV), Volume 8044 of LNCS, 258-263, Springer, 2013.
|
[bibtex]
[issue]
|
Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky. A Timed CTL Model Checker for Real-Time Maude, Algebra and Coalgebra in Computer Science : 5. International Conference (CALCO 2013), Volume 8089 of LNCS, 334-339, Springer, 2013.
|
[bibtex]
[issue]
|
Yan Zhang, Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám. Empirical Flowpipe Constructions for Analog Circuits, Workshop on Frontiers in Analog CAD (FAC'13), 2013.
|
[bibtex]
[issue]
|
Ulrich Loup, Karsten Scheibler, Florian Corzilius, Erika Ábrahám, Bernd Becker. A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition, Automated Deduction, Volume 7898 of LNCS, 193-207, Springer, 2013.
|
[bibtex]
[issue]
|
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. High-level Counterexamples for Probabilistic Automata, Cornell University, 2013. https://arxiv.org/abs/1305.5055
|
2012 |
[bibtex]
[issue]
|
Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky. Timed CTL Model Checking in Real-Time Maude, Rewriting logic and its applications : 9. international workshop (ETAPS), Volume 7571 of LNCS, 182-200, Springer, 2012.
|
[bibtex]
[issue]
|
Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. The COMICS Tool: Computing Minimal Counterexamples for DTMCs, Automated technology for verification and analysis : 10. international symposium (ATVA), Volume 7561 of LNCS, 349-353, Springer, 2012.
|
[bibtex]
[issue]
|
Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan. Taylor Model Over-approximations for Flowpipe: Guard Intersections, 5. International Workshop on Numerical Software Verification (NSV'12), 2012.
|
[bibtex]
[issue]
|
Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker. Symbolic Counterexample Generation for Discrete-time Markov Chains, Formal aspects of component software: 9. international symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 ; revised selected papers / Corina S. Păsăreanu ... (eds.) (FACS 2012), Springer eBook collection : Computer science, 134-151, Springer, 2012.
|
[bibtex]
[issue]
|
Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan. Taylor Model Flowpipe Construction for Non-linear Hybrid Systems, IEEE Real-Time Systems Symposium (RTSS'12), Volume 2012 of Real-Time Systems Symposium-Proceedings, 183-192, IEEE Computer Soc., 2012.
|
[bibtex]
[issue]
|
Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám. SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox, 15. international conference: Theory and applications of satisfiability testing (SAT 2012), Volume 7317 of LNCS, 442-448, Springer, 2012.
|
[bibtex]
[issue]
|
Johanna Nellen, Erika Ábrahám. Hybrid Sequential Function Charts, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2012), Volume 68 of Schriftenreihe Forschungsergebnisse zur Informatik, 109-120, Kovač, 2012.
|
[bibtex]
[issue]
|
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám. Some Like It Very Hot: Formal Modeling and Analysis of Extreme Heat Exposure to the Human Body in HI-Maude, Rewriting logic and its applications (WRLA 2012), Volume 7571 of LNCS, 139-161, Springer, 2012.
|
[bibtex]
[issue]
|
Xin Chen, Erika Ábrahám. Choice of Directions for the Approximation of Reachable Sets for Hybrid Systems, Computer aided systems theory (EUROCAST 2011), Volume 6927 of LNCS, 535-542, Springer, 2012.
|
[bibtex]
[issue]
|
Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. The COMICS Tool: Computing Minimal Counterexamples for Discrete-time Markov Chains, Cornell Univ., 2012. https://arxiv.org/abs/1206.0603v1
|
[bibtex]
[issue]
|
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal Critical Subsystems as Counterexamples for ω-Regular DTMC Properties, 15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2012), Volume 68 of Schriftenreihe Forschungsergebnisse zur Informatik, 169-180, Kovač, 2012.
|
[bibtex]
[issue]
|
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker. Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes, Volume 88 of Reports of SFB/TR 14 AVACS, 2012.
|
[bibtex]
[issue]
|
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen. Minimal Critical Subsystems for Discrete-Time Markov Models, Tools and algorithms for the construction and analysis of systems : 18. international conference (TACAS 2012), Volume 7214 of LNCS, 299-314, Springer, 2012.
|
2011 |
[bibtex]
[issue]
|
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám. SMT-based Counterexample Generation for Markov Chains, Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'11), 19-28, OFFIS, 2011.
|
[bibtex]
[issue]
|
Till Königshofen. Webbasierte konstruktivistische Lernumgebung für PHP und Datenbanken, Diploma Thesis, Rheinisch-Westfälische Technische Hochschule Aachen, 159 S. : graph. Darst., 2011.
|
[bibtex]
[issue]
|
Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde. Parallel SAT Solving in Bounded Model Checking, Journal of logic and computation 21 (1), pages 5-21, Oxford Univ. Pr., 2011.
|
[bibtex]
[issue]
|
Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám. Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude, Software engineering and formal methods : 9. international conference (SEFM 2011), Volume 7041 of LNCS, 415-430, Springer, 2011.
|
[bibtex]
[issue]
|
Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. Hierarchical counterexamples for discrete-time markov chains, Automated technolgoy for verification and analysis : 9. international symposium (ATVA 2011), Volume 6996 of LNCS, 443-452, Springer, 2011.
|
[bibtex]
[issue]
|
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám. Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking, 13. IFIP WG 6.1 international conference (FORTE 2011), Volume 6722 of LNCS, 75-89, Springer, 2011.
|
[bibtex]
[issue]
|
Xin Chen, Erika Ábrahám, Goran Frehse. Efficient bounded reachability computation for rectangular automata, Reachability problems : 5. international workshop (RP 2011), Volume 6945 of LNCS, 139-152, Springer, 2011.
|
[bibtex]
[issue]
|
Muhammad Fadlisyah, P. C. Olveczky, Erika Ábrahám. Formal modeling and analysis of hybrid systems in rewriting logic using higher-order numerical methods and discrete-event detection, 2011 CSI International Symposium on Computer Science and Software Engineering (CSSE 2011), 1-8, 2011.
|
[bibtex]
[issue]
|
Pascal Richter, Erika Ábrahám, Gabriel Morin. Optimisation of Concentrating Solar Thermal Power Plants with Neural Networks, 10. international conference (ICANNGA 2011), Volume 6593 of LNCS, 190-199, Springer, 2011.
|
[bibtex]
[issue]
|
Ulrich Loup, Erika Ábrahám. GiNaCRA: A C++ Library for Real Algebraic Computations, 3. International Symposium NASA Formal Methods (NFM 2011), Volume 6617 of LNCS, 512-517, Springer, 2011.
|
[bibtex]
[issue]
|
Florian Corzilius, Erika Ábrahám. Virtual Substitution for SMT-Solving, Fundamentals of computation theory:18th international symposium, FCT 2011 (FCT 2011), Volume 6914 of LNCS, 360-371, Springer, 2011.
|
[bibtex]
[issue]
|
Ulrich Loup, Erika Ábrahám. I-RiSC: an SMT-Compliant Solver for the Existential Fragment of Real Algebra, 4. international conference: Algebraic informatics (CAI 2011), Volume 6742 of LNCS, 230-246, Springer, 2011.
|
2010 |
[bibtex]
[issue]
|
Muhammad Fadlisyah, Erika Ábrahám, Peter Csaba Ölveczky. Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems, Electronic notes in theoretical computer science 274, pages 17-32, Elsevier Science, 2010.
|
[bibtex]
[issue]
|
Markus Geimer, Felix Gerd Eugen Wolf, Brian J. N. Wylie, Erika Ábrahám, Daniel Becker, Bernd Mohr. The Scalasca performance toolset architecture, Concurrency and computation 22.2010 (6 : Special issue), pages 702-719, Wiley, 2010.
|
[bibtex]
[issue]
|
Daniela Lepri, Peter Csaba Ölveczky, Erika Ábrahám. Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications, 1. International Workshop on Rewriting Techniques for Real-Time Systems, Volume 36 of EPTCS, 117-136, NICTA, 2010.
|
[bibtex]
[issue]
|
Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri, Peter Csaba Ölveczky. A Rewriting-Logic-Based Technique for Modeling Thermal Systems, 1. International Workshop on Rewriting Techniques for Real-Time Systems, Volume 36 of EPTCS, 82-100, NICTA, 2010.
|
[bibtex]
[issue]
|
Erika Ábrahám, Ulrich Loup, Florian Corzilius, Thomas Sturm. SMT-Solving in the Analysis and Synthesis of Hybrid Systems, Verification over discrete-continuous boundaries, Volume 10271 of Dagstuhl Seminar Proceedings, 9 S., Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2010.
|
[bibtex]
[issue]
|
Erika Ábrahám, Philipp Brauner, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Ulrik Schroeder. Podcastproduktion als kollaborativer Zugang zur theoretischen Informatik, 8. Tagung der Fachgruppe E-Learning der Gesellschaft für Informatik e.V, Volume 169 of GI-Edition lecture notes in informatics : P, Proceedings, 239-251, Ges. für Informatik, 2010.
|
[bibtex]
[issue]
|
Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker. Exploiting Different Strategies for the Parallelization of an SMT Solver, 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 97-106, Fraunhofer Verl., 2010.
|
[bibtex]
[issue]
|
Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker. DTMC Model Checking by SCC Reduction, 7. International Conference on the Quantitative Evaluation of Systems (QEST 2010), 37-46, IEEE Computer Society, 2010.
|
[bibtex]
[issue]
|
Kai Bollue, Michaela Slaats, Erika Ábrahám, Wolfgang Thomas, Dirk Abel. Synthesis of Behavioral Controllers for DES: Increasing Efficiency, 30-37, IFAC, 2010.
|
2009 |
[bibtex]
[issue]
|
Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen. Behavioral interface description of an object-oriented language with futures and promises, The journal of logic and algebraic programming 78 (7), pages 491-518, North-Holland, 2009.
|
[bibtex]
[issue]
|
Erika Ábrahám, Ulrich Loup. SMT-Solving for the First-Order Theory of the Reals, Algorithms and Applications for Next Generation SAT Solvers : Dagstuhl Seminar 09461, Volume 09461 of Dagstuhl Seminar Proceedings, 7 S., Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2009.
|
[bibtex]
[issue]
|
Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker. Picoso - A Parallel Interval Constraint Solver, International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2009), 473-479, CSREA Press, 2009.
|
2008 |
[bibtex]
[issue]
|
Erika Ábrahám, Andreas Grüner, Martin Steffen. Abstract Interface Behavior of Object-Oriented Languages with Monitors, Theory of computing systems 43 (3/4), pages 322-361, Springer, 2008.
|
[bibtex]
[issue]
|
Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. A Deductive Proof System for Multithreaded Java with Exceptions, Fundamenta informaticae 82 (4), pages 391-463, IOS Press, 2008.
|
[bibtex]
[issue]
|
Erika Ábrahám, Andreas Grüner, Martin Steffen. Heap-abstraction for an object-oriented calculus with thread classes, Software and systems modeling 7 (2), pages 177-208, Springer, 2008.
|
[bibtex]
[issue]
|
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, Zoltán Péter Szebenyi. Usage of the SCALASCA toolset for scalable performance analysis of large-scale parallel applications, 2. International Workshop on Parallel Tools for High Performance Computing, 157-167, Springer, 2008.
|
2007 |
[bibtex]
[issue]
|
Marc Herbstritt, Bernd Becker, Erika Ábrahám, Christian Herde. On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata, 2007 IEEE design and diagnostics of electronic circuits and systems, 391-396, IEEE Service Center, 2007.
|
[bibtex]
[issue]
|
Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde. Parallel SAT solving in bounded model checking, Volume 4346 of LNCS, 301-315, Springer, 2007.
|
2006 |
[bibtex]
[issue]
|
Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen. Bounded model checking with parametric data structures, Electronic notes in theoretical computer science 174 (3), pages 3-16, Elsevier, 2006.
|
[bibtex]
[issue]
|
Erika Ábrahám, Marc Herbstritt, Bernd Becker, Martin Steffen. Memory-aware bounded model checking for linear hybrid systems, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 153-162, Fraunhofer-Institut für Integrierte Schaltungen, Außenstelle Entwurfsautomatisierung, 2006.
|
[bibtex]
[issue]
|
Erika Ábrahám, Andreas Grüner, Martin Steffen. Dynamic heap-abstraction for open, object-oriented systems with thread classes, Logical approaches to computational barriers, Volume 3988 of LNCS, 1-10, Springer, 2006.
|
[bibtex]
[issue]
|
Erika Ábrahám, Andreas Grüner, Martin Steffen. Abstract interface behavior of object-oriented languages with monitors, Formal methods for open object-based distributed systems, Volume 4037 of LNCS, 218-232, Springer, 2006.
|
2005 |
[bibtex]
[issue]
|
Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. An Assertion-Based Proof System for Multithreaded Java, Theoretical computer science 331 (2/3), pages 251-290, Elsevier, 2005.
|
[bibtex]
[issue]
|
Erika Ábrahám, Andreas Grüner, Martin Steffen. Dynamic Heap-Abstraction for Open, Object-Oriented Systems with Thread Classes, COSMICAH 2005, Volume RR-05-04 of Research report / Queen Mary, University of London, Department of Computer Science, 47-61, Queen Mary, University of London, Department of Computer Science, 2005.
|
[bibtex]
[issue]
|
Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen. Optimizing Bounded Model Checking for Linear Hybrid Systems, Verification, model checking, and abstract interpretation (VMCAI 2005), Volume 3385 of LNCS, 396-412, Springer, 2005.
|
[bibtex]
[issue]
|
Frank S. de Boer, Marcello Bonsangue, Martin Steffen, Erika Ábrahám. A Fully Abstract Trace Semantics for UML Components, Formal methods for components and objects (FMCO 2004), Volume 3657 : Tutorial of LNCS, 49-69, Springer, 2005.
|
[bibtex]
[issue]
|
Erika Ábrahám, Frank S. de Boer, Marcello Bonsangue, Andreas Grüner, Martin Steffen. Observability, Connectivity, and Replay in a Sequential Calculus of Classes, Formal methods for components and objects (FMCO 2004), Volume 3657 : Tutorial of LNCS, 296-316, Springer, 2005.
|
[bibtex]
[issue]
|
Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen. Inductive Proof Outlines for Exceptions in Multithreaded Java, Proceedings of the First IPM International Workshop on Foundations of Software Engineering (FSEN 2005), Volume 159 of Electronic notes in theoretical computer science, 281-297, Elsevier, 2005.
|
[bibtex]
[issue]
|
Erika Ábrahám, Marcello Bonsangue, Frank S. de Boer, Martin Steffen. Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes, Theoretical aspects of computing - ICTAC 2004, Volume 3407 of LNCS, 37-51, Springer, 2005.
|