h1

121330

⇧ RWTH Aachen ⇧

Recent Publications

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Nellen, J. (Corresponding author)RWTH* ; Wolters, B. (Corresponding author) ; Netz, L. S. M. (Corresponding author)RWTH* ; Geulen, S. (Corresponding author) ; Ábrahám, E. (Corresponding author)RWTH* ; Joševski, M. (Contributor) ; Abel, D. (Contributor)
A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs
2015GCAI 2015 : Global Conference on Artificial Intelligence / editors: Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov
1. Global Conference on Artificial Intelligence, GCAI'15, TbilisiTbilisi, Rep of Georgia, 16 Oct 2015 - 19 Oct 20152015-10-162015-10-19 [Manchester] : EasyChair, EPiC series in computing 36, 196-214 (2015)2015     Fulltext BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Chen, X. (Corresponding author) ; Sankaranarayanan, S. (Corresponding author) ; Ábrahám, E. (Corresponding author)RWTH*
Flow* 1.2: More Effective to Play with Hybrid Systems
2015ARCH14-15. 1st and 2nd International Workshop on Applied veRication for Continuous and Hybrid Systems / Goran Frehse and Matthias Althoff (editors)
1. and 2nd Int. Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH'15, Seattle, WASeattle, WA, USA, 13 Apr 2015 - 17 Apr 20152015-04-132015-04-17 [Manchester] : EasyChair, EPiC Series in Computer Science 34, 152-159 (2015)2015     inactive 2020-03-24 BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Schupp, S. (Corresponding author)RWTH* ; Ábrahám, E.RWTH* ; Chen, X.RWTH* ; Ben Makhlouf, I.RWTH* ; Frehse, G. ; Sankaranarayanan, S. ; Kowalewski, S.RWTH*
Current Challenges in the Verification of Hybrid Systems
2015Cyber physical systems : design, modeling, and evaluation ; 5th international workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 ; proceedings / Christian Berger ... (eds.)
5. Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, AmsterdamAmsterdam, Netherlands, 8 Oct 2015 - 8 Oct 20152015-10-082015-10-08 Cham : Springer International Publishing, Lecture Notes in Computer Science 9361, 8-24 (2015) [10.1007/978-3-319-25141-7_2]2015   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Dehnert, H. C. (Corresponding author)RWTH* ; Junges, S.RWTH* ; Jansen, N. ; Corzilius, F. ; Volk, M.RWTH* ; Bruintjes, H. Y.RWTH* ; Katoen, J.-P.RWTH* ; Ábrahám, E.RWTH*
PROPhESY : A PRObabilistic ParamEter SYnthesis Tool
2015Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18 - 24, 2015 ; proceedings, part I / Daniel Kroening; Corina S. Păsăreanu (eds.). - Pt. 1
International Conference on Computer Aided Verification, CAV'15, San Francisco, CASan Francisco, CA, USA, 18 Jul 2015 - 24 Jul 20152015-07-182015-07-24 Cham : Springer International Publishing, Lecture Notes in Computer Science 9206, 214-231 (2015) [10.1007/978-3-319-21690-4_13]2015   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book Nellen, J. (Corresponding author)RWTH* ; Ábrahám, E.RWTH* ; Wolters, B.
A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata
2015Formalisms for Reuse and Systems Integration / edited by Thouraya Bouabana-Tebibel, Stuart H. Rubin Cham : Springer International Publishing, Advances in Intelligent Systems and Computing 346, 55-78 (2015) [10.1007/978-3-319-16577-6_3]2015   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Pathak, S. ; Ábrahám, E.RWTH* ; Jansen, N. (Corresponding author) ; Tacchella, A. ; Katoen, J.-P.RWTH*
A Greedy Approach for the Efficient Repair of Stochastic Models
2015NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi
7. NASA Formal Methods Symposium, NFM'15, Pasadena, CAPasadena, CA, USA, 27 Apr 2015 - 29 Apr 20152015-04-272015-04-29 Cham : Springer International Publishing, Lecture Notes in Computer Science 9058, 295-309 (2015) [10.1007/978-3-319-17524-9_21]2015   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Corzilius, F. (Corresponding author)RWTH* ; Kremer, G.RWTH* ; Junges, S.RWTH* ; Schupp, S.RWTH* ; Ábrahám, E.RWTH*
SMT-RAT : an Open Source C++ Toolbox for Strategic and Parallel SMT Solving
2015Theory and Applications of Satisfiability Testing : SAT 2015 ; 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / Marijn Heule ; Sean Weaver [Hrsg.]
International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, Austin, TXAustin, TX, USA, 24 Sep 2015 - 27 Sep 20152015-09-242015-09-27 Cham : Springer International Publishing, Lecture Notes in Computer Science 9340, 360-368 (2015) [10.1007/978-3-319-24318-4_26]2015   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Quatmann, T.RWTH* ; Jansen, N. ; Dehnert, H. C.RWTH* ; Wimmer, R. ; Ábrahám, E.RWTH* ; Katoen, J.-P.RWTH* ; Becker, B.
Counterexamples for Expected Rewards
2015FM 2015: formal methods : 20th international symposium, Oslo, Norway, June 24 - 26, 2015 ; proceedings / Nikolaj Bjørner; Frank de Boer (eds.)
20. international symposium Formal Methods, FM 2015, OsloOslo, Norway, 24 Jun 2015 - 26 Jun 20152015-06-242015-06-26 Cham [u.a.] : Springer, Lecture Notes in Computer Science 9109, 435-452 (2015) [10.1007/978-3-319-19249-9_27]2015   BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Wimmer, R. (Corresponding author) ; Jansen, N. (Corresponding author)RWTH* ; Ábrahám, E. (Corresponding author)RWTH* ; Katoen, J.-P. (Corresponding author)RWTH*
High-level Counterexamples for Probabilistic Automata
Logical methods in computer science 11(1), 15 (2015) [10.2168/LMCS-11(1:15)2015]2015     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Nellen, J.RWTH* ; Ábrahám, E. (Corresponding author)RWTH* ; Chen, X. ; Collins, P.
Counterexample Generation for Hybrid Automata
2014Formal techniques for safety-critical systems : second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013 ; revised selected papers / Cyrille Artho; Peter Csaba Ölveczky (eds.)
2. International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS'13, QueenstownQueenstown, New Zealand, 29 Oct 2013 - 30 Oct 20132013-10-292013-10-30 Cham : Springer International Publishing, Communications in Computer and Information Science 419, 88-106 (2014) [10.1007/978-3-319-05416-2_7]2014   BibTeX | EndNote: XML, Text | RIS

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS |