Expressing and organizing real-time specification patterns via temporal logics-Reference-Cited by-同舟云学术

Expressing and organizing real-time specification patterns via temporal logics

Published:2009-02 Issue:2 Volume:82 Page:183-196
ISSN:0164-1212
Container-title:Journal of Systems and Software
language:en
Short-container-title:Journal of Systems and Software

Author:

Bellini P.,Nesi P.,Rogai D.

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference23 articles.

1. Alavi, H., Avrunin, G., Corbett, J., Dillon, L., Dwyer M., Pasareanu, C., 2007. SAnToS Laboratory. Specification Patterns web site http://patterns.projects.cis.ksu.edu/.

2. Logics and models of real time: a survey;Alur,1992

3. Alur, R., 1991. Techniques for automatic verification of real-time systems. Ph.D. thesis, Stanford University.

4. TILCO-X an extension of TILCO temporal logic;Bellini,2001

5. Temporal logics for real-time system specification;Bellini;ACM Computing Surveys,2000

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

1. Research Landscape of Patterns in Software Engineering: Taxonomy, State-of-the-Art, and Future Directions;SN Computer Science;2024-04-08

2. Verifiable biology;Journal of The Royal Society Interface;2023-05

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

4. A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL;SSRN Electronic Journal;2021

5. A language and a pattern system for temporal property specification: advanced metering infrastructure case study;International Journal of Information Security;2020-01-09