Michael Katelman

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Topics

Classification Rules

Learning Classifier Systems

Medical Data Sets

Top Venues

J. Log. Algebraic Methods Program.

Publications

Michael Katelman, Sean Keller, José Meseguer
Rewriting semantics of production rule sets. J. Log. Algebraic Methods Program. 81 (7-8) (2012)
Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer
Verification of microarchitectural refinements in rule-based systems. MEMOCODE (2011)
Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu
A formal executable semantics of Verilog. MEMOCODE (2010)
Michael Katelman, José Meseguer
vlogsl: A Strategy Language for Simulation-Based Verification of Hardware. Haifa Verification Conference (2010)
Michael Katelman, José Meseguer
Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures RTRTS (2010)
Michael Katelman, Sean Keller, José Meseguer
Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits. WRLA (2010)
Sean Keller, Michael Katelman, Alain J. Martin
A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits. ASYNC (2009)
Michael Katelman, José Meseguer, Jennifer C. Hou
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking. FMOODS (2008)
Michael Katelman, José Meseguer, Santiago Escobar
Directed-Logical Testing for Functional Verification of Microprocessors. MEMOCODE (2008)
Arvind, Nirav Dave, Michael Katelman
Getting Formal Verification into Design Flow. FM (2008)
Michael Katelman, José Meseguer
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis. WRLA (2006)
Sam Kamin, Baris Aktemur, Michael Katelman
Staging static analyses for program generation. GPCE (2006)