S. Rosenberg

Local Reasoning for Global Invariants, Part I: Region Logic

Anindya Banerjee, David A. Naumann, Stan Rosenberg, 2013, JACM.

Decision Procedures for Region Logic

Anindya Banerjee, David A. Naumann, Stan Rosenberg, 2012, VMCAI.

Region logic: local reasoning for java programs and its automation

David A. Naumann, Stan Rosenberg, D. Naumann, 2011 .

Regional Logic for Local Reasoning about Global Invariants

Anindya Banerjee, David A. Naumann, Stan Rosenberg, 2008, ECOOP.

Towards a logical account of declassification

Anindya Banerjee, David A. Naumann, Stan Rosenberg, 2007, PLAS '07.

Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients

Anindya Banerjee, David A. Naumann, Stan Rosenberg, 2010, VSTTE.