The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sebastian Junges" ( http://dblp.L3S.de/Authors/Sebastian_Junges )

  Author page on DBLP  Author page in RDF  Community of Sebastian Junges in ASPL-2

Publication years (Num. hits)
2012-2016 (18) 2017-2018 (22) 2019 (11)
Publication types (Num. hits)
article(22) inproceedings(29)
Venues (Conferences, Journals, ...)
CoRR(19) TACAS (2)(4) ATVA(2) CAV (1)(2) MBMV(2) SAFECOMP(2) SAT(2) AAAI Fall Symposia(1) CAI(1) CAV (2)(1) CDC(1) CONCUR(1) DSN(1) FM(1) Formal Asp. Comput.(1) From Reactive Systems to Cyber...(1) More (+10 of total 25)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 52 publication records. Showing 51 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk 0001 Safety analysis for vehicle guidance systems with dynamic fault trees. Search on Bibsonomy Rel. Eng. & Sys. Safety The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen Counterexample-Driven Synthesis for Probabilistic Program Sketches. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Milan Ceska Jr., Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Shepherding Hordes of Markov Chains. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk 0001 Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen 0001, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk 0001 Parameter Synthesis for Markov Models. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen On the Complexity of Reachability in Parametric Markov Decision Processes. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jip Spel, Sebastian Junges, Joost-Pieter Katoen Are Parametric Markov Chains Monotonic? Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen Counterexample-Driven Synthesis for Probabilistic Program Sketches. Search on Bibsonomy FM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Milan Ceska, Christian Dehnert, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Milan Ceska Jr., Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Shepherding Hordes of Markov Chains. Search on Bibsonomy TACAS (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen On the Complexity of Reachability in Parametric Markov Decision Processes. Search on Bibsonomy CONCUR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthias Volk 0001, Sebastian Junges, Joost-Pieter Katoen Fast Dynamic Fault Tree Analysis by Model Checking Techniques. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu The Partially Observable Games We Play for Cyber Deception. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nils Jansen 0001, Bettina Könighofer, Sebastian Junges, Roderick Bloem Shielded Decision-Making in MDPs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk 0001 One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sebastian Junges, Joost-Pieter Katoen, Mariëlle Stoelinga, Matthias Volk 0001 One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs. Search on Bibsonomy Petri Nets The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe Model Checking for Safe Navigation Among Humans. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker 0001 Finite-State Controllers of POMDPs using Parameter Synthesis. Search on Bibsonomy UAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu Synthesis in pMDPs: A Tale of 1001 Parameters. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann Multi-cost Bounded Reachability in MDP. Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk 0001 A storm is Coming: A Modern Probabilistic Model Checker. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Motion Planning under Partial Observability using Game-Based Abstraction. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker 0001 Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen Markov Automata with Multiple Objectives. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu Sequential Convex Programming for the Efficient Verification of Parametric MDPs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga Fault trees on a diet: automated reduction by graph rewriting. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk 0001 A Storm is Coming: A Modern Probabilistic Model Checker. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen Markov Automata with Multiple Objectives. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk 0001 Model-Based Safety Analysis for Vehicle Guidance Systems. Search on Bibsonomy SAFECOMP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Motion planning under partial observability using game-based abstraction. Search on Bibsonomy CDC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini JANI: Quantitative Model and Tool Interaction. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Murat Cubuktepe, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu Sequential Convex Programming for the Efficient Verification of Parametric MDPs. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Volk 0001, Sebastian Junges, Joost-Pieter Katoen Advancing Dynamic Fault Tree Analysis. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk 0001 The Probabilistic Model Checker Storm (Extended Abstract). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Joost-Pieter Katoen, Ufuk Topcu Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Tim Quatmann, Christian Dehnert, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Parameter Synthesis for Markov Models: Faster Than Ever. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Mariëlle Stoelinga Uncovering Dynamic Fault Trees. Search on Bibsonomy DSN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthias Volk 0001, Sebastian Junges, Joost-Pieter Katoen Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates. Search on Bibsonomy SAFECOMP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tim Quatmann, Christian Dehnert, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Parameter Synthesis for Markov Models: Faster Than Ever. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes Parameter Synthesis for Probabilistic Systems. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen Safety-Constrained Reinforcement Learning for MDPs. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Joost-Pieter Katoen, Ufuk Topcu Probabilistic Verification for Cognitive Models. Search on Bibsonomy AAAI Fall Symposia The full citation details ... 2016 DBLP  BibTeX  RDF
1Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks. Search on Bibsonomy SRDS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen Safety-Constrained Reinforcement Learning for MDPs. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Arend Rensink, Mariëlle Stoelinga Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. Search on Bibsonomy ISoLA (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Ulrich Loup, Florian Corzilius, Erika Ábrahám On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers. Search on Bibsonomy CAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation). Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #51 of 51 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license