Assale Adje
Olivier Bouissou
Jean Goubault-Larrecq
Eric Goubault
Sylvie Putot
2014
Static Analysis of Programs with Imprecise Probabilistic Inputs
22–47
Springer Berlin Heidelberg
Berlin, Heidelberg
10.1007/978-3-642-54108-7_2
Troy Butler
Don Estep
Nishant Panda
2018
A Ramble Through the Foundations of Probability [unpublished]
Patrick Cousot
Radhia Cousot
1977
Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
10.1145/512950.512973
Patrick Cousot
Radhia Cousot
1979
Systematic design of program analysis frameworks
10.1145/567752.567778
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
128–148
10.1007/978-3-642-35873-9_10
Patrick Cousot
Michael Monerau
2012
Probabilistic Abstract Interpretation
169–193
Springer Berlin Heidelberg
Berlin, Heidelberg
10.1007/978-3-642-28869-2_9
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
3–31
10.1007/s10817-016-9388-y
Joseph Y. Halpern
Ronald Fagin
1989
Modelling knowledge and action in distributed systems
Distributed Computing
3
4
159–177
10.1007/BF01784885
Maja H. Kirkeby
Mads Rosendahl
2016
Probabilistic Resource Analysis by Program Transformation
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
60–80
10.1007/978-3-319-46559-3_4
George J Klir
2007
Uncertainty and Information: Foundations of Generalized Information Theory (Klir, G.J.; 2006)
18
10.1109/TNN.2007.906888
Dexter Kozen
1985
A probabilistic PDL
Journal of Computer and System Sciences
30
2
162–178
10.1016/0022-0000(85)90012-1
Antoine Miné
2006
The octagon abstract domain
Higher-Order and Symbolic Computation
19
1
31–100
10.1007/s10990-006-8609-1
David Monniaux
2000
Abstract Interpretation of Probabilistic Semantics
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
322–339
10.1007/978-3-540-45099-3_17
David Monniaux
2001
Backwards Abstract Interpretation of Probabilistic Programs
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
367–382
10.1007/3-540-45309-1_24
Flemming Nielson
Hanne Riis Nielson
Chris Hankin
1999
Principles of Program Analysis
Springer Berlin Heidelberg
Berlin, Heidelberg
10.1007/978-3-662-03811-6
Hanne Riis Nielson
Flemming Nielson
2007
Semantics with Applications: an Appetizer
10.1159/000321363
Enrique H. Ruspini
Epistemic Logics, Probability, and the Calculus of Evidence
Classic Works of the Dempster-Shafer Theory of Belief Functions
Springer Berlin Heidelberg
Berlin, Heidelberg
435–448
10.1007/978-3-540-44792-4_17
Sriram Sankaranarayanan
Aleksandar Chakarov
Sumit Gulwani
2013
Static analysis for probabilistic programs
ACM SIGPLAN Notices
48
6
447
10.1145/2499370.2462179
Glenn Shafer
1990
Perspectives on the theory and practice of belief functions
International Journal of Approximate Reasoning
4
5-6
323–362
10.1016/0888-613X(90)90012-Q