Author:
Alur R.,Grosu R.,McDougall M.
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Alur, R., Grosu, R.: Modular refinement of hierarchic reactive machines. In: Proceedings of the 27th Annual ACM Symposium on Principles of Programming Languages, pp. 390–402 (2000)
2. Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design 15(1), 7–48 (1999)
3. LNAI;R. Alur,1998
4. Aggarwal, S., Kurshan, R.P., Sharma, D.: A language for the specification and analysis of protocols. In: IFIP Protocol Specification, Testing, and Verification III, pp. 35–50 (1983)
5. Alur, R., Kannan, S., Yannakakis, M.: Communicating hierarchical state machines. In: Automata, Languages and Programming, 26th International Colloquium, pp. 169–178 (1999)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. HYASM: A Tool to Verify Hierarchical Systems;2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE);2023-12-14
2. Formalizing UML State Machines for Automated Verification – A Survey;ACM Computing Surveys;2023-07-13
3. A Reinforcement-Learning Style Algorithm for Black Box Automata;2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE);2022-10-13
4. Grey-Box Checking;Lecture Notes in Computer Science;2006
5. Modular Verification of Open Features Using Three-Valued Model Checking;Automated Software Engineering;2005-07