مقالات بحثية تمّ التفويض بإتاحتها للجميع - Joseph Sifakisمزيد من المعلومات
عدد المقالات البحثية غير المتاحة للجميع في أي موقع: 1
A framework for the specification and validation of dynamic reconfigurable systems
A El-Hokayem, M Bozga, J Sifakis
ACM SIGAPP Applied Computing Review 21 (2), 18-32, 2021
التفويضات: European Commission
عدد المقالات البحثية المتاحة للجميع في موقع ما: 9
The discipline of embedded systems design
TA Henzinger, J Sifakis
Computer 40 (10), 32-40, 2007
التفويضات: Swiss National Science Foundation
Parameterized systems in BIP: design and model checking
I Konnov, T Kotek, Q Wang, H Veith, S Bliudze, J Sifakis
27th International conference on concurrency theory (CONCUR 2016), 30: 1-30: 16, 2016
التفويضات: Swiss National Science Foundation, Vienna Science and Technology Fund, Austria
Programming dynamic reconfigurable systems
R El Ballouli, S Bensalem, M Bozga, J Sifakis
International Journal on Software Tools for Technology Transfer 23 (5), 701-719, 2021
التفويضات: European Commission
Component-based verification using incremental design and invariants
S Bensalem, M Bozga, A Legay, TH Nguyen, J Sifakis, R Yan
Software & Systems Modeling 15, 427-451, 2016
التفويضات: National Natural Science Foundation of China
Four exercises in programming dynamic reconfigurable systems: methodology and solution in DR-BIP
R El Ballouli, S Bensalem, M Bozga, J Sifakis
International Symposium on Leveraging Applications of Formal Methods, 304-320, 2018
التفويضات: European Commission
Simulation-based validation for autonomous driving systems
C Li, J Sifakis, Q Wang, R Yan, J Zhang
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
التفويضات: National Natural Science Foundation of China
A temporal configuration logic for dynamic reconfigurable systems
A El-Hokayem, M Bozga, J Sifakis
Proceedings of the 36th Annual ACM Symposium on Applied Computing, 1419-1428, 2021
التفويضات: European Commission
A layered implementation of DR-BIP supporting run-time monitoring and analysis
A El-Hokayem, S Bensalem, M Bozga, J Sifakis
Software Engineering and Formal Methods: 18th International Conference, SEFM …, 2020
التفويضات: European Commission
A hybrid controller for safe and efficient longitudinal collision avoidance control
Q Wang, X Zheng, J Zhang, J Sifakis
Journal of Systems Architecture 125, 102432, 2022
التفويضات: National Natural Science Foundation of China
يتم تحديد معلومات التمويل والنشر من خلال برنامج كمبيوتر تلقائيًا.