Probabilistic Contracts for Component-Based Design
暂无分享,去创建一个
[1] Martin Leucker,et al. Don't Know in Probabilistic Systems , 2006, SPIN.
[2] Thomas A. Henzinger,et al. Compositional Methods for Probabilistic Systems , 2001, CONCUR.
[3] Hongyang Qu,et al. Assume-Guarantee Verification for Probabilistic Systems , 2010, TACAS.
[4] Bertrand Meyer,et al. Advances in object-oriented software engineering , 1992 .
[5] Annabelle McIver,et al. Probabilistic predicate transformers , 1996, TOPL.
[6] Wang Yi,et al. Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information , 1994, FTRTFT.
[7] Benoît Caillaud,et al. A Model for Probabilistic Reasoning on Assume/Guarantee Contracts , 2008, ArXiv.
[8] Antti Valmari,et al. \emph{Don't know} in probabilistic systems , 2005 .
[9] Thomas A. Henzinger,et al. Interface theories with component reuse , 2008, EMSOFT '08.
[10] Joseph Sifakis,et al. Composition for component-based modeling , 2002, Sci. Comput. Program..
[11] Roberto Passerone,et al. Why Are Modalities Good for Interface Theories? , 2009, 2009 Ninth International Conference on Application of Concurrency to System Design.
[12] MeyerBertrand,et al. Design by Contract , 1997 .
[13] Jean-Baptiste Raclet,et al. Modal Contracts for Component-Based Design , 2009, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
[14] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[15] Kim G. Larsen,et al. Compositional Design Methodology with Constraint Markov Chains , 2010, 2010 Seventh International Conference on the Quantitative Evaluation of Systems.
[16] Joost-Pieter Katoen,et al. Compositional Abstraction for Stochastic Systems , 2009, FORMATS.
[17] Holger Hermanns,et al. Interactive Markov Chains , 2002, Lecture Notes in Computer Science.
[18] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[19] Kim Guldstrand Larsen,et al. Specification and refinement of probabilistic processes , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
[20] Dana N. Xu,et al. Probabilistic contracts for component-based design , 2012, Formal Methods Syst. Des..
[21] Axel Legay,et al. Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects , 2011, Formal Methods Syst. Des..