1. Assale Adje, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault & Sylvie Putot (2014): Static Analysis of Programs with Imprecise Probabilistic Inputs, pp. 22–47. Springer Berlin Heidelberg, Berlin, Heidelberg, doi:10.1007/978-3-642-54108-7_2.
  2. Troy Butler, Don Estep & Nishant Panda (2018): A Ramble Through the Foundations of Probability [unpublished].
  3. Patrick Cousot & Radhia Cousot (1977): Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, doi:10.1145/512950.512973.
  4. Patrick Cousot & Radhia Cousot (1979): Systematic design of program analysis frameworks, doi:10.1145/567752.567778.
  5. Patrick Cousot, Radhia Cousot, Manuel Fähndrich & Francesco Logozzo (2013): Automatic inference of necessary preconditions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7737 LNCS, pp. 128–148, doi:10.1007/978-3-642-35873-9_10.
  6. Patrick Cousot & Michael Monerau (2012): Probabilistic Abstract Interpretation, pp. 169–193. Springer Berlin Heidelberg, Berlin, Heidelberg, doi:10.1007/978-3-642-28869-2_9.
  7. Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski & René Thiemann (2017): Analyzing Program Termination and Complexity Automatically with AProVE. Journal of Automated Reasoning 58(1), pp. 3–31, doi:10.1007/s10817-016-9388-y.
  8. Joseph Y. Halpern & Ronald Fagin (1989): Modelling knowledge and action in distributed systems. Distributed Computing 3(4), pp. 159–177, doi:10.1007/BF01784885.
  9. Maja H. Kirkeby & Mads Rosendahl (2016): Probabilistic Resource Analysis by Program Transformation. In: Marko van Eekelen & Ugo Dal Lago: Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers. Springer International Publishing, Cham, pp. 60–80, doi:10.1007/978-3-319-46559-3_4.
  10. George J Klir (2007): Uncertainty and Information: Foundations of Generalized Information Theory (Klir, G.J.; 2006) 18, doi:10.1109/TNN.2007.906888.
  11. Dexter Kozen (1985): A probabilistic PDL. Journal of Computer and System Sciences 30(2), pp. 162–178, doi:10.1016/0022-0000(85)90012-1.
  12. Antoine Miné (2006): The octagon abstract domain. Higher-Order and Symbolic Computation 19(1), pp. 31–100, doi:10.1007/s10990-006-8609-1.
  13. David Monniaux (2000): Abstract Interpretation of Probabilistic Semantics. In: Jens Palsberg: Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings, Lecture Notes in Computer Science 1824. Springer, pp. 322–339, doi:10.1007/978-3-540-45099-3_17.
  14. David Monniaux (2001): Backwards Abstract Interpretation of Probabilistic Programs. In: David Sands: Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Genova, Italy, April 2-6, 2001, Proceedings, Lecture Notes in Computer Science 2028. Springer, pp. 367–382, doi:10.1007/3-540-45309-1_24.
  15. Flemming Nielson, Hanne Riis Nielson & Chris Hankin (1999): Principles of Program Analysis. Springer Berlin Heidelberg, Berlin, Heidelberg, doi:10.1007/978-3-662-03811-6.
  16. Hanne Riis Nielson & Flemming Nielson (2007): Semantics with Applications: an Appetizer, doi:10.1159/000321363.
  17. Enrique H. Ruspini: Epistemic Logics, Probability, and the Calculus of Evidence. In: Classic Works of the Dempster-Shafer Theory of Belief Functions. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 435–448, doi:10.1007/978-3-540-44792-4_17.
  18. Sriram Sankaranarayanan, Aleksandar Chakarov & Sumit Gulwani (2013): Static analysis for probabilistic programs. ACM SIGPLAN Notices 48(6), pp. 447, doi:10.1145/2499370.2462179.
  19. Glenn Shafer (1990): Perspectives on the theory and practice of belief functions. International Journal of Approximate Reasoning 4(5-6), pp. 323–362, doi:10.1016/0888-613X(90)90012-Q.

Comments and questions to:
For website issues: