Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
174 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Safe-DS: A Domain Specific Language to Make Data Science Safe;2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER);2023-05
2. Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems;Lecture Notes in Computer Science;2023
3. IDE as Code: Reifying Language Protocols as First-Class Citizens;14th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference);2021-02-25
4. A CSP-Based Approach for Managing the Dynamic Reconfiguration of Software Architecture;International Journal of Information Technologies and Systems Approach;2021-01
5. Formal Specification and Verification of Timing Behavior in Safety-Critical IoT Systems;Transactions on Computational Science and Computational Intelligence;2021