Publications
| 2018 | |
|---|---|
| DOI Details | Gereon Kremer and Erika Ábrahám. 2018. Modular strategic SMT solving with SMT-RAT. Acta Universitatis Sapientiae / Informatica 10, 1 (2018), 5–25. |
| DOI Details | Stefan Schupp and Erika Ábrahám. 2018. Spread the Work : Multi-threaded Safety Analysis for Hybrid Systems. In Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings (Lecture notes in computer science, Vol. 10886). Springer, Cham, 89–104. |
| DOI Details | Stefan Schupp and Erika Ábrahám. 2018. Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis. In Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II (Lecture notes in computer science, Vol. 10806, Part 2). Springer International Publishing, Cham, 287–302. |
| DOI Details | Francesco Leofante, Erika Ábrahám, Tim Dieter Niemüller, Gerhard Lakemeyer, and Armando Tacchella. 2018. Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Information systems frontiers 21, 1 (2018), 87–107. |
| Details | Rebecca Haehn, Gereon Kremer, and Erika Ábrahám. 2018. Evaluation of Equational Constraints for CAD in SMT Solving. In Satisfiability checking and symbolic computation : SC-Square 2018 : proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation, co-located with Federated Logic Conference (FLOC 2018) : Oxford, UK, July 11, 2018 (CEUR workshop proceedings, Vol. 2189). RWTH-Aachen, Aachen, Germany, 19–32. |
| Details | Stefan Schupp and Erika Ábrahám. 2018. The HyDRA Tool : A Playground for the Development of Hybrid Systems Reachability Analysis Methods. In Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18) : Research report 483, August 2018 (Research report, Vol. 483). Oslo University, Oslo, 2 pages. |
| DOI Details | Pascal Richter, Gregor Heiming, Nils Lukas, and Martin Frank. 2018. SunFlower: A new solar tower simulation method for use in field layout optimization. In SolarPACES 2017 : International Conference on Concentrating Solar Power and Chemical Energy Systems : Santiago, Chile, 26-29 September 2017 (AIP conference proceedings, Vol. 2033). AIP Publishing, Melville, New York. |
| DOI Details | Pascal Richter, Janna Tinnes, Peter Schwarzbözl, Amadeus Rong, and Martin Frank. 2018. Efficient ray-tracing with real weather data. In SolarPACES 2017 : International Conference on Concentrating Solar Power and Chemical Energy Systems : Santiago, Chile, 26-29 September 2017 (AIP conference proceedings, Vol. 2033). AIP Publishing, Melville, New York. |
| DOI Details | Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, and Stefan Schupp. 2018. ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In ARCH18 : 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (EPiC series in computing, Vol. 54). EasyChair, [Manchester], 23–52. |
| DOI Details | Martin Frank, Pascal Richter, Christina Roeckerath, and Sarah Schönbrodt. 2018. Wie funktioniert eigentlich GPS? - ein computergestützter Modellierungsworkshop. In Digitale Werkzeuge, Simulationen und mathematisches Modellieren : didaktische Hintergründe und Erfahrungen aus der Praxis. Realitätsbezüge im Mathematikunterricht. Springer Spektrum, Wiesbaden, 137–163. |
| 2017 | |
| DOI Details | Stefan Schupp, Johanna Nellen, and Erika Ábrahám. 2017. Divide and Conquer : Variable Set Separation in Hybrid Systems Reachability Analysis. In Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems : Uppsala, Sweden, 23rd April 2017 (Electronic proceedings in theoretical computer science : EPTCS, Vol. 250). [Open Publishing Association], [Waterloo, NSW], 1–14. |
| DOI Details | Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, and Stefan Kowalewski. 2017. HyPro : A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. In NASA formal methods : 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings (Lecture Notes in Computer Science, Vol. 10227). Springer, Cham, 288–294. |
| Details | Erika Ábrahám. 2017. Techniques and Tools for Hybrid Systems Reachability Analysis. In Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Lecture Notes in Computer Science, Vol. 10381). Springer International Publishing - Springer, Cham, XVI–XVII. |
| Details | Erika Ábrahám, Jasper Nalbach, and Gereon Kremer. 2017. Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework. In Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017 (CEUR workshop proceedings, Vol. 1974). RWTH Aachen, Aachen, Germany, 12 pages. |
| Details | Tarik Viehmann, Gereon Kremer, and Erika Ábrahám. 2017. Comparing Different Projection Operators in the Cylindrical Algebraic Decomposition for SMT Solving. In [2nd International Workshop on Satisfiability Checking and Symbolic Computation, SC2, 2017-07-29 - 2017-07-29, Kaiserslautern, Germany (CEUR workshop proceedings, Vol. 1974). RWTH Aachen, Aachen, Germany, 15 pages. |
| Details | Erika Ábrahám, James H. Davenport, and Pascal Fontaine (Eds.). 2017. Bridging two communities to solve real problems : SC2 2016 : First Workshop on Satisfiability Checking and Symbolic Computation : FETOPEN-CSA SC2 Workshop 1 : September 24, 2016 : affiliated with the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016) : Timisoara, Romania (CEUR workshop proceedings, Vol. 1804). RWTH Aachen, Aachen, Germany. |
| DOI Details | Erika Ábrahám, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, and Werner M. Seiler. 2017. SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces. In ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017 (EPiC Series in Computing, Vol. 51). EasyChair, 6–10. |
| DOI Details | Francesco Leofante, Erika Ábrahám, Tim Dieter Niemüller, Gerhard Lakemeyer, and Armando Tacchella. 2017. On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. In 2017 IEEE International Conference on Information Reuse and Integration : IRI 2017 : San Diego, CA, USA, 4-6 August 2017 : proceedings. IEEE, Piscataway, NJ, 403–410. |
| Details | Erika Ábrahám and Sergiy Bogomolov (Eds.). 2017. Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Uppsala, Sweden, 22nd April 2017 (Electronic proceedings in theoretical computer science, Vol. 247). [Open Publishing Association], [Waterloo, NSW]. |
| DOI Details | Erika Ábrahám, Hadas Kress-Gazit, and Lorenzo Natale. 2017. Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). Dagstuhl Reports 7, 2 (2017), 48–63. |
| Details | Tim Dieter Niemüller, Gerhard Lakemeyer, Francesco Leofante, and Erika Ábrahám. 2017. Towards CLIPS-based Task Execution and Monitoring with SMT-based Decision Optimization. In 27th International Conference on Automated Planning and Scheduling June 19-23, 2017, Pittsburgh, USA : icaps Pittsburgh 2017 : PlanRob 2017 : Proceedings of the 5th Workshop on Planning and Robotics. 60–67. |
| Details | Erika Ábrahám and Sergiy Bogomolov. 2017. Preface. In Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Uppsala, Sweden, 22nd April 2017 (Electronic proceedings in theoretical computer science, Vol. 247). [Open Publishing Association], [Waterloo, NSW]. |
| DOI Details | Erika Ábrahám and Sergiy Bogomolov (Eds.). 2017. Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis : Uppsala, Sweden, 22nd April 2017 (Electronic proceedings in theoretical computer science, Vol. 247). [Open Publishing Association], [Waterloo, NSW]. |
| DOI Details | Erika Ábrahám and Gereon Kremer. 2017. SMT Solving for Arithmetic Theories: Theory and Tool Support. In 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, 1–8. |
| Details | Tim Dieter Niemüller, Gerhard Lakemeyer, Francesco Leofante, and Erika Ábrahám. 2017. Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization. In Proceedings of the 5th Workshop on Planning and Robotics at ICAPS (PLANROB 2017). |