Concepedia

Darius Grabowski

DG

Statistics

Publications

6

Citations

133

H-Index

6

Active since

2006

Affiliations

Leibniz University Hannover(Current)

Goethe University Frankfurt

RWTH Aachen University

Darius Grabowski is an author at Leibniz University Hannover specializing in engineering, computer engineering, and formal methods.

Top concepts

EngineeringComputer EngineeringSimulationFormal MethodsModeling And SimulationVerificationComputer ScienceProgram AnalysisSoftware TestingHardware Security

Publications per year

2006–2009

6

Publications

6

Analog circuit simulation using range arithmetics

Darius Grabowski, Markus Olbrich, Erich Barke · Asia and South Pacific Design Automation Conference · 2008 · 36 citations

Numerical Analysis, Engineering, Analog-to-digital Converter +12

Analog circuit simulation using range arithmetics

Darius Grabowski, Markus Olbrich, Erich Barke · 2008 · 30 citations

Numerical Analysis, Engineering, Analog-to-digital Converter +12

Time Constrained Verification of Analog Circuits using Model-Checking Algorithms

Darius Grabowski, Daniel Platte, Lars Hedrich et al. · Electronic Notes in Theoretical Computer Science · 2006 · 23 citations · Full text

Semi-Symbolic Modeling and Simulation of Circuits and Systems

Darius Grabowski, Christoph Grimm, Erich Barke · 2006 · 18 citations

Engineering, Semi-symbolic Modeling, Circuit Design +11

Formal approaches to analog circuit verification

Erich Barke, Darius Grabowski, Helmut Graeb et al. · Design, Automation, and Test in Europe · 2009 · 15 citations

Engineering, Analog Design, Verification +18

1–5 of 6