On Temporal Logic and Signal Processing-Reference-Cited by-同舟云学术

On Temporal Logic and Signal Processing

Published:2012 Issue: Volume: Page:92-106
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Donzé Alexandre,Maler Oded,Bartocci Ezio,Nickovic Dejan,Grosu Radu,Smolka Scott

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-33386-6_9

Reference33 articles.

1. Benveniste, A., Le Guernic, P., Jacquemot, C.: Synchronous programming with events and relations: the signal language and its semantics. Sci. Comput. Program. 16(2), 103–149 (1991)

2. Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.: Lustre: A declarative language for programming synchronous systems. In: POPL, pp. 178–188 (1987)

3. Lecture Notes in Computer Science;A. Chakarov,2012

4. d’Angelo, B., Sankaranarayanan, S., Sánchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.: Lola: Runtime monitoring of synchronous systems. In: TIME, pp. 166–174. IEEE (2005)

5. Lecture Notes in Computer Science;A. Donzé,2010

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

1. Context, Composition, Automation, and Communication: The C ² AC Roadmap for Modeling and Simulation;ACM Transactions on Modeling and Computer Simulation;2024-08-13

2. Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints;Formal Aspects of Computing;2024-06-26

3. Stress Testing Control Loops in Cyber-physical Systems;ACM Transactions on Software Engineering and Methodology;2023-12-21

4. A Multiresolution Analysis of Temporal Logic;25th ACM International Conference on Hybrid Systems: Computation and Control;2022-05-04

5. Multi-Valued Reasoning about Reactive Systems;Foundations and Trends® in Theoretical Computer Science;2022