Author:
Meseguer José,Sharykin Raman
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Agha, G., Meseguer, J., Sen, K.: PMaude: Rewrite-based specification language for probabilistic object systems. In: 3rd Workshop on Quantitative Aspects of Programming Languages (QALP 2005) ENTCS (2005), http://osl.cs.uiuc.edu/~ksen/publications.html ,
2. Lecture Notes in Computer Science;R. Alur,2004
3. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138, 3–34 (1995)
4. Alur, R., Dang, T., Esposito, J.M., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G.J., Sokolsky, O.: Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE 91(1), 11–28 (2003)
5. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-checking continuous-time markov chains. ACM Trans. Comput. Logic 1(1), 162–170 (2000)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Survey of Statistical Model Checking;ACM Transactions on Modeling and Computer Simulation;2018-01-31
2. A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems;Formal Aspects of Computing;2017-07
3. Hybrid CSP;Formal Verification of Simulink/Stateflow Diagrams;2016-11-08
4. José Meseguer: Scientist and Friend Extraordinaire;Lecture Notes in Computer Science;2015
5. Extending Hybrid CSP with Probability and Stochasticity;Dependable Software Engineering: Theories, Tools, and Applications;2015