Jose Meseguer
From FSL
Jose Meseguer is a professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign: http://formal.cs.uiuc.edu/meseguer. We collaborate with Prof. Meseguer on rewriting logic semantics as well as other areas related to algebraic specification and rewriting.
[edit] Publications with members of FSL
- A Rewriting Logic Approach to Operational Semantics
- Traian Florin Serbanuta, Grigore Rosu and Jose Meseguer
Information&Computation, to appear
PDF, Experiments, BIB - A Rewriting Logic Approach to Operational Semantics -- Extended Abstract
- Traian Florin Serbanuta, Grigore Rosu and Jose Meseguer SOS'07, ENTCS, vol. 192(1), pp. 125-141, 2007
PDF, SOS'07 Slides, SOS'07, BIB - The Rewriting Logic Semantics Project
- Jose Meseguer and Grigore Rosu J. of TCS, Volume 373(3), pp 213-237. 2007
PDF, TCS, BIB - The Rewriting Logic Semantics Project
- Jose Meseguer and Grigore Rosu
SOS'05, ENTCS 156, pp. 27-56. 2006
PDF, SOS'05, BIB - Formal Analysis of Java Programs in JavaFAN
- Azadeh Farzan, Feng Chen, Jose Meseguer and Grigore Rosu
CAV'04, LNCS 3114, pp 501 - 505. 2004.
PDF, LNCS, CAV'04, DBLP, BIB
