Darius Grabowski

According to our database, Darius Grabowski authored at least 6 papers between 2005 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

Formal approaches to analog circuit verification.

Erich Barke, Darius Grabowski, Helmut Graeb, Lars Hedrich, Stefan Heinen, Ralf Popp, Sebastian Steinhorst, Yifan Wang

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Analog circuit simulation using range arithmetics.

Darius Grabowski, Markus Olbrich, Erich Barke

Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

2007

Range Arithmetics to Speed up Reachability Analysis of Analog Systems.

Darius Grabowski, Markus Olbrich, Christoph Grimm, Erich Barke

Proceedings of the Forum on specification and Design Languages, 2007

2006

Ein Verfahren zur effizienten Analyse von Schaltungen mit Parametervarianzen.

Darius Grabowski, Christoph Grimm, Erich Barke

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Semi-symbolic modeling and simulation of circuits and systems.

Darius Grabowski, Christoph Grimm, Erich Barke

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

2005

Time Constrained Verification of Analog Circuits using Model-Checking Algorithms.

Darius Grabowski, Daniel Platte, Lars Hedrich, Erich Barke

Proceedings of the First Workshop on Formal Verification of Analog Circuits, 2005