Person

Dr.

Sebastian Junges

M. Sc. RWTH

Former associate Postdoc

Sebastian Junges
Computer Science Departement, RTG UnRAVeL

Address

Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
 

Contact

workPhone
Phone: +49 241 80 21203
Fax: +49 241 80 22217

Office Hours

n.V.
 

Publications related to UnRAVeL

Source Author(s)
[Journal Article]
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
In: IEEE transactions on automatic control, 2020
[DOI: 10.1109/TAC.2020.2990140]
Winterer, Leonore
Junges, Sebastian
Wimmer, Ralf
Jansen, Nils
Topcu, Ufuk
et al.
[Contribution to a book, Contribution to a conference proceedings]
Scenario-Based Verification of Uncertain MDPs
In: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker, 287-305, 2020
[DOI: 10.1007/978-3-030-45190-5_16]
Cubuktepe, Murat
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
Topcu, Ufuk
[Dissertation / PhD Thesis]
Parameter synthesis in Markov models, 1 Online-Ressource (xv, 371 Seiten) : Illustrationen, 2020
Junges, Sebastian
[Contribution to a book, Contribution to a conference proceedings]
Counterexample-Driven Synthesis for Probabilistic Program Sketches
In: Formal methods - the next 30 years : third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings / Maurice H. ter Beek, Annabelle McIver, Jose N. Oliveira (eds.), 101-120, 2019
[DOI: 10.1007/978-3-030-30942-8_8]
Češka, Milan
Hensel, Christian
Junges, Sebastian
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Shepherding Hordes of Markov Chains
In: Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II / edited by Tomáš Vojnar, Lijun Zhang, 172-190, 2019
[DOI: 10.1007/978-3-030-17465-1_10]
Češka, Milan
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Are Parametric Markov Chains Monotonic?
In: Automated Technology for Verification and Analysis / Chen, Yu-Fang (Editor), 479-496, 2019
[DOI: 10.1007/978-3-030-31784-3_28]
Spel, Jip Josephine
Junges, Sebastian
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
On the Complexity of Reachability in Parametric Markov Decision Processes
In: 30th International Conference on Concurrency Theory : CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands / edited by Wan Fokkink, Rob van Glabbeek, 2019
[DOI: 10.4230/LIPICS.CONCUR.2019.14]
Winkler, Tobias
Junges, Sebastian
Pérez, Guillermo A.
Katoen, Joost-Pieter
[Contribution to a book]
Model Repair Revamped
In: From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky, 107-125, 2019
[DOI: 10.1007/978-3-030-31514-6_7]
Češka, Milan
Dehnert, Christian
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Correct-by-construction policies for POMDPs
In: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19 - ACM Press New York, New York, USA, 2019. - ISBN 9781450366977 - doi:10.1145/3313149.3313366, 6-8, 2019
[DOI: 10.1145/3313149.3313366]
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
Quatmann, Tim
Becker, Bernd
et al.
[Journal Article]
Safety analysis for vehicle guidance systems with dynamic fault trees
In: Reliability engineering & system safety, 186, 37-50, 2019
[DOI: 10.1016/j.ress.2019.02.005]
Ghadhab, Majdi
Junges, Sebastian
Katoen, Joost-Pieter
Kuntz, Matthias
Volk, Matthias
[Contribution to a book, Contribution to a conference proceedings]
Finite-State Controllers of POMDPs using Parameter Synthesis
In: 34th Conference on Uncertainty in Artificial Intelligence 2018 : Monterey, California, USA, 6-10 August 2018 / editors: Amir Globerson, Ricardo Silva ; Association for Uncertainty in Artificial Intelligence (AUAI). - Volume 1, 519-529, 2018
Junges, Sebastian
Jansen, Nils
Wimmer, Ralf
Quatmann, Tim
Winterer, Leonore
et al.
[Contribution to a book, Contribution to a conference proceedings]
Finite-State Controllers of POMDPs using Parameter Synthesis
In: Uncertainty in Artificial Intelligence : Proceedings of the Thirty-Fourth Conference (2018), August 6-10, 2018, Monterey, California, USA / Edited by Amir Globerson, Google Inc. and Tel Aviv University; Ricardo Silva, University College London and The Alan Turing Institute ; General Chairs: Gal Elidan, Google Inc. and The Hebrew University, Israel Kristian Kersting, TU Darmstadt, Germany, 519-529, 2018
Junges, Sebastian
Jansen, Nils
Wimmer, Ralf
Quatmann, Tim
Winterer, Leonore
et al.
[Contribution to a book, Contribution to a conference proceedings]
Model Checking for Safe Navigation Among Humans
In: Quantitative evaluation of systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings / Annabelle McIver, Andras Horvath (eds.), 207-222, 2018
[DOI: 10.1007/978-3-319-99154-2_13]
Junges, Sebastian
Jansen, Nils
Katoen, Joost-Pieter
Topcu, Ufuk
Zhang, Ruohan
et al.
[Contribution to a book, Contribution to a conference proceedings]
Synthesis in pMDPs : A Tale of 1001 Parameters
In: Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / edited by Shuvendu K. Lahiri, Chao Wang, 160-176, 2018
[DOI: 10.1007/978-3-030-01090-4]
Cubuktepe, Murat
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
Topcu, Ufuk
[Contribution to a book, Contribution to a conference proceedings]
One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs
In: Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / Editors: Khomenko, Victor, Roux, Olivier H. (Eds.), 272-293, 2018
[DOI: 10.1007/978-3-319-91268-4_14]
Junges, Sebastian
Katoen, Joost-Pieter
Stoelinga, Marielle
Volk, Matthias
[Contribution to a book, Contribution to a conference proceedings]
Multi-cost Bounded Reachability in MDP
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 / edited by Dirk Beyer, Marieke Huisman, 320-339, 2018
[DOI: 10.1007/978-3-319-89963-3_19]
Hartmanns, Arnd
Junges, Sebastian
Katoen, Joost-Pieter
Quatmann, Tim
[Journal Article]
Fast Dynamic Fault Tree Analysis by Model Checking Techniques
In: IEEE transactions on industrial informatics, 14 (1), 370-379, 2017
[DOI: 10.1109/TII.2017.2710316]
Volk, Matthias
Junges, Sebastian
Katoen, Joost-Pieter
[Preprint]
A storm is Coming: A Modern Probabilistic Model Checker, 14 Seiten : Tabellen, Diagramme, 2017
Dehnert, Christian
Junges, Sebastian
Katoen, Joost-Pieter
Volk, Matthias
[Contribution to a book, Contribution to a conference proceedings]
A Storm is Coming: A Modern Probabilistic Model Checker
In: Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 2, 592-600, 2017
[DOI: 10.1007/978-3-319-63390-9_31]
Dehnert, Hans Christian
Junges, Sebastian
Katoen, Joost-Pieter
Volk, Matthias
[Contribution to a book, Contribution to a conference proceedings]
Sequential Convex Programming for the Efficient Verification of Parametric MDPs
In: Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / Axel Legay, Tiziana Margaria (eds.). - Part 2, 133-150, 2017
[DOI: 10.1007/978-3-662-54580-5_8]
Cubuktepe, Murat
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
Papusha, Ivan
et al.
[Contribution to a book, Contribution to a conference proceedings]
JANI: Quantitative Model and Tool Interaction
In: Tools and algorithms for the construction and analysis of systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / Axel Legay, Tiziana Margaria (eds.). - Part 2, 151-168, 2017
[DOI: 10.1007/978-3-662-54580-5_9]
Budde, Carlos E.
Dehnert, Hans Christian
Hahn, E. Moritz
Hartmanns, Arnd
Junges, Sebastian
et al.
[Contribution to a book, Contribution to a conference proceedings]
Markov Automata with Multiple Objectives
In: Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 1, 140-159, 2017
[DOI: 10.1007/978-3-319-63387-9_7]
Quatmann, Tim
Junges, Sebastian
Katoen, Joost-Pieter
[Contribution to a book, Contribution to a conference proceedings]
Model-based Safety Analysis for Vehicle Guidance Systems
In: Computer safety, reliability, and security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings / Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch (eds.), 3-19, 2017
[DOI: 10.1007/978-3-319-66266-4_1]
Ghadhab, Majdi
Junges, Sebastian
Katoen, Joost-Pieter
Kuntz, Matthias
Volk, Matthias
[Contribution to a book, Contribution to a conference proceedings]
Motion planning under partial observability using game-based abstraction
In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC) : December 12-15, 2017, Melbourne, Australia, 2201-2208, 2017
[DOI: 10.1109/CDC.2017.8263971]
Winterer, Leonore
Junges, Sebastian
Wimmer, Ralf
Jansen, Nils
Topcu, Ufuk
et al.
[Journal Article]
Fault trees on a diet: automated reduction by graph rewriting
In: Formal aspects of computing, 29 (4), 651-703, 2017
[DOI: 10.1007/s00165-016-0412-0]
Junges, Sebastian
Guck, Dennis
Katoen, Joost-Pieter
Rensink, Arend
Stoelinga, Mariëlle