# Wolfram Schulte

From FSL

Wolfram Schulte is Research in Software Engineering Area Manager at Microsoft Research Redmond, and a collaboratory with the FSL. His webpage is http://research.microsoft.com/en-us/people/schulte/. Here are some recent publications of Wolfram Schulte jointly with FSL members.

*Matching Logic: An Alternative to Hoare/Floyd Logic*- Grigore Rosu, Chucky Ellison and
**Wolfram Schulte**, LNCS 6486, pp 142-162. 2010**AMAST'10**

PDF, Slides(PPT), Slides(PDF), LNCS, AMAST'10, BIB *Runtime Verification of C Memory Safety*- Grigore Rosu,
**Wolfram Schulte**and Traian Florin Serbanuta, LNCS 5779, pp 132-151. 2009**RV'09**

PDF, Slides (PDF), LNCS, RV'09, BIB *From Rewriting Logic Executable Semantics to Matching Logic Program Verification*- Grigore Rosu, Chucky Ellison and
**Wolfram Schulte**http://hdl.handle.net/2142/13159, July 2009**Technical Report**

PDF, TR@UIUC, BIB *Matching Logic --- Extended Report*- Grigore Rosu and
**Wolfram Schulte**UIUCDCS-R-2009-3026, January 2009**Technical Report**

TR@UIUC, BIB