October 30, 2024
Detection of Detrimental Weak Emergent Behavior Considering Operational Factors: a Ca...
Rune Andre Haugen, Satyanarayana Kokkula, Ali Ghaderi, et al.
August 28, 2024
Automation Processes for Efficient Verification of Complex Systems: an Empirical Case...
Rune André Haugen, Nils-Olav Skeie, Gerrit Muller, et al.