Reinhard Wilhelm

Reinhard Wilhelm

Computer Science, Saarland University, Saarland Informatics Campus (SIC)
在 cs.uni-saarland.de 的电子邮件经过验证
被引用次数：12829
embedded systems compilers static program analysis
Susan Horwitz

Susan Horwitz

Professor Emerita of Computer Science, University of Wisconsin (deceased)
在 cs.wisc.edu 的电子邮件经过验证
被引用次数：12038
Programming languages compilers static program analysis
Yulei Sui

Yulei Sui

University of New South Wales (UNSW Sydney)
在 unsw.edu.au 的电子邮件经过验证
被引用次数：4069
Static Program Analysis Secure Software Engineering Programming Languages SE4AI AI4SE
Roberto Giacobazzi

Roberto Giacobazzi

Professor of Computer Science, University of Arizona
在 cs.arizona.edu 的电子邮件经过验证
被引用次数：4065
Abstract interpretation static program analysis code protection security lattice theory
Dennis Volpano

Dennis Volpano

Johns Hopkins University Applied Physics Lab
在 jhuapl.edu 的电子邮件经过验证
被引用次数：3783
Programming methodologies Static Program Analysis Type Theory Networking
Agostino Cortesi

Agostino Cortesi

professor of Computer Science, Ca' Foscari University
在 unive.it 的电子邮件经过验证
被引用次数：3575
Static Program Analysis Software Engineering Abstract Interpretation Non-Functional Requirements Watermarking
Kedar Namjoshi

Kedar Namjoshi

Bell Labs
在 nokia-bell-labs.com 的电子邮件经过验证
被引用次数：3022
static program analysis protocol verification distributed systems
Carsten Fuhs

Carsten Fuhs

Senior Lecturer, Birkbeck, University of London
在 dcs.bbk.ac.uk 的电子邮件经过验证
被引用次数：1673
Termination Analysis Static Program Analysis Verification Automated Reasoning Term Rewriting
Ming-Ho Yee

Ming-Ho Yee

Northeastern University
在 ccs.neu.edu 的电子邮件经过验证
被引用次数：978
programming language implementation compilers static program analysis
Chenyi Zhang

Chenyi Zhang

Oracle Labs Australia
在 oracle.com 的电子邮件经过验证
被引用次数：729
Static program analysis Security Formal methods
1 - 10