Daniel Schwartz‐Narbonne

ORCID：0000-0002-0453-2552

发表论文 30 篇 · 总被引 185 次 · h-index 7

代表论文

• Code-level model checking in the software development workflow (2020 · 被引 32)
• Code‐level model checking in the software development workflow at Amazon Web Services (2021 · Software Practice and Experience · 被引 29)
• Verifying dynamic trait objects in rust (2022 · 被引 26)
• Explaining inconsistent code (2013 · 被引 21)
• SideTrail: Verifying Time-Balancing of Cryptosystems (2018 · Lecture notes in computer science · 被引 12)
• A solver-aided language for test input generation (2017 · Proceedings of the ACM on Programming Languages · 被引 10)