Mixed-signal test development using open standard modeling and description languages. - Ping Lu 013; Daniel Glaser; Gürkan Uygur; Susanne Weichslgartner; Klaus Helmreich; A. Lechner (BMAS, 2009)

A novel approach to entirely integrate Virtual Test into test development flow. - Ping Lu 013; Daniel Glaser; Gürkan Uygur; Klaus Helmreich (DATE, 2009)

Digital-driven formal analog verification for asynchronously feed-backed circuitries. - Gürkan Uygur; Sebastian Sattler (DDECS, 2012)

A Novel Formalism for Partially Defined Asynchronous Feedback Digital Circuits. - Gürkan Uygur; Sebastian Sattler (J. Electron. Test., 2013)

A New Approach for Modeling Inconsistencies in Digital-Assisted Analog Design. - Gürkan Uygur; Sebastian Sattler (J. Electron. Test., 2016)

Zur Parallelen Komposition von Automaten. - Gürkan Uygur (2019)