Ari Rabkin

Ari Rabkin

Cloudera, inc
在 cloudera.com 的电子邮件经过验证
被引用次数：17485
computer science distributed systems static analysis configuration
William Pugh

William Pugh

Professor of Computer Science, University of Maryland
在 cs.umd.edu 的电子邮件经过验证
被引用次数：13944
Software development static analysis concurrency
Sarah Thompson

Sarah Thompson

Staff Scientist, SGT Inc, NASA Ames Research Center
在 findatlantis.com 的电子邮件经过验证
被引用次数：13031
Static Analysis
Eric Bodden

Eric Bodden

Professor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & …
在 uni-paderborn.de 的电子邮件经过验证
被引用次数：12017
Static Analysis Secure Software Engineering Software Security Program Analysis Programming Languages
Flemming Nielson

Flemming Nielson

Professor at DTU Applied Mathematics and Computer Science
在 imm.dtu.dk 的电子邮件经过验证
被引用次数：11138
Static Analysis Model Checking Security Formal Methods
Hanne Riis Nielson

Hanne Riis Nielson

professor at DTU Applied Mathematics and Computer Science
在 imm.dtu.dk 的电子邮件经过验证
被引用次数：9813
Static analysis process calculi security formal methods
Keith Cooper

Keith Cooper

Professor of Computer Science, Rice University
在 rice.edu 的电子邮件经过验证
被引用次数：9417
Programming languages compilers optimization static analysis
Alexandre David

Alexandre David

Senior Software Engineer, Google Inc.
在 cs.aau.dk 的电子邮件经过验证
被引用次数：8674
Formal methods model-checking static analysis security
Manuel Fahndrich

Manuel Fahndrich

Software Engineer, Google, previously Researcher, Microsoft Research
在 fahndrich.com 的电子邮件经过验证
被引用次数：8579
Static Analysis Programming Languages Verification
Tevfik Bultan

Tevfik Bultan

Professor of Computer Science, University of California, Santa Barbara
在 cs.ucsb.edu 的电子邮件经过验证
被引用次数：7729
software engineering automated verification static analysis formal methods
1 - 10