Author:
Delahaye Benoît,Katoen Joost-Pieter,Larsen Kim G.,Legay Axel,Pedersen Mikkel L.,Sher Falak,Wąsowski Andrzej
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;N. Beneš,2009
2. Caillaud, B., Delahaye, B., Larsen, K.G., Legay, A., Pedersen, M.L., Wąsowski, A.: Decision Problems for Interval Markov Chains (2010), http://www.cs.aau.dk/~mikkelp/doc/IMCpaper.pdf (Research report)
3. Caillaud, B., Delahaye, B., Larsen, K.G., Legay, A., Pedersen, M.L., Wąsowski, A.: Compositional design methodology with constraint Markov chains. In: QEST. IEEE, Los Alamitos (2010)
4. Caillaud, B., Delahaye, B., Larsen, K.G., Legay, A., Pedersen, M.L., Wąsowski, A.: Compositional design methodology with constraint Markov chains. Submitted to TCS. Elsevier, Amsterdam (2010)
5. Canetti, R., Cheung, L., Kaynar, D.K., Liskov, M., Lynch, N.A., Pereira, O., Segala, R.: Analyzing security protocols using time-bounded task-pioas. Discrete Event Dynamic Systems 18(1), 111–159 (2008)
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formally verifying decompositions of stochastic specifications;International Journal on Software Tools for Technology Transfer;2024-02-21
2. Formally Verifying Decompositions of Stochastic Specifications;Formal Methods for Industrial Critical Systems;2022
3. Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design;ACM Transactions on Embedded Computing Systems;2019-01-31
4. Contracts for System Design;Foundations and Trends® in Electronic Design Automation;2018
5. Model Checking Probabilistic Systems;Handbook of Model Checking;2018