Publications
| 2017 | |
|---|---|
| DOI Details | Jannik Hüls, Stefan Schupp, Anne Remke, and Erika Ábrahám. 2017. Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. In Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools : VALUETOOLS 2017 : 5-7 December 2017, Venice, Italy (ICPS: ACM international conference proceeding series). ACM, New York, NY, USA, 178–185. |
| 2016 | |
| Details | Pascal Richter, Martin Frank, and Erika Ábrahám. 2016. Multi-objective optimization of solar tower power plants. In Progress in industrial mathematics at ECMI 2014 (Mathematics in industry). Springer, Cham, Switzerland. |
| DOI Details | Erika Ábrahám, Thi Mai Thuong Tran, and Martin Steffen. 2016. Observable Interface Behaviour and Inheritance. Mathematical structures in computer science : MSCS 26, Special Issue 03 (2016), 561–605. |
| DOI Details | Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, and Erika Ábrahám. 2016. Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. IMA journal of mathematical control and information 33, 3 (2016), 723–756. |
| DOI Details | Gereon Kremer, Florian Corzilius, and Erika Ábrahám. 2016. A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic. In Computer algebra in scientific computing : 18th international workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016 : proceedings (Lecture Notes in Computer Science, Vol. 9890). Springer International Publishing, Cham, 315–335. |
| DOI Details | Johanna Nellen, Kai Driessen, Martin Neuhäußer, Erika Ábrahám, and Benedikt Wolters. 2016. Two CEGAR-based approaches for the safety verification of PLC-controlled plants. Information systems frontiers : ISF 18, 5 (2016), 927–952. |
| DOI Details | Erika Ábrahám and Klaus Havelund. 2016. Some recent advances in automated analysis. International journal on software tools for technology transfer : STTT 18, 2 (April 2016), 121–128. |
| Details | Johanna Nellen. 2016. Analysis and synthesis of hybrid systems in engineering applications. Ph.D. Dissertation. RWTH Aachen University, Aachen. |
| DOI Details | 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, and Thomas Sturm. 2016. SC2 : Satisfiability Checking Meets Symbolic Computation. In Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings (Lecture Notes in Computer Science, Vol. 9791). Springer International Publishing, Cham, 28–43. |
| DOI Details | Erika Ábrahám, Florian Corzilius, Einar Broch Johnsen, Gereon Kremer, and Jacopo Mauro. 2016. Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies. In Dependable software engineering : theories, tools, and applications : second international symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings (Lecture Notes in Computer Science, Vol. 9984). Springer International Publishing, Cham, 229–245. |
| DOI Details | Francesco Leofante, Simone Vuotto, Erika Ábrahám, Armando Tacchella, and Nils Jansen. 2016. Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots. In Leveraging applications of formal methods, verification and validation : 7th international symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings (Lecture Notes in Computer Science, Vol. 9952). Springer International Publishing, Cham, 496–514. |
| DOI Details | Erika Ábrahám, Marcello Bonsangue, and Einar Broch Johnsen (Eds.). 2016. Theory and practice of formal methods : essays dedicated to Frank de Boer on the occasion of his 60th birthday. Lecture Notes in Computer Science, Vol. 9660. Springer International Publishing ; Imprint: Springer, Cham ; s.l. |
| Details | Pascal Richter, David Laukamp, Levin Gerdes, Martin Frank, and Erika Ábrahám. 2016. Heliostat Field Layout Optimization with Evolutionary Algorithms. In GCAI 2016 : 2nd Global Conference on Artificial Intelligence (EPiC Series in Computing, Vol. 41). [Cool Press Ltd], [Manchester], 240–252. |
| DOI Details | Erika Ábrahám and Gereon Kremer. 2016. Satisfiability Checking : Theory and Applications. In Software engineering and formal methods : 14th international conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings (Lecture Notes in Computer Science, Vol. 9763). Springer International Publishing ; Imprint: Springer, Cham ; s.l., 9–23. |
| DOI Details | Erika Ábrahám and Sergiy Bogomolov (Eds.). 2016. Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) : April 11, 2016, Vienna, Austria : held as part of CPS Week, April 11-14, 2016, Vienna, Austria. IEEE, Piscataway, NJ. |
| DOI Details | Erika Ábrahám and Marieke Huisman (Eds.). 2016. Integrated formal methods : 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings. Lecture Notes in Computer Science, Vol. 9681. Springer International Publishing ; Imprint: Springer, Cham ; s.l. |
| DOI Details | Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, and Erika Ábrahám. 2016. Parameter synthesis for probabilistic systems. In MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" : Albert-Ludwigs-Universität Freiburg im Breisgau 1.-2. März 2016. Albert-Ludwigs-Universität, Freiburg im Breisgau, 72–74. |
| DOI Details | Erika Ábrahám, Pascal Fontaine, Thomas Sturm, and Dongming Wang. 2016. Symbolic Computation and Satisfiability Checking : Report of Dagstuhl Seminar 15471. Dagstuhl reports 5, 11 (Nov. 2016), 71–89. |
| DOI Details | Florian Corzilius. 2016. Integrating virtual substitution into strategic SMT solving. Ph.D. Dissertation. RWTH Aachen University, Aachen. |
| DOI Details | 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, and M. England. 2016. Satisfiability checking and symbolic computation. ACM Communications in computer algebra : ACM CCA 50, 4 (2016), 145–147. |
| DOI Details | Erika Ábrahám. 2016. Symbolic Computation Techniques in Satisfiability Checking. In 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing : SYNASC 2016 : 24-27 September 2016, Timişoara, Romania : proceedings. IEEE, Piscataway, NJ, 3–10. |
| DOI Details | 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, and M. England. 2016. Satisfiability checking and symbolic computation. arXiv:1607.06945. |
| 2015 | |
| Details | Xin Chen. 2015. Reachability analysis of non-linear hybrid systems using Taylor Models. Ph.D. Dissertation. RWTH Aachen University, Aachen. |
| Details | Nils Jansen. 2015. Counterexamples in probabilistic verification. Ph.D. Dissertation. Aachen, Techn. Hochsch., Aachen. |
| DOI Details | Ralf Wimmer, Nils Jansen, Erika Ábrahám, and Joost-Pieter Katoen. 2015. High-level Counterexamples for Probabilistic Automata. Logical methods in computer science 11, 1 (2015), 15. |