Publications

2020
DOI fulltext PDF [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.
fulltext PDF [bibtex] [issue] Borzoo Bonakdarpour, Erika Ábrahám, Ezio Bartocci, Oyendrila Dobe. Parameter Synthesis for Probabilistic Hyperproperties, The 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2020), Volume 73 of EPiC Series in Computing, pages 12-31, 2020.
DOI [bibtex] [issue] Erika Ábrahám, Nils Nießen, Rebecca Haehn. Freight Train Scheduling in Railway Systems, International Conference on Measurement, Modelling and Evaluation of Computing Systems 2020 (MMB 2020), Volume 12040 of LNCS, 225-241, Springer, 2020.
[bibtex] [issue] Erika Ábrahám, Gereon Kremer, James Davenport, Matthew England. 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, Elsevier Science, 2020.
2019
fulltext PDF [bibtex] [issue] Erika Ábrahám, Gereon Kremer, Vijay Ganesh. On the Proof Complexity of MCSAT, 4th Workshop on Satisfiability Checking and Symbolic Computation (SC-square), Volume 2460 of CEUR Workshop Proceedings, 10 Seiten, RWTH Aachen, 2019.
DOI [bibtex] [issue] Dirk Abel, Lorenz Matthias Pyta, Pascal Richter, Thomas Konrad, Tim Andreas Reuscher. Proper Orthogonal Decomposition and Bilinear Lyapunov Control of Parabolic Trough Collectors, 2019 27th Mediterranean Conference on Control and Automation (MED2019), 439-444, IEEE, 2019.
DOI [bibtex] [issue] Erika Ábrahám, Johanna Nellen, Joost-Pieter Katoen, Md Tawhid Bin Waez, Philipp Berger, Thomas Rambow. Multiple Analyses, Requirements Once, 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), Volume 11687 of LNCS, 59-75, Springer, 2019.
DOI [bibtex] [issue] Armando Tacchella, Claudio Castellini, Dario Guidotti, Francesco Leofante. Improving Reliability of Myocontrol Using Formal Verification, IEEE transactions on neural systems and rehabilitation engineering 27 (4), pages 564-571, IEEE, 2019.
DOI [bibtex] [issue] Armando Tacchella, Arthur Bit-Monnot, Francesco Leofante, Luca Pulina. SMT-based Planning for Robots in Smart Factories, 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2019), Volume 11606 of LNCS, 674-686, Springer, 2019.
DOI [bibtex] [issue] Armando Tacchella, Claudio Castellini, Dario Guidotti, Francesco Leofante. Repairing Learned Controllers with Convex Optimization, 16th 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.
DOI fulltext PDF [bibtex] [issue] Erika Ábrahám, Gereon Kremer, Jasper Nalbach. On Variable Orderings in MCSAT for Non-linear Real Arithmetic, 4th Workshop on Satisfiability Checking and Symbolic Computation (SC-square), Volume 2460 of CEUR Workshop Proceedings, 7 Seiten, RWTH Aachen, 2019.
DOI [bibtex] [issue] Armando Tacchella, Erika Ábrahám, Francesco Leofante, Stefan Schupp. Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems, 33rd International ECMS Conference on Modelling and Simulation (ECMS 2019), 7 Seiten, European Council for Modelling and Simulation, 2019.
DOI [bibtex] [issue] Erika Ábrahám, Gereon Kremer. Fully Incremental Cylindrical Algebraic Decomposition, Journal of symbolic computation 100, pages 11-37, Elsevier, 2019.
DOI [bibtex] [issue] Christina Maria Katharina Büsing, Fynn Kepp, Pascal Richter, Sascha David Kuhnke. Optimization of robust aiming strategies in solar tower power plants, International Conference on Concentrating Solar Power and Chemical Energy Systems (SOLARPACES 2018), Volume 2126 of AIP conference proceedings, 030045, 1-9, AIP Publishing, 2019.
2018
DOI [bibtex] [issue] Amadeus Rong, Janna Tinnes, Martin Frank, Pascal Richter, Peter Schwarzbözl. 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.
DOI [bibtex] [issue] Erika Ábrahám, Justin Winkens, Stefan Schupp. Context-Dependent Reachability Analysis for Hybrid Systems, 2018 IEEE International Conference on Information Reuse and Integration for Data Science (IRI 2018), 518-525, IEEE, 2018.
DOI fulltext PDF [bibtex] [issue] Erika Ábrahám, Gereon Kremer. Modular strategic SMT solving with SMT-RAT, Acta Universitatis Sapientiae / Informatica 10 (1), pages 5-25, De Gruyter Open, 2018.
DOI [bibtex] [issue] Erika Ábrahám, Stefan Schupp. Spread the Work, 16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Volume 10886 of LNCS, 89-104, Springer, 2018.
DOI fulltext PDF [bibtex] [issue] Erika Ábrahám, Stefan Schupp. Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis, 24th 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.
DOI [bibtex] [issue] Armando Tacchella, Erika Ábrahám, Francesco Leofante, Gerhard Lakemeyer, Tim Dieter Niemüller. Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics, Information systems frontiers 21 (1), pages 87-107, Kluwer, 2018.
fulltext PDF [bibtex] [issue] Erika Ábrahám, Gereon Kremer, Rebecca Haehn. Evaluation of Equational Constraints for CAD in SMT Solving, 3rd 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.
fulltext PDF [bibtex] [issue] Erika Ábrahám, Stefan Schupp. The HyDRA Tool, PhD Symposium at iFM’18 on Formal Methods (PhD-iFM’18), Volume 483 of Research report, 2 Seiten, Oslo University, 2018.
DOI [bibtex] [issue] Gregor Heiming, Martin Frank, Nils Lukas, Pascal Richter. SunFlower, SolarPACES 2017: International Conference on Concentrating Solar Power and Chemical Energy Systems, Volume 2033 of AIP conference proceedings, AIP Publishing, 2018.
2017
DOI [bibtex] [issue] A. Cimatti, A. Griggio, A. M. Bigatti, B. Becker, B. Buchberger, D. Kroening, Erika Ábrahám, J. Abbott, J. H. Davenport, M. Brain, M. England, P. Fontaine, S. Forrest, T. Sturm, W. M. Seiler. Satisfiability checking and symbolic computation, ACM Communications in computer algebra 50 (4), pages 145-147, ACM, 2017.
[bibtex] [issue] Erika Ábrahám, James H. Davenport, Pascal Fontaine. Bridging two communities to solve real problems (SC2 2016), Volume 1804 of CEUR workshop proceedings, 1 Online-Ressource : Illustrationen, RWTH Aachen, 2017.
DOI [bibtex] [issue] Erika Ábrahám, Johanna Nellen, Stefan Schupp. Divide and Conquer, 15th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2017), Volume 250 of EPTCS, 1-14, [Open Publishing Association], 2017.
DOI [bibtex] [issue] Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski, Stefan Schupp. HyPro, NASA Formal Methods (NFM) Symposium (NFM 2017), Volume 10227 of LNCS, 288-294, Springer, 2017.
fulltext PDF [bibtex] [issue] Erika Ábrahám. Techniques and Tools for Hybrid Systems Reachability Analysis, The 10th International Workshop on Numerical Software Verification (NSV 2017), Volume 10381 of LNCS, XVI-XVII, Springer, 2017.
[bibtex] [issue] Erika Ábrahám, Gereon Kremer, Jasper Nalbach. Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework, 2nd International Workshop on Satisfiability Checking and Symbolic Computation (SC2), Volume 1974 of CEUR Workshop Proceedings, 12 Seiten, RWTH Aachen, 2017.
fulltext PDF [bibtex] [issue] Erika Ábrahám, Gereon Kremer, Tarik Viehmann. Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving, 2nd International Workshop on Satisfiability Checking and Symbolic Computation (SC2), Volume 1974 of CEUR Workshop Proceedings, 15 Seiten, RWTH Aachen, 2017.
fulltext PDF [bibtex] [issue] Erika Ábrahám, Sergiy Bogomolov. Preface, 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), Volume 247 of EPTCS, [Open Publishing Association], 2017.
DOI [bibtex] [issue] Alberto Griggio, Alessandro Cimatti, Anna M. Bigatti, Bernd Becker, Daniel Kroening, Erika Ábrahám, James H. Davenport, John Abbott, Martin Brain, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Werner M. Seiler. SC2 challenges, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions (ARCADE 2017), Volume 51 of EPiC Series in Computing, 6-10, EasyChair, 2017.
fulltext PDF [bibtex] [issue] Erika Ábrahám, Sergiy Bogomolov. Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, Volume 247 of EPTCS, 1 Online-Ressource : Illustrationen, [Open Publishing Association], 2017.
DOI fulltext PDF [bibtex] [issue] Armando Tacchella, Erika Ábrahám, Hadas Kress-Gazit, Lorenzo Natale. Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071), Dagstuhl Reports 7 (2), pages 48-63, Schloss Dagstuhl, 2017.
fulltext PDF [bibtex] [issue] Erika Ábrahám, Francesco Leofante, Gerhard Lakemeyer, Tim Dieter Niemüller. Towards CLIPS-based Task Execution and Monitoring with SMT-based Decision Optimization, 5th Workshop on Planning and Robotics (PlanRob 2017), 60-67, 2017.
DOI arXiv:1704.02421 [bibtex] [issue] Erika Ábrahám, Sergiy Bogomolov. 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
DOI [bibtex] [issue] Erika Ábrahám, Gereon Lukas Kremer. SMT Solving for Arithmetic Theories, 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017), 1-8, IEEE, 2017.
DOI [bibtex] [issue] Armando Tacchella, Erika Ábrahám, Francesco Leofante, Gerhard Lakemeyer, Tim Dieter Niemüller. 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.
2016
DOI [bibtex] [issue] Erika Ábrahám, Sergiy Bogomolov. Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), IEEE, 2016.
DOI [bibtex] [issue] Einar Broch Johnsen, Erika Ábrahám, Florian Corzilius, Gereon Kremer, Jacopo Mauro. Zephyrus2, International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016), Volume 9984 of LNCS, 229-245, Springer, 2016.
DOI [bibtex] [issue] Armando Tacchella, Erika Ábrahám, Francesco Leofante, Nils Jansen, Simone Vuotto. Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016), Volume 9952 of LNCS, 496-514, Springer, 2016.
DOI [bibtex] [issue] Einar Broch Johnsen, Erika Ábrahám, Marcello Bonsangue. Theory and practice of formal methods, Volume 9660 of LNCS, XII, 427 Seiten : Illustrationen, Springer, 2016.
[bibtex] [issue] David Laukamp, Erika Ábrahám, Levin Gerdes, Martin Frank, Pascal Richter. Heliostat Field Layout Optimization with Evolutionary Algorithms, 2nd GlobalConference on Artifcial Intelligence (GCAI 2016), Volume 41 of EPiC Series in Computing, 240-252, [Cool Press Ltd], 2016.
DOI [bibtex] [issue] Erika Ábrahám, Gereon Kremer. Satisfiability Checking, Software Engineering and Formal Methods : 14th International Conference (SEFM 2016), Volume 9763 of LNCS, 9-23, Springer, 2016.
DOI fulltext PDF [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.
DOI [bibtex] [issue] Erika Ábrahám, Marieke Huisman. Integrated formal methods, Volume 9681 of LNCS, XIV, 538 Seiten : Illustrationen, Diagramme, Springer, 2016.
DOI fulltext PDF [bibtex] [issue] Christian Dehnert, Erika Ábrahám, Florian Corzilius, Harold Yorick Bruintjes, Joost-Pieter Katoen, Matthias Volk, Nils Jansen, Sebastian Junges. 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.
DOI fulltext PDF [bibtex] [issue] Dongming Wang, Erika Ábrahám, Pascal Fontaine, Thomas Sturm. Symbolic Computation and Satisfiability Checking, Dagstuhl reports 5 (11), pages 71-89, Schloss Dagstuhl, 2016.
DOI [bibtex] [issue] Erika Ábrahám. Symbolic Computation Techniques in Satisfiability Checking, 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 3-10, IEEE, 2016.
fulltext PDF [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.
arXiv:1607.06945 [bibtex] [issue] A. Cimatti, A. Griggio, A. M. Bigatti, B. Becker, B. Buchberger, D. Kroening, Erika Ábrahám, J. Abbott, J. H. Davenport, M. Brain, M. England, P. Fontaine, S. Forrest, T. Sturm, W. M. Seiler. Satisfiability checking and symbolic computation, 3 Seiten : Illustrationen, 2016. https://arxiv.org/abs/1607.06945
DOI [bibtex] [issue] Alberto Griggio, Alessandro Cimatti, Anna M. Bigatti, Bernd Becker, Bruno Buchberger, Daniel Kroening, Erika Ábrahám, James H. Davenport, John Abbott, Martin Brain, Matthew England, Pascal Fontaine, Stephen Forrest, Thomas Sturm, Werner M. Seiler. SC2, 9th International Conference on Intelligent Computer Mathematics (CICM 2016), Volume 9791 of LNCS, 28-43, Springer, 2016.
DOI [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.
DOI fulltext PDF [bibtex] [issue] Erika Ábrahám, Florian Corzilius, Gereon Kremer. 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.
DOI [bibtex] [issue] Benedikt Wolters, Erika Ábrahám, Johanna Nellen, Kai Driessen, Martin Neuhäußer. Two CEGAR-based approaches for the safety verification of PLC-controlled plants, Information systems frontiers 18 (5), pages 927-952, Springer, 2016.
DOI [bibtex] [issue] Erika Ábrahám, Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen. 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.
2015
fulltext PDF [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.
DOI [bibtex] [issue] Erika Ábrahám, Florian Corzilius, Hans Christian Dehnert, Harold Yorick Bruintjes, Joost-Pieter Katoen, Matthias Volk, Nils Jansen, Sebastian Junges. PROPhESY, International Conference on Computer Aided Verification (CAV'15), Volume 9206 of LNCS, 214-231, Springer, 2015.
fulltext PDF [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.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Hans Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer, Tim Quatmann. Counterexamples for Expected Rewards, Volume 9109 of LNCS, 435-452, Springer, 2015.
DOI [bibtex] [issue] Erika Ábrahám, Goran Frehse, Ibtissem Ben Makhlouf, Stefan Kowalewski, Stefan Schupp, Xin Chen. A Benchmark Suite for Hybrid Systems Reachability Analysis, Volume 9058 of LNCS, 408-414, Springer, 2015.
DOI [bibtex] [issue] Erika Ábrahám. Building Bridges between Symbolic Computation and Satisfiability Checking, 14th International Symposium on Symbolic and Algebraic Computation (ISSAC'15), 6 S., ACM Press, 2015.
DOI [bibtex] [issue] Erika Ábrahám, Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp. SMT-RAT, International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), Volume 9340 of LNCS, 360-368, Springer, 2015.
DOI [bibtex] [issue] Armando Tacchella, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Shashank Pathak. A Greedy Approach for the Efficient Repair of Stochastic Models, 7th NASA Formal Methods Symposium (NFM'15), Volume 9058 of LNCS, 295-309, Springer, 2015.
DOI [bibtex] [issue] Benedikt Wolters, Erika Ábrahám, Johanna Nellen. 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.
DOI fulltext PDF [bibtex] [issue] Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. 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.
DOI [bibtex] [issue] Erika Ábrahám, Goran Frehse, Ibtissem Ben Makhlouf, Sriram Sankaranarayanan, Stefan Kowalewski, Stefan Schupp, Xin Chen. Current Challenges in the Verification of Hybrid Systems, 5th Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy 2015), Volume 9361 of LNCS, 8-24, Springer, 2015.
[bibtex] [issue] Erika Ábrahám, Sriram Sankaranarayanan, Xin Chen. Flow* 1.2, 1st 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] Benedikt Wolters, Dirk Abel, Erika Ábrahám, Johanna Nellen, Lukas Netz, Martina Joševski, Sascha Geulen. A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs, 1st Global Conference on Artificial Intelligence (GCAI'15), Volume 36 of EPiC Series in Computer Science, 196-214, EasyChair, 2015.
arXiv:1503.06974 [bibtex] [issue] Achim Streit, Costas Bekas, Einar Broch Johnsen, Erika Ábrahám, Ivan Kondov, Ivona Brandic, Sabri Pllana, Samir Genaim. Challenges and Recommendations for Preparing HPC Applications for Exascale, 6 Seiten, 2015. https://arxiv.org/abs/1503.06974
[bibtex] [issue] Benedikt Wolters, Dirk Abel, Erika Ábrahám, Janosch Fuchs, Johanna Nellen, Lukas Netz, Martina Joševski, Sascha Geulen, Walter Unger. Online Lernen als Kontrollstrategie in Hybridfahrzeugen, 7th VDI/VDE Fachtagung AUTOREG: Auf dem Weg zum automatisierten Fahren (AUTOREG'15), Volume 2233 of VDI-Berichte, 101-112, VDI-Verl., 2015.
DOI [bibtex] [issue] Achim Streit, Costas Bekas, Einar Broch Johnsen, Erika Ábrahám, Ivan Kondov, Ivona Brandic, Sabri Pllana, Samir Genaim. Preparing HPC Applications for Exascale, 18th International Conference on Network-Based Information Systems (NBiS 2015), 401-406, IEEE, 2015.
DOI [bibtex] [issue] Benedikt Wolters, Dirk Abel, Erika Ábrahám, Janosch Fuchs, Johanna Nellen, Lukas Netz, Martina Josevski, Sascha Geulen, Walter Unger. Learning-based Control Strategies for Hybrid Electric Vehicles, 2015 IEEE Conference on Control Applications (CCA), 1722-1728, IEEE, 2015.
2014
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Minimal counterexamples for linear-time probabilistic verification, Theoretical computer science 549, pages 61-100, Elsevier, 2014.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Hans Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Counterexample Generation for Discrete-Time Markov Models, Volume 8483 of LNCS, 65-121, Springer, 2014.
[bibtex] [issue] Erika Ábrahám, Ralf Wimmer. Maybe or Maybe not, Aspekte der Technischen Informatik, 119-127, Monsenstein und Vannerdat, 2014.
[bibtex] [issue] Erika Ábrahám, Sriram Sankaranarayanan, Xin Chen. Under-approximate Flowpipes for Non-linear Continuous Systems, 59-66, IEEE/ACM, 2014.
[bibtex] [issue] Erika Ábrahám, Martin Frank, Pascal Richter. Multi-objective optimization of solar tower power plants, Mathematics in industry, Springer, 2014.
DOI [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.
DOI fulltext PDF [bibtex] [issue] Alberto Avritzer, Anne Remke, Erika Ábrahám, William H. Sanders. Randomized Timed and Hybrid Models for Critical Infrastructures, Dagstuhl Reports 4 (1), pages 37-82, Schloss Dagstuhl, 2014.
DOI [bibtex] [issue] Erika Ábrahám, Muhammad Fadlisyah, Peter Csaba Ölveczky. Formal modeling and analysis of interacting hybrid systems in HI-Maude, Science of computer programming, Elsevier, 2014.
DOI [bibtex] [issue] Barna Zajzon, Bernd Becker, Erika Ábrahám, Johann Schuster, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Symbolic counterexample generation for large discrete-time Markov chains, Science of computer programming 91 (Part A), pages 90-114, Elsevier, 2014.
DOI [bibtex] [issue] Erika Ábrahám, Hans Christian Dehnert, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. Fast Debugging of PRISM Models, Volume 8837 of LNCS, 146-162, Springer, 2014.
DOI [bibtex] [issue] Catuscia Palamidessi, Erika Ábrahám. Formal techniques for distributed objects, components, and systems, Volume 8461 of LNCS, XII, 299 S., Springer, 2014.
DOI [bibtex] [issue] Erika Ábrahám, Martin Steffen, Thi Mai Thuong Tran. Observable Interface Behaviour and Inheritance, Mathematical structures in computer science 26 (Special Issue 03), pages 561-605, Cambridge Univ. Press, 2014.
DOI [bibtex] [issue] Erika Ábrahám, Johanna Nellen. 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.
DOI [bibtex] [issue] Erika Ábrahám, Johanna Nellen, Pieter Collins, Xin Chen. Counterexample Generation for Hybrid Automata, Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'13), Volume 419 of Communications in Computer and Information Science, 88-106, Springer, 2014.
DOI [bibtex] [issue] Erika Ábrahám, Klaus Havelund. Tools and Algorithms for the Construction and Analysis of Systems, Volume 8413 of LNCS, XVIII, 652 S. : graph. Darst., Springer, 2014.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Florian Corzilius, Joost-Pieter Katoen, Matthias Volk, Nils Jansen, Ralf Wimmer. Accelerating Parametric Probabilistic Verification, 11th International Conference on Quantitative Evaluation of Systems (QEST 2014), Volume 8657 of LNCS, 404-420, Springer, 2014.
2013
[bibtex] [issue] Bernd Becker, Bettina Braitling, Erika Ábrahám, Ralf Wimmer. Stochastic Bounded Model Checking, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2013), 243-254, Univ., ITMZ, 2013.
DOI [bibtex] [issue] Bernd Becker, Erika Ábrahám, Florian Corzilius, Karsten Scheibler, Ulrich Loup. A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition, Volume 7898 of LNCS, 193-207, Springer, 2013.
fulltext PDF [bibtex] [issue] Erika Ábrahám, Sriram Sankaranarayanan, Xin Chen, Yan Zhang. Empirical Flowpipe Constructions for Analog Circuits, 2013.
DOI [bibtex] [issue] Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky. A Timed CTL Model Checker for Real-Time Maude, Volume 8089 of LNCS, 334-339, Springer, 2013.
DOI [bibtex] [issue] Erika Ábrahám, Sriram Sankaranarayanan, Xin Chen. Flow*, Volume 8044 of LNCS, 258-263, Springer, 2013.
fulltext PDF [bibtex] [issue] Erika Ábrahám, Florian Corzilius, Sebastian Junges, Ulrich Loup. 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.
DOI [bibtex] [issue] Erika Ábrahám, Sriram Sankaranarayanan, Xin Chen. Lyapunov Function Synthesis using Handelman Representations, Volume 9,1 of Nonlinear Control Systems, 576-581, Elsevier, 2013.
DOI [bibtex] [issue] Andreas Vorpahl, Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. High-level Counterexamples for Probabilistic Automata, Volume 8054 of LNCS, 39-54, Springer, 2013.
DOI [bibtex] [issue] Erika Ábrahám, Florian Corzilius, Sebastian Junges, Ulrich Loup. On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers, Volume 8080 of LNCS, 186-198, Springer, 2013.
arXiv:1312.3979 [bibtex] [issue] Bernd Becker, Erika Ábrahám, Florian Corzilius, Joost-Pieter Katoen, Matthias Volk, Nils Jansen, Ralf Wimmer. Accelerating Parametric Probabilistic Verification, 21 Seiten, 2013. https://arxiv.org/abs/1312.3979
DOI [bibtex] [issue] Erika Ábrahám, Fabio Somenzi, Sriram Sankaranarayanan, Xin Chen, Yan Zhang. From Statistical Model Checking to Statistical Model Inference, 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2013), 662-669, IEEE, 2013.
arXiv:1305.5055 [bibtex] [issue] Andreas Vorpahl, Bernd Becker, Erika Ábrahám, Joost-Pieter Katoen, Nils Jansen, Ralf Wimmer. High-level Counterexamples for Probabilistic Automata, Cornell University, 2013. https://arxiv.org/abs/1305.5055
2012
DOI [bibtex] [issue] Erika Ábrahám, Xin Chen. 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
DOI [bibtex] [issue] Erika Ábrahám, Florian Corzilius. Virtual Substitution for SMT-Solving, Fundamentals of computation theory (FCT 2011), Volume 6914 of LNCS, 360-371, Springer, 2011.
DOI [bibtex] [issue] Erika Ábrahám, Goran Frehse, Xin Chen. Efficient bounded reachability computation for rectangular automata, Reachability problems (RP 2011), Volume 6945 of LNCS, 139-152, Springer, 2011.
DOI [bibtex] [issue] Christoph Wollgarten, Jó Ágila Bitsch, Klaus Wehrle, Stefan Schupp. Perfect Difference Sets for Neighbor Discovery, 3rd Extreme Conference on Communication (ExtremeCom 2011), 1-6, ACM, 2011.