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 × Cyprus
1 × Finland
1 × USA
Collaborated with:
J.Meseguer S.Keller Arvind N.Dave S.Kamin B.Aktemur
Talks about:
semant (3) rewrit (3) analysi (2) design (2) asynchron (1) softwar (1) program (1) product (1) hardwar (1) generat (1)

Person: Michael Katelman

DBLP DBLP: Katelman:Michael

Contributed to:

WRLA 20102010
WRLA 20102012
FM 20082008
GPCE 20062006
WRLA 20062007

Wrote 5 papers:

WRLA-2010-KatelmanKM #analysis #concurrent #semantics
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits (MK, SK, JM), pp. 140–156.
WRLA-J-2010-KatelmanKM12 #semantics #set
Rewriting semantics of production rule sets (MK, SK, JM), pp. 929–956.
FM-2008-ArvindDK #design #verification
Getting Formal Verification into Design Flow (A, ND, MK), pp. 12–32.
GPCE-2006-KaminAK #analysis #generative #staging
Staging static analyses for program generation (SK, BA, MK), pp. 1–10.
WRLA-2006-KatelmanM07 #analysis #co-evolution #design #hardware #semantics
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis (MK, JM), pp. 47–60.

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.