The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Joost-Pieter Katoen" ( http://dblp.L3S.de/Authors/Joost-Pieter_Katoen )

URL (Homepage):  http://www-i2.informatik.rwth-aachen.de/%7Ekatoen/  Author page on DBLP  Author page in RDF  Community of Joost-Pieter Katoen in ASPL-2

Publication years (Num. hits)
1989-1997 (15) 1998-2000 (20) 2001-2002 (16) 2003-2004 (18) 2005-2006 (19) 2007-2008 (28) 2009-2010 (30) 2011 (18) 2012 (17) 2013 (17) 2014 (23) 2015 (19) 2016 (27) 2017 (21) 2018 (27) 2019 (25)
Publication types (Num. hits)
article(124) book(1) incollection(4) inproceedings(202) proceedings(9)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 58 occurrences of 45 keywords

Results
Found 341 publication records. Showing 340 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll Quantitative separation logic: a logic for reasoning about probabilistic pointer programs. Search on Bibsonomy PACMPL The full citation details ... 2019 DBLP  DOI  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 Rel. Eng. & Sys. Safety The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja On the hardness of analyzing probabilistic programs. Search on Bibsonomy Acta Inf. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Milan Ceska 0002, 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
1Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, Mickael Randour Simple Strategies in Multi-Objective MDPs (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Milan Ceska 0002, 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
1Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow Multiple Analyses, Requirements Once: simplifying testing & verification in automotive model-based development. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen Aiming Low Is Harder - Inductive Proof Rules for Lower Bounds on Weakest Preexpectations in Probabilistic Program Verification. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Alejandro Aguirre 0001, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja Kantorovich Continuity of Probabilistic Programs. 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
1Mingzhang Huang, Hongfei Fu 0001, Joost-Pieter Katoen Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christel Baier, Holger Hermanns, Joost-Pieter Katoen The 10, 000 Facets of MDP Model Checking. Search on Bibsonomy Computing and Software Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Milan Ceska 0002, 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 0002, 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
1Jip Spel, Sebastian Junges, Joost-Pieter Katoen Are Parametric Markov Chains Monotonic? Search on Bibsonomy ATVA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen (eds.) 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany. Search on Bibsonomy MFCS The full citation details ... 2019 DBLP  BibTeX  RDF
1Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. Search on Bibsonomy FMICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthias Volk 0001, Norman Weik, Joost-Pieter Katoen, Nils Nießen A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas. Search on Bibsonomy FMICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta COMPASS 3.0. Search on Bibsonomy TACAS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Milan Ceska 0002, 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
1Yassmeen Elderhalli, Matthias Volk 0001, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar Formal Verification of Rewriting Rules for Dynamic Fault Trees. Search on Bibsonomy SEFM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen A new proof rule for almost-sure termination. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Joost-Pieter Katoen, Pushmeet Kohli, Jan Kretinsky Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2018 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
1Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms. Search on Bibsonomy J. ACM 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
1Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova Parameter-Independent Strategies for pMDPs via POMDPs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Tim Quatmann, Joost-Pieter Katoen Sound Value Iteration. 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
1Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll Quantitative Separation Logic. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Federico Olmedo, Friedrich Gretz, Nils Jansen 0001, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver Conditioning in Probabilistic Programming. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu 0013 Branching Bisimulation and Concurrent Object Verification. Search on Bibsonomy DSN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll Let this Graph Be Your Witness! - An Attestor for Verifying Java Pointer Programs. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan Monitoring CTMCs by Multi-clock Timed Automata. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tim Quatmann, Joost-Pieter Katoen Sound Value Iteration. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  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 Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova Parameter-Independent Strategies for pMDPs via POMDPs. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. Search on Bibsonomy FM 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
1Tim Lange 0001, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen Improving Generalization in Software IC3. Search on Bibsonomy SPIN The full citation details ... 2018 DBLP  DOI  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
1Maurice van Keulen, Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen Rule-Based Conditioning of Probabilistic Data. Search on Bibsonomy SUM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times. Search on Bibsonomy ESOP The full citation details ... 2018 DBLP  DOI  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
1Benjamin Lucien Kaminski, Joost-Pieter Katoen A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations. 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
1Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen A New Proof Rule for Almost-Sure Termination. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu 0013 Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation. 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
1Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate Quantitative model-checking of controlled discrete-time Markov processes. Search on Bibsonomy Inf. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen 0001, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli Synthesis and Verification of Self-aware Computing Systems. Search on Bibsonomy Self-Aware Computing Systems 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
1Benjamin Lucien Kaminski, Joost-Pieter Katoen A weakest pre-expectation semantics for mixed-sign expectations. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joost-Pieter Katoen, Mariëlle Stoelinga Boosting Fault Tree Analysis by Formal Methods. Search on Bibsonomy ModelEd, TestEd, TrustEd The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joost-Pieter Katoen, Falak Sher Modal Stochastic Games - Abstraction-Refinement of Probabilistic Automata. Search on Bibsonomy Models, Algorithms, Logics and Tools The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joost-Pieter Katoen, Rom Langerak, Arend Rensink (eds.) ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday Search on Bibsonomy ModelEd, TestEd, TrustEd 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
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
1Saba Aflaki, Matthias Volk 0001, Borzoo Bonakdarpour, Joost-Pieter Katoen, Arne Storjohann Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms. Search on Bibsonomy SRDS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anton Wijs, Joost-Pieter Katoen, Dragan Bosnacki Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga Confluence reduction for Markov automata. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joost-Pieter Katoen, Hao Wu 0013 Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja Inferring Covariances for Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Nils Jansen 0001, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen Bounded Model Checking for Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  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
1Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. 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
1Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Hao Wu 0013 Proving Linearizability via Branching Bisimulation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja Reasoning about Recursive Probabilistic Programs. 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
1Luca Aceto, Thomas A. Henzinger, Joost-Pieter Katoen, Wolfgang Thomas, Moshe Y. Vardi Viewpoints on "Logic activities in Europe", twenty years later. Search on Bibsonomy Bulletin of the EATCS 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
1Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja Inferring Covariances for Probabilistic Programs. Search on Bibsonomy QEST 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
1Joost-Pieter Katoen The Probabilistic Model Checking Landscape. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Souymodip Chakraborty, Joost-Pieter Katoen On the Satisfiability of Some Simple Probabilistic Logics. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja Reasoning about Recursive Probabilistic Programs. Search on Bibsonomy LICS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen Bounded Model Checking for Probabilistic Programs. Search on Bibsonomy ATVA 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
1Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. Search on Bibsonomy ESOP 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
1Hao Wu 0013, Xiaoxiao Yang, Joost-Pieter Katoen Performance Evaluation of Concurrent Data Structures. Search on Bibsonomy SETTA The full citation details ... 2016 DBLP  DOI  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
Displaying result #1 - #100 of 340 (100 per page; Change: )
Pages: [1][2][3][4][>>]
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