Michael Katelman

According to our database, Michael Katelman authored at least 13 papers between 2006 and 2012.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2012

Rewriting semantics of production rule sets.

Michael Katelman, Sean Keller, José Meseguer

J. Log. Algebraic Methods Program., 2012

2011

A meta-language for functional verification

Michael Katelman

PhD thesis, 2011

Verification of microarchitectural refinements in rule-based systems.

Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

2010

Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures

Michael Katelman, José Meseguer

Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010

Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits.

Michael Katelman, Sean Keller, José Meseguer

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

A formal executable semantics of Verilog.

Patrick O'Neil Meredith, Michael Katelman, José Meseguer, Grigore Rosu

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

vlogsl: A Strategy Language for Simulation-Based Verification of Hardware.

Michael Katelman, José Meseguer

Proceedings of the Hardware and Software: Verification and Testing, 2010

2009

A Necessary and Sufficient Timing Assumption for Speed-Independent Circuits.

Sean Keller, Michael Katelman, Alain J. Martin

Proceedings of the 15th IEEE Symposium on Asynchronous Circuits and Systems, 2009

2008

Directed-Logical Testing for Functional Verification of Microprocessors.

Michael Katelman, José Meseguer, Santiago Escobar

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking.

Michael Katelman, José Meseguer, Jennifer C. Hou

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

Getting Formal Verification into Design Flow.

Arvind, Nirav Dave, Michael Katelman

Proceedings of the FM 2008: Formal Methods, 2008

2006

A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis.

Michael Katelman, José Meseguer

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

Staging static analyses for program generation.

Sam Kamin, Baris Aktemur, Michael Katelman

Proceedings of the Generative Programming and Component Engineering, 2006