Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Δ − Σ Modulator-Reference-Cited by-同舟云学术

Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Δ − Σ Modulator

Published:2009 Issue: Volume: Page:149-163
ISSN:0302-9743
Container-title:Hardware and Software: Verification and Testing
language:
Short-container-title:

Author:

Clarke Edmund,Donzé Alexandre,Legay Axel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-01702-5_16

Reference25 articles.

1. Aziz, P.M., Sorensen, H.V., Van Der Spiegel, J.: An overview of sigma-delta converters. IEEE Signal Processing Magazine, 61–84 (January 1996)

2. Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time markov chains. IEEE Trans. Software Eng. 29(6), 524–541 (2003)

3. Ciesinski, F., Baier, C.: Liquor: A tool for qualitative and quantitative linear time analysis of reactive systems. In: QEST, pp. 131–132. IEEE, Los Alamitos (2006)

4. Lecture Notes in Computer Science;F. Ciesinski,2004

5. Courcoubetis, C., Yannakakis, M.: The complexity of probabilistic verification. Journal of the ACM 42(4), 857–907 (1995)

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.;25th ACM International Conference on Hybrid Systems: Computation and Control;2022-05-04

2. Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.;25th ACM International Conference on Hybrid Systems: Computation and Control;2022-05-04

3. Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning;IEEE Transactions on Software Engineering;2021-12-01

4. Statistical model checking of relief supply location and distribution in natural disaster management;International Journal of Disaster Risk Reduction;2018-10

5. Formal verification of probabilistic SystemC models with statistical model checking;Journal of Software: Evolution and Process;2017-08-14