This page shows all presentations of this author published in EasyChair Smart Slide.
Automated Design Behaviour Extraction of SoC Interconnects Using Formal Property Verification
Jan Hahlbeck, Chandana Guddenahalli Palaksha and Görschwin Fey
FaMoS– Fast Model Learning for Hybrid Cyber-Physical Systems Using Decision Trees
Swantje Plambeck, Aaron Bracht, Nemanja Hranisavljevic and Goerschwin Fey