Publications

Export 329 results:
Sort by: Author [ Title (Asc)] Type Year
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 
C
E. M. Hahn, A. Hartmanns, H. Hermanns, and J. - P. Katoen, “A Compositional Modeling and Analysis Framework for Stochastic Hybrid Systems”, Formal Methods in System Design, 2012.PDF icon fmsd2012_final.pdf (1.77 MB)
E. M. Hahn, A. Hartmanns, H. Hermanns, and J. - P. Katoen, “A compositional modelling and analysis framework for stochastic hybrid systems”, Formal Methods in System Design, vol. 43, p. 191-232, 2013.
H. Hermanns, J. Krčál, and J. Kret\'ınský, “Compositional Verification and Optimization of Interactive Markov Chains”, in CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, Buenos Aires, 2013.
Y. Kawamoto, K. Chatzikokolakis, and C. Palamidessi, “Compositionality Results for Quantitative Information Flow”, in Proceedings of the 11th International Conference on Quantitative Evaluation of SysTems (QEST 2014), Florence, Italy, 2014.
D. Gebler, V. Hashemi, and A. Turrini, “Computing Behavioral Relations for Probabilistic Concurrent Systems”, in {ROCKS}, 2012.
C. Baier, J. Klein, S. Klüppelholz, and S. Märcker, “Computing Conditional Probabilities in Markovian Models Efficiently”, in Proc. of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2014.
D. Déharbe, P. Fontaine, D. Le Berre, and B. Mazure, “Computing Prime Implicants”, in 13th Intl. Conf. Formal Methods for Computer-Aided Design (FMCAD 2013), Portland, OR, U.S.A., 2013.
M. Ummels and C. Baier, “Computing Quantiles in Markov Reward Models”, in Foundations of Software Science and Computation Structures, 16th International Conference, FOSSACS13, 2013, vol. 7794, p. 353-368.
F. van den Berg, J. Hooman, A. Hartmanns, B. R. Haverkort, and A. Remke, “Computing Response Time Distributions Using Iterative Probabilistic Model Checking”, in Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, 2015.
C. G. López Pombo and T. S. E. Maibaum, “Concrete models for modal logics via proof theory”. 2014.
CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings”, Lecture Notes in Computer Science, vol. 8052. 2013.
J. - P. Katoen, “Concurrency Meets Probability: Theory and Practice - (Abstract)”, in CONCUR 2013 – Concurrency Theory, 2013, vol. 8052, p. 44-45.PDF icon concur_2013_katoen.pdf (103.79 KB)
R. Bruni, H. C. Melgratti, U. Montanari, and P. Sobocinski, “Connector algebras for C/E and P/T nets interactions”, Logical Methods in Computer Science, vol. 9, no. 16, p. 1–65, 2013.
K. Chatzikokolakis, C. Palamidessi, and M. Stronati, “Constructing elastic distinguishability metrics for location privacy”, Privacy Enhancing Technologies (PoPETs), vol. 2015, p. 156–170, 2015.
R. Pulungan and H. Hermanns, “A construction and minimization service for continuous probability distributions”, {STTT}, vol. 17, p. 77–90, 2015.
N. D'Ippolito, V. A. Braberman, N. Piterman, and S. Uchitel, “Controllability in Partial and Uncertain Environments”, in 14th International Conference on Application of Concurrency to System Design, Tunis, Tunisia, 2014.PDF icon paper.pdf (696.41 KB)
N. D'Ippolito, V. A. Braberman, N. Piterman, and S. Uchitel, “Controllability in Partial and Uncertain Environments”, in 14th International Conference on Application of Concurrency to System Design, {ACSD} 2014, Tunis La Marsa, Tunisia, June 23-27, 2014, 2014.
V. Forejt, J. Krčál, and J. Křet{\'ınsk{\`y}, “Controller synthesis for MDPs and Frequency LTL $$\backslash$ setminus $ GU”, in LPAR 2015, In Press.
V. A. Braberman, N. D'Ippolito, N. Piterman, D. Sykes, and S. Uchitel, “Controller synthesis: from modelling to enactment”, in ICSE, 2013.
H. Hermanns and A. Turrini, “Cost Preserving Bisimulations for Probabilistic Automata”, in CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, 2013, vol. 8052, p. 349-363.
A. Turrini and H. Hermanns, “Cost Preserving Bisimulations for Probabilistic Automata”, Logical Methods in Computer Science, vol. 10, 2014.
D
L. Korenciak, J. Krčál, and V. Rehák, “Dealing with Zero Density Using Piecewise Phase-Type Approximation”, in Computer Performance Engineering - 11th European Workshop, {EPEW} 2014, Florence, Italy, September 11-12, 2014. Proceedings, 2014.
C. Eisentraut, H. Hermanns, J. Krämer, A. Turrini, and L. Zhang, “Deciding Bisimilarities on Distributions”, in Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, 2013, vol. 8054, p. 72-88.
H. Hermanns and A. Turrini, “Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time”, in IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, 2012, vol. 18, p. 435-447.
S. Abriola, M. E. Descotte, and S. Figueira, “Definability for Downward and Vertical XPath on Data Trees”, in 21th Workshop on Logic, Language, Information and Computation, 2014.

Pages