Michael Katelman

13 papers B 2C 3Journal 1Unranked 6

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