Julia Krämer

According to our database, Julia Krämer authored at least 5 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm.

Edon Kelmendi, Julia Krämer, Jan Kretínský, Maximilian Weininger

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016

A Formal Approach to Error Localization and Correction in Service Compositions.

Julia Krämer, Heike Wehrheim

Proceedings of the Software Technologies: Applications and Foundations, 2016

The Value of Attack-Defence Diagrams.

Holger Hermanns, Julia Krämer, Jan Krcál, Mariëlle Stoelinga

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

A Short Survey on Using Software Error Localization for Service Compositions.

Julia Krämer, Heike Wehrheim

Proceedings of the Service-Oriented and Cloud Computing, 2016

2013

Deciding Bisimilarities on Distributions.

Christian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013