Author:
El Ballouli Rim,Bensalem Saddek,Bozga Marius,Sifakis Joseph
Publisher
Springer International Publishing
Reference19 articles.
1. Lecture Notes in Computer Science;R Allen,1998
2. Basu, A., et al.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41–48 (2011)
3. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time systems in BIP. In: SEFM’06 Proceedings, pp. 3–12. IEEE Computer Society Press (2006)
4. Bliudze, S., Sifakis, J.: The algebra of connectors structuring interaction in BIP. IEEE Trans. Comput. 57(10), 1315–1330 (2008)
5. Bozga, M., Iosif, R., Sifakis, J.: Checking deadlock-freedom of parametric component-based systems. arXiv preprint arXiv:1805.10073 (2018)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Component-based Distributed Software Reconfiguration:A Verification-oriented Survey;ACM Computing Surveys;2023-08-26
2. On methods and tools for rigorous system design;International Journal on Software Tools for Technology Transfer;2021-06-22
3. A temporal configuration logic for dynamic reconfigurable systems;Proceedings of the 36th Annual ACM Symposium on Applied Computing;2021-03-22
4. Programming dynamic reconfigurable systems;International Journal on Software Tools for Technology Transfer;2021-01-05
5. A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis;Software Engineering and Formal Methods;2020