Вы здесь

Monniaux D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Abstract Interpretattion of Probabilistic Semantics 2000 Monniaux D. Lecture Notes in Computer Science Lecture Notes in Computer Science 19.08.2000
СТ Backwards Abstract Interpretation of Probabilistic Programs 2001 Monniaux D. Lecture Notes in Computer Science 28.04.2001
СТ An Abstract Analysis of the Probabilistic Termination of Programs 2001 Monniaux D. Lecture Notes in Computer Science 31.07.2001
СТ 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
СТ Abstract Interpretation of Programs as Markov Decision Processes 2003 Monniaux D. Lecture Notes in Computer Science 18.09.2003