Human- and Machine-Readable Requirements Formulation for Lab Verification Automation. - Marc Huppmann; Manuel Harrant; Thomas Nirmaier; Andi Buzo; Linus Maurer; Georg Pelz (ICECS, 2021)

Virtual Prototyping: Closing the digital gap between product requirements and post-Si verification. - Thomas Nirmaier; Manuel Harrant; Marc Huppmann; Wendy You; Georg Pelz (ITC, 2022)