|
СТ |
Abstract Interpretation of Programs as Markov Decision Processes |
2003 |
Monniaux D. |
|
|
|
Lecture Notes in Computer Science |
18.09.2003 |
|
СТ |
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software |
2002 |
Blanchet B., Cousot P., Cousot R., Feret J., Mauborgne L., Mine A., Monniaux D., Rival X. |
|
|
|
Lecture Notes in Computer Science |
14.02.2003 |
|
СТ |
An Abstract Analysis of the Probabilistic Termination of Programs |
2001 |
Monniaux D. |
|
|
|
Lecture Notes in Computer Science |
31.07.2001 |
|
СТ |
Backwards Abstract Interpretation of Probabilistic Programs |
2001 |
Monniaux D. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
Abstract Interpretattion of Probabilistic Semantics |
2000 |
Monniaux D. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.08.2000 |
