Darius Grabowski

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Erich Barke, Darius Grabowski, Helmut Graeb, Lars Hedrich, Stefan Heinen, Ralf Popp, Sebastian Steinhorst, Yifan Wang
Formal approaches to analog circuit verification. DATE (2009)
Darius Grabowski, Markus Olbrich, Erich Barke
Analog circuit simulation using range arithmetics. ASP-DAC (2008)
Darius Grabowski, Markus Olbrich, Christoph Grimm, Erich Barke
Range Arithmetics to Speed up Reachability Analysis of Analog Systems. FDL (2007)
Darius Grabowski, Christoph Grimm, Erich Barke
Semi-symbolic modeling and simulation of circuits and systems. ISCAS (2006)
Darius Grabowski, Daniel Platte, Lars Hedrich, Erich Barke
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms. Electron. Notes Theor. Comput. Sci. 153 (3) (2006)
Darius Grabowski, Christoph Grimm, Erich Barke
Ein Verfahren zur effizienten Analyse von Schaltungen mit Parametervarianzen. MBMV (2006)