Cited By
View all- Beutner RFinkbeiner BGöbl A(2024)Visualizing Game-Based Certificates for Hyperproperty VerificationFormal Methods10.1007/978-3-031-71177-0_5(67-75)Online publication date: 9-Sep-2024
- Yang NCuijpers PHendriks DSchiffelers RLukkien JSerebrenik A(2023)An interview study about the use of logs in embedded software engineeringEmpirical Software Engineering10.1007/s10664-022-10258-828:2Online publication date: 11-Feb-2023
- Peng YFan XChen RYu ZLiu SChen YZhao YZhou F(2022)Visual abstraction of dynamic network via improved multi-class blue noise samplingFrontiers of Computer Science10.1007/s11704-021-0609-017:1Online publication date: 8-Aug-2022
- Show More Cited By