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 | 47 | 2020 |
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 | 30 | 2022 |
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 | 25 | 2021 |
Explaining inconsistent code M Schäf, D Schwartz-Narbonne, T Wies Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 24 | 2013 |
Sidetrail: Verifying time-balancing of cryptosystems K Athanasiou, B Cook, M Emmi, C MacCarthaigh, D Schwartz-Narbonne, ... Verified Software. Theories, Tools, and Experiments: 10th International …, 2018 | 23 | 2018 |
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 | 14 | 2017 |
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 | 14 | 2011 |
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 | 9 | 2015 |
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 | 8 | 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 | 8 | 2012 |
Error invariants for concurrent traces A Holzer, D Schwartz-Narbonne, M Tabaei Befrouei, G Weissenbacher, ... International Symposium on Formal Methods, 370-387, 2016 | 6 | 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 | 5 | 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 | 5 | 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 | 4 | 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 | 3 | 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 | 3 | 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 | 1 | 2015 |
Assertions for debugging parallel programs D Schwartz-Narbonne Princeton University, 2013 | 1 | 2013 |
VERMEER D Schwartz-Narbonne, C Oh, M Schaf, T Wies IEEE Computer Society, 2015 | | 2015 |
Context-directed graph coverage D Schwartz-Narbonne, M Schaf, D Jovanovic, P Rummer, T Wies 7th NASA Formal Methods Symposium: NFM'15, 2015 | | 2015 |