Daniel Schwartz-Narbonne
Daniel Schwartz-Narbonne
Automated Reasoning Group, AWS
Verified email at
Cited by
Cited by
Code-level model checking in the software development workflow
N Chong, B Cook, K Kallas, K Khazem, FR Monteiro, ...
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
Explaining inconsistent code
M Schäf, D Schwartz-Narbonne, T Wies
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
Code‐level model checking in the software development workflow at Amazon web services
N Chong, B Cook, J Eidelman, K Kallas, K Khazem, FR Monteiro, ...
Software: Practice and Experience 51 (4), 772-797, 2021
Sidetrail: Verifying time-balancing of cryptosystems
K Athanasiou, B Cook, M Emmi, C MacCárthaigh, D Schwartz-Narbonne, ...
Verified Software. Theories, Tools, and Experiments: 10th International …, 2018
Parallel assertions for debugging parallel programs
D Schwartz-Narbonne, F Liu, T Pondicherry, D August, S Malik
Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011
A solver-aided language for test input generation
T Ringer, D Grossman, D Schwartz-Narbonne, S Tasiran
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-24, 2017
Conflict-directed graph coverage
D Schwartz-Narbonne, M Schäf, D Jovanović, P Rümmer, T Wies
NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015
Verifying dynamic trait objects in Rust
A VanHattum, D Schwartz-Narbonne, N Chong, A Sampson
Proceedings of the 44th International Conference on Software Engineering …, 2022
VERMEER: A tool for tracing and explaining faulty C programs
D Schwartz-Narbonne, C Oh, M Schäf, T Wies
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
Specification and synthesis of hardware checkpointing and rollback mechanisms
C Chan, D Schwartz-Narbonne, D Sethi, S Malik
Proceedings of the 49th Annual Design Automation Conference, 1226-1232, 2012
Error invariants for concurrent traces
A Holzer, D Schwartz-Narbonne, M Tabaei Befrouei, G Weissenbacher, ...
International Symposium on Formal Methods, 370-387, 2016
Concolic fault abstraction
C Oh, M Schäf, D Schwartz-Narbonne, T Wies
2014 IEEE 14th International Working Conference on Source Code Analysis and …, 2014
Parameterized model checking of fine grained concurrency
D Sethi, M Talupur, D Schwartz-Narbonne, S Malik
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK …, 2012
Supporting RTL flow compatibility in a microarchitecture-level design framework
D Schwartz-Narbonne, C Chan, Y Mahajan, S Malik
Proceedings of the 7th IEEE/ACM international conference on Hardware …, 2009
Parallel assertions for architectures with weak memory models
D Schwartz-Narbonne, G Weissenbacher, S Malik
Automated Technology for Verification and Analysis: 10th International …, 2012
passert: A Tool for Debugging Parallel Programs
D Schwartz-Narbonne, F Liu, D August, S Malik
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
Non-monotonic program analysis
D Schwartz-Narbonne, P Rümmer, M Schäf, A Tiwari, T Wies
Proceedings 2nd Workshop on Horn Clauses for Verification and Synthesis …, 2015
Assertions for debugging parallel programs
D Schwartz-Narbonne
Princeton University, 2013
D Schwartz-Narbonne, C Oh, M Schaf, T Wies
IEEE Computer Society, 2015
Context-directed graph coverage
D Schwartz-Narbonne, M Schaf, D Jovanovic, P Rummer, T Wies
7th NASA Formal Methods Symposium: NFM'15, 2015
The system can't perform the operation now. Try again later.
Articles 1–20