Time Constrained Verification of Analog Circuits using Model-Checking Algorithms. - Darius Grabowski; Daniel Platte; Lars Hedrich; Erich Barke (FAC, 2005)

Semi-symbolic modeling and simulation of circuits and systems. - Darius Grabowski; Christoph Grimm 001; Erich Barke (ISCAS, 2006)

Ein Verfahren zur effizienten Analyse von Schaltungen mit Parametervarianzen. - Darius Grabowski; Christoph Grimm 001; Erich Barke (MBMV, 2006)

Range Arithmetics to Speed up Reachability Analysis of Analog Systems. - Darius Grabowski; Markus Olbrich; Christoph Grimm 001; Erich Barke (FDL, 2007)

Analog circuit simulation using range arithmetics. - Darius Grabowski; Markus Olbrich; Erich Barke (ASP-DAC, 2008)

Formal approaches to analog circuit verification. - Erich Barke; Darius Grabowski; Helmut Graeb; Lars Hedrich; Stefan Heinen; Ralf Popp; Sebastian Steinhorst; Yifan Wang 001 (DATE, 2009)