Author:
Iannopollo Antonio,Tripakis Stavros,Sangiovanni-Vincentelli Alberto
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthesizing LTL contracts from component libraries using rich counterexamples;Science of Computer Programming;2024-09
2. A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification;2024 Design, Automation & Test in Europe Conference & Exhibition (DATE);2024-03-25
3. Contract-Driven Runtime Adaptation;Lecture Notes in Computer Science;2024
4. Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
5. Efficient Reactive Synthesis Using Mode Decomposition;Theoretical Aspects of Computing – ICTAC 2023;2023