Patterns for Timed Property Specifications-Reference-Cited by-同舟云学术

Patterns for Timed Property Specifications

Published:2006-05 Issue:2 Volume:153 Page:117-133
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Gruhn Volker,Laue Ralf

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference15 articles.

1. Visual timed event scenarios;Alfonso,2004

2. Alur, R. and D.L. Dill, Automata for modeling real-time systems, in: Proceedings of the 17th International Colloquium on Automata, Languages and Programming (1990), pp. 322–335

3. Braberman, V.A. and M. Felder, Verification of real-time designs: Combining scheduling theory with automatic formal verification., in: ESEC / SIGSOFT FSE, 1999, pp. 494–510

4. Corbett, J.C., M.B. Dwyer, J. Hatcliff and Robby, A language framework for expressing checkable properties of dynamic software, in: SPIN, 2000, pp. 205–223

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

1. Adaptable Configuration of Decentralized Monitors;Lecture Notes in Computer Science;2024

2. Runtime Verification of Self-Adaptive Systems with Changing Requirements;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05

3. A property specification pattern catalog for real-time system verification with UPPAAL;Information and Software Technology;2023-02

4. Security Analysis: From Model to System Analysis;Lecture Notes in Computer Science;2023

5. Language Inclusion Checking of Timed Automata Based on Property Patterns;Applied Sciences;2022-12-16