Serdar Taşiran

机构：Purdue University West Lafayette

发表论文 102 篇 · 总被引 2857 次 · h-index 26

代表论文

• Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 (2021 · 被引 66)
• Continuous Formal Verification of Amazon s2n (2018 · Lecture notes in computer science · 被引 55)
• 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)
• Model Checking Boot Code from AWS Data Centers (2018 · Lecture notes in computer science · 被引 26)
• Continuous compliance (2020 · 被引 18)