First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014-Reference-Cited by-同舟云学术

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Published:2017-04-07 Issue:1 Volume:21 Page:31-70
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Bartocci Ezio,Falcone Yliès,Bonakdarpour Borzoo,Colombo Christian,Decker Normann,Havelund Klaus,Joshi Yogi,Klaedtke Felix,Milewicz Reed,Reger Giles,Rosu Grigore,Signoles Julien,Thoma Daniel,Zalinescu Eugen,Zhang Yi

Funder

TU Wien

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/article/10.1007/s10009-017-0454-5/fulltext.html

Reference85 articles.

1. Abdulla, P.A., Rustan, K., Leino, M. (eds.): Proceedings of TACAS 2011: The 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Volume 6605 of LNCS. Springer, Berlin (2011)

2. Barrett, C., Deters, M., de Moura, L., Oliveras, Ade, Stump, A.: 6 years of SMT-COMP. J. Autom. Reason. 50(3), 243–277 (2013)

3. Barringer, H., Falcone, Y., Havelund, K., Reger, G., Rydeheard, D.E.: Quantified event automata: towards expressive and efficient runtime monitors. In: Proceedings of FM 2012: The 18th International Symposium on Formal Methods, Volume 7436 of LNCS, pp. 68–84. Springer, Berlin (2012)

4. Bartocci, E., Bonakdarpour, B., Falcone, Y.: First international competition on software for runtime verification. In: Bonakdarpour and Smolka [24], pp. 1–9

5. Bartocci, E., Bortolussi, L., Nenzi, L.: A temporal logic approach to modular design of synthetic biological circuits. In: Proceedings of CMSB 2013: The 11th International Conference on Computational Methods in Systems Biology, Volume 8130 of LNCS, pp. 164–177. Springer, Berlin (2013)

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

1. Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models;Lecture Notes in Computer Science;2024

2. Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09

3. Efficient and expressive bytecode-level instrumentation for Java programs;International Journal on Software Tools for Technology Transfer;2023-06-29

4. Anti-Patterns (Smells) in Temporal Specifications;2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER);2023-05

5. Trace Diagnostics for Signal-Based Temporal Properties;IEEE Transactions on Software Engineering;2023-05-01