Author:
Abdulla Parosh Aziz,Jonsson Bengt
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proc. 5th IEEE Int. Symp. on Logic in Computer Science, pages 414–425, Philadelphia, 1990.
2. R. Alur, C. Courcoubetis, T. Henzinger, and P.-H. Ho. Hybrid automata: An algorithmic approach to the specification and verificationof hybrid systems. In Grossman, Nerode, Ravn, and Rischel, editors, Hybrid Systems, number 736 in Lecture Notes in Computer Science, pages 209–229, 1992.
3. Parosh Aziz Abdulla, Karlis čerāns, Bengt Jonsson, and Tsay Yih-Kuen. General decidability theorems for infinite-state systems. In Proc. 11th IEEE Int. Symp. on Logic in Computer Science, pages 313–321, 1996.
4. Parosh Aziz Abdulla and Bengt Jonsson. Verifying programs with unreliable channels. Information and Computation, 127(2):91–101, 1996.
5. Parosh Aziz Abdulla and Mats Kindahl. Decidability of simulation and bisimulation between lossy channel systems and finite state systems. In Lee and Smolka, editors, Proc. CONCUR '95, 6th Int. Conf. on Concurrency Theory, volume 962 of Lecture Notes in Computer Science, pages 333–347. Springer Verlag, 1995.
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Fixed Points and Noetherian Topologies;Lecture Notes in Computer Science;2023
2. Updatable timed automata with one updatable clock;Science China Information Sciences;2017-06
3. On Termination and Boundedness of Nested Updatable Timed Automata;Structured Object-Oriented Formal Language and Method;2017
4. Nested Timed Automata with Diagonal Constraints;Formal Methods and Software Engineering;2017
5. Parameterized verification;International Journal on Software Tools for Technology Transfer;2016-06-24