| |
| 2008 | ||
|---|---|---|
| 5 | EE | Arvind, Nirav Dave, Michael Katelman: Getting Formal Verification into Design Flow. FM 2008: 12-32 |
| 4 | EE | Michael Katelman, José Meseguer, Jennifer C. Hou: Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. FMOODS 2008: 150-169 |
| 3 | EE | Michael Katelman, José Meseguer, Santiago Escobar: Directed-Logical Testing for Functional Verification of Microprocessors. MEMOCODE 2008: 89-100 |
| 2007 | ||
| 2 | EE | Michael Katelman, José Meseguer: A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis. Electr. Notes Theor. Comput. Sci. 176(4): 47-60 (2007) |
| 2006 | ||
| 1 | EE | Sam Kamin, Baris Aktemur, Michael Katelman: Staging static analyses for program generation. GPCE 2006: 1-10 |
| 1 | Baris Aktemur | [1] |
| 2 | Arvind | [5] |
| 3 | Nirav Dave | [5] |
| 4 | Santiago Escobar | [3] |
| 5 | Jennifer C. Hou (Chao-Ju Hou) | [4] |
| 6 | Samuel N. Kamin (Sam Kamin) | [1] |
| 7 | José Meseguer | [2] [3] [4] |