Travelled to:1 × France
1 × Germany
1 × Poland
Collaborated with:G.Frehse R.A.Rutenbar Z.Ren R.Marculescu E.M.Clarke A.Fehnker Z.Han O.Stursberg M.Theobald
Talks about:abstract (2) refin (2) counterexampl (1) hierarch (1) backward (1) forward (1) circuit (1) verifi (1) system (1) hybrid (1)
Person: Bruce H. Krogh
DBLP: Krogh:Bruce_H=
Contributed to:
20062004
2003Wrote 3 papers:
- DATE-2006-FrehseKR #abstraction #refinement #using #verification
- Verifying analog oscillator circuits using forward/backward abstraction refinement (GF, BHK, RAR), pp. 257–262.
- DATE-v1-2004-RenKM #adaptation #power management
- Hierarchical Adaptive Dynamic Power Management (ZR, BHK, RM), pp. 136–141.
- TACAS-2003-ClarkeFHKST #abstraction #hybrid #refinement #verification
- Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement (EMC, AF, ZH, BHK, OS, MT), pp. 192–207.