7 citations · 11 across the 6 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SE2020
Towards a Systems Engineering based Automotive Product Engineering Process
Hassan Hage, Vahid Hashemi, Frank Mantwill
Deficit and redundancies in existing automotive product development hinder a systems engineering based development. In this paper we discuss a methodical procedure to eliminate def…
cs.LO2020
DeepAbstract: Neural Network Abstraction for Accelerating Verification
Pranav Ashok, Vahid Hashemi, Jan Křetínský +1
While abstraction is a classic tool of verification to scale it up, it is not used very often for verifying neural networks. However, it can help with the still open task of scalin…