Publications

Export 5 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: First Letter Of Last Name is J  [Clear All Filters]
A B C D E F G H I [J] K L M N O P Q R S T U V W X Y Z   [Show ALL]
J
A. Jafari, E. Khamespanah, M. Sirjani, and H. Hermanns, “Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors”, {ECEASST}, vol. 70, 2014.
N. Jansen, et al., “Symbolic counterexample generation for large discrete-time Markov chains”, Sci. Comput. Program., vol. 91, p. 90-114, 2014.
N. Jansen, et al., “Accelerating Parametric Probabilistic Verification”, in Quantitative Evaluation of Systems (QEST'14), 2014.
D. N. Jansen, L. Song, and L. Zhang, “Revisiting Weak Simulation for Substochastic Markov Chains”, in Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, 2013, vol. 8054, p. 209-224.
Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings”, Lecture Notes in Computer Science, vol. 8054. 2013.