Michael Katelman
发表
Samuel N. Kamin,
Baris Aktemur,
Michael Katelman,
2006,
GPCE '06.
José Meseguer,
Michael Katelman,
Sean Keller,
2010
.
Alain J. Martin,
Michael Katelman,
Sean Keller,
2009,
2009 15th IEEE Symposium on Asynchronous Circuits and Systems.
Arvind,
Michael Katelman,
Nirav Dave,
2008,
FM.
José Meseguer,
Michael Katelman,
2010,
RTRTS.
José Meseguer,
Michael Katelman,
J. Meseguer,
2009
.
Michael Katelman,
2010
.
José Meseguer,
Grigore Rosu,
Michael Katelman,
2010,
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
José Meseguer,
Michael Katelman,
Sean Keller,
2012,
J. Log. Algebraic Methods Program..
Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking
José Meseguer,
Jennifer C. Hou,
Michael Katelman,
2008,
FMOODS.
Samuel N. Kamin,
Michael Katelman,
T. Baris Aktemur,
2008
.
José Meseguer,
Michael Katelman,
2010,
Haifa Verification Conference.
Michael Katelman,
2011
.
José Meseguer,
Michael Katelman,
Sean Keller,
2010,
WRLA.
José Meseguer,
Santiago Escobar,
Michael Katelman,
2008,
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.
Michael Katelman,
2010
.
José Meseguer,
Michael Katelman,
2006,
WRLA.
José Meseguer,
Arvind,
Michael Katelman,
2011,
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
José Meseguer,
Michael Katelman,
J. Meseguer,
2011
.