2025 |
[bibtex]
[issue]
|
Valentin Maxim Promies, Erika Ábrahám. A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic, 26. International Symposium on Formal Methods (FM 2024), Volume 14933 of LNCS, 131-148, Springer, 2025.
|
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.
|
[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]
|
Olaya Álvarez-Tunón, Luiza Ribeiro Marnet, László Antal, Martin Aubard, Maria Costa, Yury Brodskiy. SubPipe: A Submarine Pipeline Inspection Dataset for Segmentation and Visual-inertial Localization, 2024. https://arxiv.org/abs/2401.17907
|
[bibtex]
[issue]
|
Martin Aubard, Sergio Quijano, Olaya Álvarez-Tunón, László Antal, Maria Costa, Yury Brodskiy. Mission Planning and Safety Assessment for Pipeline Inspection Using Autonomous Underwater Vehicles: A Framework based on Behavior Trees, 2024. https://arxiv.org/abs/2402.04045
|
[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]
|
Jasper Kurt Ferdinand Nalbach, Erika Ábrahám. Merging Adjacent Cells During Single Cell Construction, 25. International Workshop on Computer Algebra in Scientific Computing (CASC 2024), Volume 14938 of LNCS, 252-272, Springer, 2024.
|
[bibtex]
[issue]
|
Martin Aubard, László Antal, Ana Madureira, Erika Ábrahám. Knowledge Distillation in YOLOX-ViT for Side-Scan Sonar Object Detection, 15 Seiten, 2024. https://arxiv.org/abs/2403.09313
|
[bibtex]
[issue]
|
Valentin Maxim Promies, Jasper Kurt Ferdinand Nalbach, Erika Ábrahám. Under-Approximation of a Single Algebraic Cell (Extended Abstract), Volume 3717 of CEUR workshop proceedings, 132-136, RWTH Aachen, 2024.
|
[bibtex]
[issue]
|
Erika Ábrahám, Marco Paolieri. Introduction to the Special Issue on QEST 2022, Part 1, ACM transactions on modeling and computer simulation 34, pages 16:1, ACM Press, 2024.
|
[bibtex]
[issue]
|
Erika Ábrahám (ed), Manuel Mazo Jr (ed). Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, ACM conferences, XI, 307 Seiten, Association for Computing Machinery, 2024.
|
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.
|
[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]
|
Gereon Kremer, Jasper Kurt Ferdinand Nalbach. Cylindrical Algebraic Coverings for Quantifiers, 7. International Workshop on Satisfiability Checking and Symbolic Computation (SC² 2022), Volume 3458 of CEUR Workshop Proceedings, 9 Seiten, 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]
|
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]
|
Jasper Kurt Ferdinand Nalbach, Erika Ábrahám. Subtropical Satisfiability for SMT Solving, Volume 13903 of LNCS, 430-446, Springer, 2023.
|
[bibtex]
[issue]
|
Philipp Bär, Jasper Kurt Ferdinand Nalbach, Erika Ábrahám, Christopher Brown. Exploiting Strict Constraints in the Cylindrical Algebraic Covering, 21. International Workshop on Satisfiability Modulo Theories (SMT 2023), Volume 3429 of CEUR workshop proceedings, 13 Seiten, 2023.
|
[bibtex]
[issue]
|
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]
|
Ahmed Abida, Pascal Richter. HVAC control in buildings using neural network, Journal of building engineering 65, pages 105558, Elsevier, 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]
|
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]
|
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, 25 Seiten, 2023. https://arxiv.org/abs/2304.14996
|
[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]
|
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, 20. International Conference on Quantitative Evaluation of Systems (QEST 2023), Volume 14287 of LNCS, 47-64, 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]
|
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]
|
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]
|
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]
|
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, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa. Theoretical Aspects of Computing, 20. International Colloquium ICTAC (ICTAC 2023), Volume 14446 of LNCS, 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]
|
Friedhelm Hövelmann, Lukas Aldenhoff, Pascal Richter. Analytic ray tracer on GPU for central receiver systems, Solar energy 266, pages 112149, Elsevier Science, 2023.
|
2022 |
[bibtex]
[issue]
|
Eshita Zaman, Gianfranco Ciardo, Erika Ábrahám, Borzoo Bonakdarpour. HyperPCTL Model Checking by Probabilistic Decomposition, 17. International Conference on integrated Formal Methods (IFM 2022), Volume 13274, Formal methods of LNCS, 209-226, Springer, 2022.
|
[bibtex]
[issue]
|
Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Borzoo Bonakdarpour, Ezio Bartocci. Probabilistic Hyperproperties with Rewards, 14. International Symposium NASA Formal Methods (NFM 2022), Volume 13260 of LNCS, 656-673, Springer, 2022.
|
[bibtex]
[issue]
|
Rebecca Haehn, Erika Ábrahám, Niklas Kotowski. Acceleration Techniques for Symbolic Simulation of Railway Timetables, 4. International Conference on Reliability, Safety and Security of Railway Systems (RSSRail 2022), Volume 13294 of LNCS, 46-62, Springer, 2022.
|
[bibtex]
[issue]
|
Stefan Schupp, Francesco Leofante, Leander Behr, Erika Ábrahám, Armando Tacchella. Robot Swarms as Hybrid Systems: Modelling and Verification, 2022. https://arxiv.org/abs/2207.06758
|
[bibtex]
[issue]
|
Stefan Schupp, Erika Ábrahám, Tristan Ebert. Recent developments in theory and tool support for hybrid systems verification with HyPro, Information and Computation 289 (Part A), pages 104945, Elsevier, 2022.
|
[bibtex]
[issue]
|
Isabela Dramnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat. Experiments with Automated Reasoning in the Class, Intelligent Computer Mathematics - 15. International Conference (CICM 2022), Volume 13467 of Lecture Notes in Artificial Intelligence, 287-304, Springer, 2022.
|
[bibtex]
[issue]
|
Erika Ábrahám, James H. Davenport, Matthew England, Alberto Griggio. New Perspectives in Symbolic Computation and Satisfiability Checking, Dagstuhl reports 12 (2), pages 67-86, Schloss Dagstuhl, 2022.
|
[bibtex]
[issue]
|
Erika Ábrahám (ed), Marco Paolieri (ed). Quantitative evaluation of systems, Volume 13479 of LNCS, XVII, 399 Seiten : Illustrationen, Springer, 2022.
|
[bibtex]
[issue]
|
Rebecca Haehn. Optimisation and analysis of railway timetables under consideration of uncertainties, PhD Thesis, RWTH Aachen University, 1 Online-Ressource : Illustrationen, Diagramme, RWTH Aachen University, 2022.
|
[bibtex]
[issue]
|
Pascal Richter, Friedhelm Hövelmann. Computationally fast analytical ray-tracer for central receiver systems, 26. International Conference on Concentrating Solar Power and Chemical Energy Systems (SolarPACES 2020), Volume 2445 of AIP conference proceedings, 030019, 1-8, AIP Publishing, 2022.
|
[bibtex]
[issue]
|
Pascal Richter, Nils Speetzen. Accelerated aiming strategy in central receiver systems using integer linear programming, 26. International Conference on Concentrating Solar Power and Chemical Energy Systems (SolarPACES 2020), Volume 2445 of AIP conference proceedings, 030018, AIP Publishing, 2022.
|
[bibtex]
[issue]
|
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour. Model checking hyperproperties for Markov decision processes, Information and Computation 289 (Part B), pages 104978, Elsevier, 2022.
|
[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
|
2021 |
[bibtex]
[issue]
|
Pascal Richter, Janna Tinnes, Lukas Aldenhoff. Accurate interpolation methods for the annual simulation of solar central receiver systems using celestial coordinate system, Solar energy 213, pages 328-338, Elsevier Science, 2021.
|
[bibtex]
[issue]
|
Pascal Richter, Torsten Trimborn, L. Aldenhoff. Predictive storage strategy for optimal design of hybrid CSP-PV plants with immersion heater, Solar energy 218, pages 237-250, Elsevier Science, 2021.
|
[bibtex]
[issue]
|
Jasper Kurt Ferdinand Nalbach, Erika Ábrahám, Gereon Kremer. Extending the Fundamental Theorem of Linear Programming for Strict Inequalities, International Symposium on Symbolic and Algebraic Computation (ISSAC '21), ACM Conferences, 313-320, Association for Computing Machinery, 2021.
|
[bibtex]
[issue]
|
Rebecca Haehn, Erika Ábrahám, Nils Nießen. Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies, 18. International Conference on Quantitative Evaluation of Systems (QEST 2021), Volume 12846 of LNCS, 257-275, Springer, 2021.
|
[bibtex]
[issue]
|
N. Speetzen, Pascal Richter. Dynamic aiming strategy for central receiver systems, Renewable energy 180, pages 55-67, Elsevier Science, 2021.
|
[bibtex]
[issue]
|
S. Klemp, Ahmed Abida, Pascal Richter. A method and analysis of predicting building material U-value ranges through geometrical pattern clustering, Journal of building engineering 44, pages 103243, Elsevier, 2021.
|
[bibtex]
[issue]
|
Niklas Kotowski. Accelerating symbolic simulation to analyze the effect of delays in train timetables, Master Thesis, RWTH Aachen University, 70 S., 2021.
|
[bibtex]
[issue]
|
Pascal Richter, Jannick Wolters, Martin Frank. Uncertainty quantification of offshore wind farms using Monte Carlo and sparse grid, Energy sources / B 17 (1), pages 2000520, Taylor & Francis, 2021.
|
[bibtex]
[issue]
|
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger. ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics, 8. International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Volume 80 of EPiC Series in Computing, 1-31, 2021.
|
[bibtex]
[issue]
|
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour. HyperProb: A Model Checker for Probabilistic Hyperproperties, Volume 13047 of LNCS, 657-666, Springer, 2021.
|
[bibtex]
[issue]
|
Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám. Controller verification meets controller code: a case study, 19. International Conference on Formal Methods and Models for System Design (MEMOCODE 21), ACM conferences, 98-103, Association for Computing Machinery, 2021.
|
[bibtex]
[issue]
|
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer. Proving UNSAT in SMT: The Case of Quantifier Free Non-Linear Real Arithmetic, 5 Seiten, 2021. https://arxiv.org/abs/2108.05320
|
[bibtex]
[issue]
|
Gereon Kremer, Erika Ábrahám, Vijay Ganesh. On the proof complexity of MCSAT, 2021. https://arxiv.org/abs/2109.01585
|
[bibtex]
[issue]
|
Gereon Kremer, Erika Ábrahám, Matthew England, James H. Davenport. On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving, 23. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 37-39, IEEE, 2021.
|
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
|
[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, 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]
|
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]
|
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]
|
Joost-Pieter Katoen, Martin Ritzert, Richard Marlon Wilke, Katrin M. Dannert, Peter Lindner, Dennis Fischer, Janosch Fuchs, Björn Frederik Tauer, Vipin Ravindran Vijayalakshmi, Laura Vargas Koch, Nadine Friesen, Andreas Gabriel Klinger, Marcel Tobias Hark, Benjamin Lucien Kaminski, Sebastian Junges, Jip Josephine Spel, Anton Pirogov, Stefan Schupp, Till Hofmann, Daxin Liu, Martin Comis, Tabea Claudia Krabs, Stephan Zieger, Rebecca Haehn, Matthias Volk, Norman Weik, Helene-Maria Bolke-Hermanns. UnRAVeL Research Training Group: Uncertainty and Randomness in Algorithms, Verification, and Logic, 85 Seiten, 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]
|
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]
|
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, 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]
|
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
|
2019 |
[bibtex]
[issue]
|
Tim Andreas Reuscher, Lorenz Matthias Pyta, Thomas Konrad, Pascal Richter, Dirk Abel. Proper Orthogonal Decomposition and Bilinear Lyapunov Control of Parabolic Trough Collectors, 27. Mediterranean Conference on Control and Automation (MED 2019), 439-444, IEEE, 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.
|
[bibtex]
[issue]
|
Dario Guidotti, Francesco Leofante, Armando Tacchella, Claudio Castellini. Improving Reliability of Myocontrol Using Formal Verification, IEEE transactions on neural systems and rehabilitation engineering 27 (4), pages 564-571, IEEE, 2019.
|
[bibtex]
[issue]
|
Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella. Repairing Learned Controllers with Convex Optimization: A Case Study, 16. International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2019), Volume 11494 of Theoretical Computer Science and General Issues, 364-373, Springer, 2019.
|
[bibtex]
[issue]
|
Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella. SMT-based Planning for Robots in Smart Factories, 32. International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2019), Volume 11606 of LNCS, 674-686, Springer, 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]
|
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]
|
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]
|
Gereon Kremer, Erika Ábrahám. Fully Incremental Cylindrical Algebraic Decomposition, Journal of symbolic computation 100, pages 11-37, Elsevier, 2019.
|
[bibtex]
[issue]
|
Pascal Richter, Fynn Kepp, Christina Maria Katharina Büsing, Sascha David Kuhnke. Optimization of robust aiming strategies in solar tower power plants, 24. International Conference on Concentrating Solar Power and Chemical Energy Systems (SolarPACES 2018), Volume 2126 of AIP conference proceedings, 030045, 1-9, AIP Publishing, 2019.
|
[bibtex]
[issue]
|
Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling, Stefan Schupp. ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics, 6. International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH19), Volume 61 of EPiC series in computing, 14-40, EasyChair, 2019.
|
[bibtex]
[issue]
|
Lei Bu, Rajarshi Ray, Stefan Schupp. ARCH-COMP19 Category Report: Bounded Model Checking of Hybrid Systems with Piecewise Constant Dynamics, 6. International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH19), Volume 61 of EPiC series in computing, 120-128, EasyChair, 2019.
|
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.
|
[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, 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]
|
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]
|
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]
|
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]
|
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]
|
Pascal Richter, Gregor Heiming, Nils Lukas, Martin Frank. SunFlower: A new solar tower simulation method for use in field layout optimization, SolarPACES 2017: International Conference on Concentrating Solar Power and Chemical Energy Systems, Volume 2033 of AIP conference proceedings, AIP Publishing, 2018.
|
[bibtex]
[issue]
|
Pascal Richter, Janna Tinnes, Peter Schwarzbözl, Amadeus Rong, Martin Frank. Efficient ray-tracing with real weather data, SolarPACES 2017: International Conference on Concentrating Solar Power and Chemical Energy Systems, Volume 2033 of AIP conference proceedings, AIP Publishing, 2018.
|
[bibtex]
[issue]
|
Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp. ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics, 5. International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH18), Volume 54 of EPiC series in computing, 23-52, EasyChair, 2018.
|
[bibtex]
[issue]
|
Martin Frank, Pascal Richter, Christina Roeckerath, Sarah Schönbrodt. Wie funktioniert eigentlich GPS? - ein computergestützter Modellierungsworkshop, Realitätsbezüge im Mathematikunterricht, 137-163, Springer, 2018.
|
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.
|
[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]
|
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]
|
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]
|
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]
|
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 (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]
|
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]
|
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 (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]
|
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]
|
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]
|
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]
|
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, 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]
|
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]
|
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.
|
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.
|
[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]
|
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]
|
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]
|
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. 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, 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, 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]
|
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 (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]
|
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, 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]
|
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 (ed), Marieke Huisman (ed). Integrated formal methods, Volume 9681 of LNCS, XIV, 538 Seiten : Illustrationen, Diagramme, Springer, 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, 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]
|
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]
|
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, 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
|
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.
|
[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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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. 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 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.
|
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.
|
[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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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.
|
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
|
[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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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]
|
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.
|
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.
|
2011 |
[bibtex]
[issue]
|
Jó Ágila Bitsch, Christoph Wollgarten, Stefan Schupp, Klaus Wehrle. Perfect Difference Sets for Neighbor Discovery, 3. Extreme Conference on Communication (ExtremeCom 2011), 1-6, ACM, 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]
|
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.
|
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.
|