StarL-Reference-Cited by-同舟云学术

StarL

Published:2015-06-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM
language:
Short-container-title:

Author:

Lin Yixiao¹,Mitra Sayan¹

Affiliation:

1. University of Illinois at Urbana Champaign

Funder

AFOSR YIP grant

NSF CAREER grant

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2670529.2754966

Reference46 articles.

1. The StarL framework February 2015. Available for download from https://github.com/lin187/StarL_LCTES. The StarL framework February 2015. Available for download from https://github.com/lin187/StarL_LCTES.

2. Specifying and proving properties of timed I/O automata in the TIOA toolkit

3. Specifying and proving properties of timed I/O automata using Tempo

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

1. Decentralized Safe Control for Distributed Cyber-Physical Systems Using Real-Time Reachability Analysis;IEEE Transactions on Control of Network Systems;2023-09

2. PGCD;Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems;2019-04-16

3. Tᴏᴏʟ: accessible automated reasoning for human robot collaboration;Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2018-10-24

4. Antlab;ACM Transactions on Embedded Computing Systems;2017-10-10

5. Formally verified differential dynamic logic;Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs;2017-01-16