Publications

Publications for Erika Abraham

2018
Link
[bibtex]
Rebecca Haehn, Gereon Kremer, Erika Abraham. Evaluation of Equational Constraints for CAD in SMT Solving. Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation, Volume 2189 of CEUR Workshop Proceedings, pages 19–32, CEUR-WS.org, 2018.
Link
[bibtex]
Gereon Kremer, Erika Abraham. Modular strategic SMT solving with SMT-RAT. Acta Universitatis Sapientiae, Informatica 10(1), pages 5–25, 2018.

[bibtex]
Stefan Schupp, Justin Winkens, Erika Abraham. Context-Dependent Reachability Analysis for Hybrid Systems. 2018 IEEE International Conference on Information Reuse and Integration (IRI 2018), pages 518-525, IEEE, 2018.

[bibtex]
Erika Abraham, Silvia Lizeth Taipa Tarifa editors. Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18). Research report 483, August 2018, University of Oslo, 2018.

[bibtex]
Stefan Schupp, Erika Abraham. The HyDRA Tool – A Playground for the Development of Hybrid Systems Reachability Analysis Methods. Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18), , 2018.

[bibtex]
Philipp Berger, Joost-Pieter Katoen, Erika Abraham, Thomas Rambow, Md Tawhid Bin Waez. Verifying Auto-Generated C Code from Simulink. Proc. of Formal Methods Symposium (FM 2018), Volume of LNCS, Springer, 2018.

[bibtex]
Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Abraham, Joost-Pieter Katoen. Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. Proc. of Formal Methods Symposium (FM 2018), Volume of LNCS, Springer, 2018.

[bibtex]
Erika Abraham. Symbolic Computation Techniques in SMT Solving: Mathematical Beauty Meets Efficient Heuristics (invited talk abstract). Proceedings of the 9th International Joint Conference on Automated Reasoning (IJCAR 2018), Volume 10900 of LNCS, pages XII, Springer, 2018.
DOI
[bibtex]
Stefan Schupp, Erika Abraham. Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems. Proceedings of the 16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Volume 10886 of LNCS, pages 89–104, Springer, 2018.
DOI
[bibtex]
Francesco Leofante, Erika Abraham, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella. Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Information Systems Frontiers, pages 1-21, 2018.

[bibtex]
Erika Abraham, Elisabetta Di Nitto, Raffaela Mirandola editors. Proceedings of the 1st International Workshop on Gender Equality in Software Engineering (GE 2018). ACM, 2018.
Download
[bibtex]
Stefan Schupp, Erika Abraham. Efficient dynamic error reduction for hybrid systems reachability analysis. Proc. of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18), Volume of LNCS, Springer, 2018.

[bibtex]
Stefan Schupp, Francesco Leofante, Erika Abraham, Armando Tacchella. Robot Swarms as Hybrid Systems. Proceedings 4th International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2018, , 2018.

[bibtex]
Erika Abraham, Borzoo Bonakdarpour. HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. Proc. of the 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018), Volume of LNCS, Springer, 2018.
DOI
[bibtex]
Francesco Leofante, Erika Abraham, Armando Tacchella. Task Planning with OMT: An Application to Production Logistics. Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, pages 316–325, , 2018.
2017

[bibtex]
Jannik Hüls, Stefan Schupp, Anne Remke, Erika Abraham. Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. Proc. of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'17), , 2017.
Link
[bibtex]
Francesco Leofante, Erika Abraham, Tim Niemueller, 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 2017, San Diego, CA, USA, August 4-6, 2017, pages 403–410, IEEE Computer Society, 2017.
DOI
[bibtex]
Erika Abraham, 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. SC-square: When Satisfiability Checking and Symbolic Computation Join Forces. Proceedings of the 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE'17), Volume 51 of EPiC Series in Computing, pages 6–10, EasyChair, 2017.

[bibtex]
Erika Abraham, Silvia Lizeth Taipa Tarifa editors. Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications. Research report 470, September 2017, University of Oslo, 2017.
Download
[bibtex]
Erika Abraham, Gereon Kremer. SMT Solving for Arithmetic Theories: Theory and Tool Support. Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017), pages 1–8, IEEE, 2017.
Download
[bibtex]
Erika Abraham. Techniques and Tools for Hybrid Systems Reachability Analysis. Proceedings of the 10th International Workshop on Numerical Software Verification (NSV'17), pages XVI-XVII, , 2017.
Download
[bibtex]
Tim Niemueller, Gerhard Lakemeyer, Francesco Leofante, Erika Abraham. Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization. Proceedings of the 5th Workshop on Planning and Robotics at ICAPS (PLANROB 2017), , 2017.
Download
[bibtex]
Stefan Schupp, Erika Abraham, Ibtissem Ben Makhlouf, Stefan Kowalewski. HyPro: A C++ Library for State Set Representations for Hybrid Systems Reachability Analysis. Proc. of the 9th NASA Formal Methods Symposium (NFM'17), Volume 10227 of LNCS, pages 288–294, Springer International Publishing, 2017.
DOI
[bibtex]
Erika Abraham, 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. Satisfiability Checking and Symbolic Computation. ACM Commun. Comput. Algebra 50(4), pages 145–147, 2017.
Download
[bibtex]
Stefan Schupp, Johanna Nellen, Erika Abraham. Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis. Proc. of the 15th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'17), Volume 250 of EPTCS, pages 1–14, Open Publishing Association, 2017.
Download
[bibtex]
Tarik Viehmann, Gereon Kremer, Erika Abraham. Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. Proc. of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, Volume 1974 of CEUR Workshop Proceedings, CEUR-WS.org, 2017.
Link
[bibtex]
Erika Abraham, Jasper Nalbach, Gereon Kremer. Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. Proc. of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation, Volume 1974 of CEUR Workshop Proceedings, CEUR-WS.org, 2017.
DOI
[bibtex]
Erika Abraham, Hadas Kress-Gazit, Lorenzo Natale, Armando Tacchella editors. Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). Schloss Dagstuhl–Leibniz-Zentrum für Informatik, Volume 7/2 of Dagstuhl Reports, pages 48–63, 2017.
DOI
[bibtex]
Erika Abraham, James H. Davenport, Pascal Fontaine editors. Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation (SC2 2016), Timisoara, Romania, September 24, 2016.. CEUR-WS.org, Volume 1804 of CEUR Workshop Proceedings, 2017.
Link
[bibtex]
Erika Abraham, Sergiy Bogomolov editors. Proc. of the 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017. , Volume 247 of EPTCS, 2017.

[bibtex]
Erika Abraham, Tudor Jebelean. Adapting Cylindrical Algebraic Decomposition for Proof Specific Tasks. Proc. of the 10th International Conference on Applied Informatics (ICAI'17), , 2017.
Show all