15 results on '"Joost-Pieter Katoen"'
Search Results
2. Towards Concurrent Quantitative Separation Logic.
3. On the Complexity of Reachability in Parametric Markov Decision Processes.
4. Tight Game Abstractions of Probabilistic Automata.
5. Efficient Modelling and Generation of Markov Automata.
6. Abstraction for Stochastic Systems by Erlang's Method of Stages.
7. Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning.
8. Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes.
9. Comparative Branching-Time Semantics.
10. Simulation for Continuous-Time Markov Chains.
11. Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains.
12. Approximate Symbolic Model Checking of Continuous-Time Markov Chains.
13. Causal Ambiguity and Partial Orders in Event Structures.
14. Concurrency Meets Probability: Theory and Practice - (Abstract).
15. CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.