Cited By
View all- Abboush MKnieke CRausch A(2024)A Virtual Testing Framework for Real-Time Validation of Automotive Software Systems Based on Hardware in the Loop and Fault InjectionSensors10.3390/s2412373324:12(3733)Online publication date: 8-Jun-2024
- Chakraborty SJha SSamii SMundhenk P(2024)Introduction to the Special Issue on Automotive CPS Safety & Security: Part 2ACM Transactions on Cyber-Physical Systems10.1145/36502108:2(1-17)Online publication date: 8-Mar-2024
- Yeolekar AMetta RChakraborty S(2024)SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID)10.1109/VLSID60093.2024.00052(276-280)Online publication date: 6-Jan-2024
- Show More Cited By