Publications
| 2015 | |
|---|---|
| DOI Details | Tim Quatmann, Nils Jansen, Hans Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. 2015. Counterexamples for Expected Rewards. In FM 2015: formal methods : 20th international symposium, Oslo, Norway, June 24 - 26, 2015 ; proceedings (Lecture Notes in Computer Science, Vol. 9109). Springer, Cham, 435–452. |
| DOI Details | Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, and Stefan Kowalewski. 2015. A Benchmark Suite for Hybrid Systems Reachability Analysis. In NASA Formal Methods ; 7th International Symposium, NFM 2015, Pasadena, Calif., USA, April 27-29, 2015, Proceedings (Lecture Notes in Computer Science, Vol. 9058). Springer, Cham, 408–414. |
| DOI Details | Erika Ábrahám. 2015. Building Bridges between Symbolic Computation and Satisfiability Checking. In Proceedings of the 14th International Symposium on Symbolic and Algebraic Computation ; Bath, United Kingdom July 06 -09, 2015 ; ISSAC 2015. ACM Press, New York, NY, 6 pages. |
| DOI Details | Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, and Erika Ábrahám. 2015. SMT-RAT : an Open Source C++ Toolbox for Strategic and Parallel SMT Solving. In Theory and Applications of Satisfiability Testing : SAT 2015 ; 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Lecture Notes in Computer Science, Vol. 9340). Springer International Publishing, Cham, 360–368. |
| DOI Details | Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, and Joost-Pieter Katoen. 2015. A Greedy Approach for the Efficient Repair of Stochastic Models. In NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Lecture Notes in Computer Science, Vol. 9058). Springer International Publishing, Cham, 295–309. |
| DOI Details | Johanna Nellen, Erika Ábrahám, and Benedikt Wolters. 2015. A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata. In Formalisms for Reuse and Systems Integration. Advances in Intelligent Systems and Computing, Vol. 346. Springer International Publishing, Cham, 55–78. |
| DOI Details | Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, and Erika Ábrahám. 2015. PROPhESY : A PRObabilistic ParamEter SYnthesis Tool. In Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18 - 24, 2015 ; proceedings, part I (Lecture Notes in Computer Science, Vol. 9206). Springer International Publishing, Cham, 214–231. |
| DOI Details | Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, and Stefan Kowalewski. 2015. Current Challenges in the Verification of Hybrid Systems. In Cyber physical systems : design, modeling, and evaluation ; 5th international workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 ; proceedings (Lecture Notes in Computer Science, Vol. 9361). Springer International Publishing, Cham, 8–24. |
| Details | Xin Chen, Sriram Sankaranarayanan, and Erika Ábrahám. 2015. Flow* 1.2: More Effective to Play with Hybrid Systems. In ARCH14-15. 1st and 2nd International Workshop on Applied veRication for Continuous and Hybrid Systems (EPiC Series in Computer Science, Vol. 34). EasyChair, [Manchester], 152–159. |
| Details | Johanna Nellen, Benedikt Wolters, Lukas Stephan Michael Netz, Sascha Geulen, and Erika Ábrahám. 2015. A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs. In GCAI 2015 : Global Conference on Artificial Intelligence (EPiC series in computing, Vol. 36). EasyChair, [Manchester], 196–214. |
| DOI Details | Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, and Achim Streit. 2015. Challenges and Recommendations for Preparing HPC Applications for Exascale. arXiv:1503.06974. |
| Details | Sascha Geulen, Martina Joševski, Johanna Nellen, Janosch Fuchs, Lukas Stephan Michael Netz, Benedikt Wolters, Erika Ábrahám, Walter Unger, and Dirk Abel. 2015. Online Lernen als Kontrollstrategie in Hybridfahrzeugen; Nichtred. Ms.-Dr. In Autoreg 2015 : Auf dem Weg zum automatisierten Fahren ; 7. Fachtagung in Baden-Baden, 09. und 10. Juni 2015 (VDI-Berichte, Vol. 2233). VDI-Verl., Düsseldorf, 101–112. |
| DOI Details | Erika Ábrahám, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, and Achim Streit. 2015. Preparing HPC Applications for Exascale: Challenges and Recommendations. In Proceedings : 2015 18th International Conference on Network-Based Information Systems, NBiS 2015 : 2-4 September 2015, Tamkang University, Taipei, Taiwan. IEEE, Piscataway, NJ, 401–406. |
| DOI Details | Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Stephan Michael Netz, Benedikt Wolters, Dirk Abel, Erika Ábrahám, and Walter Unger. 2015. Learning-based Control Strategies for Hybrid Electric Vehicles. In 2015 IEEE Conference on Control Applications (CCA 2015) : Sydney, Australia, 21 - 23 September 2015 : [part of IEEE Multi-Conference on Systems and Control (MSC 2015)]. IEEE, Piscataway, NJ, 1722–1728. |
| 2014 | |
| DOI Details | Erika Ábrahám, Bernd Becker, Hans Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, and Ralf Wimmer. 2014. Counterexample Generation for Discrete-Time Markov Models : An Introductory Survey. In Formal methods for executable software models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16 - 20, 2014 ; advanced lectures (Lecture notes in computer science, Vol. 8483). Springer, Cham, 65–121. |
| Details | Ralf Wimmer and Erika Ábrahám. 2014. Maybe or Maybe not : Contributions to Stochastic Verification. In Aspekte der Technischen Informatik : Festschrift zum 60. Geburtstag von Bernd Becker. Monsenstein und Vannerdat, Münster, 119–127. |
| Details | Xin Chen, Sriram Sankaranarayanan, and Erika Ábrahám. 2014. Under-approximate Flowpipes for Non-linear Continuous Systems. In 2014 formal methods in computer-aided design (FMCAD 2014) : Lausanne, Switzerland, 21 - 24 October 2014 (ACM Other conferences). IEEE, Piscataway, NJ, 59–66. |
| DOI Details | Daniela Lepri, Erika Ábrahám, and Peter Csaba Ölveczky. 2014. Sound and Complete Timed CTL Model Checking of Timed Kripke Structures and Real-Time Rewrite Theories. Science of computer programming 99 (2014), 128–192. |
| DOI Details | Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, and Johann Schuster. 2014. Symbolic counterexample generation for large discrete-time Markov chains. Science of computer programming 91, Part A (2014), 90–114. |
| DOI Details | Muhammad Fadlisyah, Peter Csaba Ölveczky, and Erika Ábrahám. 2014. Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships? Science of computer programming (2014). |
| DOI Details | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. 2014. Minimal counterexamples for linear-time probabilistic verification. Theoretical computer science 549 (2014), 61–100. |
| DOI Details | Hans Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, and Joost-Pieter Katoen. 2014. Fast Debugging of PRISM Models. In Automated technology for verification and analysis : 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014 ; proceedings (Lecture notes in computer science, Vol. 8837). Springer, Berlin, 146–162. |
| DOI Details | Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, and Bernd Becker. 2014. Accelerating Parametric Probabilistic Verification. In Quantitative evaluation of systems : 11th international conference, QEST 2014, Florence, Italy, September 8 - 10, 2014 ; proceedings (Lecture Notes in Computer Science, Vol. 8657). Springer, Cham, 404–420. |
| DOI Details | Erika Ábrahám and Catuscia Palamidessi (Eds.). 2014. Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 international conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3 - 5, 2014 ; proceedings. Lecture Notes in Computer Science, Vol. 8461. Springer, Berlin. |
| DOI Details | Johanna Nellen and Erika Ábrahám. 2014. A CEGAR Approach for the Reachability Analysis of PLC-controlled Chemical Plants. In 2014 IEEE 15th International Conference on Information Reuse and Integration (IRI) : 13 - 15 Aug. 2014, [Redwood City, California] ; [including workshops]. IEEE, Piscataway, NJ, 500–507. |