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: Katelman:Michael
Contributed to:
20102012
2008
20062007Wrote 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.