BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Krogh:Bruce_H=

Contributed to:

DATE 20062006
DATE v1 20042004
TACAS 20032003

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.