Supporting RTL flow compatibility in a microarchitecture-level design framework. - Daniel Schwartz-Narbonne; Carven Chan; Yogesh S. Mahajan; Sharad Malik (CODES+ISSS, 2009)

Parallel assertions for debugging parallel programs. - Daniel Schwartz-Narbonne; Feng Liu; Tarun Pondicherry; David I. August; Sharad Malik (MEMOCODE, 2011)

Parallel Assertions for Architectures with Weak Memory Models. - Daniel Schwartz-Narbonne; Georg Weissenbacher; Sharad Malik (ATVA, 2012)

passert: A Tool for Debugging Parallel Programs. - Daniel Schwartz-Narbonne; Feng Liu; David I. August; Sharad Malik (CAV, 2012)

Specification and synthesis of hardware checkpointing and rollback mechanisms. - Carven Chan; Daniel Schwartz-Narbonne; Divjyot Sethi; Sharad Malik (DAC, 2012)

Parameterized Model Checking of Fine Grained Concurrency. - Divjyot Sethi; Muralidhar Talupur; Daniel Schwartz-Narbonne; Sharad Malik (SPIN, 2012)

Explaining inconsistent code. - Martin Schäf; Daniel Schwartz-Narbonne; Thomas Wies (ESEC/SIGSOFT FSE, 2013)

Assertions for Debugging Parallel Programs - Daniel Schwartz-Narbonne (2013)

Concolic Fault Localization. - Chanseok Oh; Martin Schäf; Daniel Schwartz-Narbonne; Thomas Wies (SCAM, 2014)

VERMEER: A Tool for Tracing and Explaining Faulty C Programs. - Daniel Schwartz-Narbonne; Chanseok Oh; Martin Schäf; Thomas Wies (ICSE (2), 2015)

Conflict-Directed Graph Coverage. - Daniel Schwartz-Narbonne; Martin Schäf; Dejan Jovanovic; Philipp Rümmer; Thomas Wies (NFM, 2015)

Error Invariants for Concurrent Traces. - Andreas Holzer; Daniel Schwartz-Narbonne; Mitra Tabaei Befrouei; Georg Weissenbacher; Thomas Wies (FM, 2016)

A solver-aided language for test input generation. - Talia Ringer; Dan Grossman; Daniel Schwartz-Narbonne; Serdar Tasiran (Proc. ACM Program. Lang., 2017)

SideTrail: Verifying Time-Balancing of Cryptosystems. - Konstantinos Athanasiou; Byron Cook; Michael Emmi; Colm MacCárthaigh; Daniel Schwartz-Narbonne; Serdar Tasiran (VSTTE, 2018)

Code-level model checking in the software development workflow. - Nathan Chong; Byron Cook; Konstantinos Kallas; Kareem Khazem; Felipe R. Monteiro; Daniel Schwartz-Narbonne; Serdar Tasiran; Michael Tautschnig; Mark R. Tuttle (ICSE (SEIP), 2020)

Code-level model checking in the software development workflow at Amazon Web Services. - Nathan Chong; Byron Cook; Jonathan Eidelman; Konstantinos Kallas; Kareem Khazem; Felipe R. Monteiro; Daniel Schwartz-Narbonne; Serdar Tasiran; Michael Tautschnig; Mark R. Tuttle (Softw. Pract. Exp., 2021)

Verifying Dynamic Trait Objects in Rust. - Alexa VanHattum; Daniel Schwartz-Narbonne; Nathan Chong; Adrian Sampson (ICSE (SEIP), 2022)