 | 2009 |
|---|
| 5 |       | Erich Barke,
Darius Grabowski,
Helmut Graeb,
Lars Hedrich,
Stefan Heinen,
Ralf Popp,
Sebastian Steinhorst,
Yifan Wang:
Formal approaches to analog circuit verification.
DATE 2009: 724-729 |
| 2008 |
|---|
| 4 | | Darius Grabowski,
Markus Olbrich,
Erich Barke:
Analog circuit simulation using range arithmetics.
ASP-DAC 2008: 762-767 |
| 2007 |
|---|
| 3 |  | Darius Grabowski,
Markus Olbrich,
Christoph Grimm,
Erich Barke:
Range Arithmetics to Speed up Reachability Analysis of Analog Systems.
FDL 2007: 38-43 |
| 2006 |
|---|
| 2 | | Darius Grabowski,
Christoph Grimm,
Erich Barke:
Semi-symbolic modeling and simulation of circuits and systems.
ISCAS 2006 |
| 1 | | Darius Grabowski,
Daniel Platte,
Lars Hedrich,
Erich Barke:
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms.
Electr. Notes Theor. Comput. Sci. 153(3): 37-52 (2006) |
