Author:
Lisper Björn,Nordlander Johan
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Abadi, M., Lamport, L., Taylor, R.W.: An old-fashioned recipe for real time. In: ACM Transactions on Programming Languages and Systems, pp. 1–27. Springer (1992)
2. Alur, R., Courcoubetis, C., Dill, D.: Model-checking for real-time systems. In: Proc. Logic in Computer Science, pp. 414–425. IEEE (June 1990)
3. Alur, R., Henzinger, T.A.: A really temporal logic. J. ACM 41(1), 181–203 (1994)
4. Amon, T., Borriello, G., Hu, T., Liu, J.: Symbolic timing verification of timing diagrams using Presburger formulas. In: Proc. 34th Annual Design Automation Conference, pp. 226–231. ACM, New York (1997)
5. André, C., Mallet, F.: Clock constraints in UML/MARTE CCSL. Research report, INRIA (May 2008)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Runtime Verification of AUTOSAR Timing Extensions;Proceedings of the 30th International Conference on Real-Time Networks and Systems;2022-06-07
2. Temporal Tracing of On-Chip Signals using Timeprints;Proceedings of the 56th Annual Design Automation Conference 2019;2019-06-02
3. A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification;Cyber Physical Systems. Model-Based Design;2019
4. Verifying Event-Based Timing Constraints by Translation into Presburger Formulae;Lecture Notes in Computer Science;2017