Calculated based on number of publications stored in Pure and citations from Scopus
20012023

Research activity per year

Network

Rahul Gopinath

  • Oregon State University
  • Helmholtz Center for Information Security
  • Saarland University
  • Oregon State University

External person

Amin Alipour

  • Oregon State University
  • University of Houston
  • Department of Computer Science
  • Oregon State University

External person

Carlos Jensen

  • Oregon State University
  • Oregon State University

External person

Rajeev Joshi

  • Jet Propulsion Laboratory, California Institute of Technology

External person

Chaoqiang Zhang

  • Oregon State University
  • Oregon State University

External person

Iftekhar Ahmed

  • Oregon State University
  • University of California at Irvine
  • University of California
  • Oregon State University

External person

Josie Holmes

  • Pennsylvania State University
  • Pennsylvania State University
  • Northern Arizona University
  • Northern Arizona University

External person

Gustavo Grieco

  • Trail of Bits
  • Trail of Bits
  • Trail of Bits

External person

Gerard Holzmann

  • Jet Propulsion Laboratory, California Institute of Technology

External person

Arpit Christi

  • Oregon State University
  • Weber State University
  • Oregon State University

External person

E. Clarke

  • Carnegie Mellon University
  • Carnegie Mellon University

External person

Yang Chen

  • University of Utah
  • University of Utah

External person

Klaus Havelund

  • Jet Propulsion Laboratory, California Institute of Technology
  • Laboratory for Reliable Software

External person

Weng Keen Wong

  • Oregon State University
  • Oregon State University

External person

S. Chaki

  • Carnegie Mellon University
  • Jet Propulsion Laboratory, California Institute of Technology
  • Carnegie Mellon University

External person

John Regehr

  • University of Utah
  • University of Utah

External person

Daniel Kroening

  • Carnegie Mellon University
  • Swiss Federal Institute of Technology Zurich
  • Carnegie Mellon University

External person

Jervis Pinto

  • Oregon State University
  • Oregon State University

External person

Josselin Feist

  • Trail of Bits
  • Trail of Bits

External person

Darko Marinov

  • University of Illinois at Urbana-Champaign
  • University of Illinois

External person

Eric Eide

  • University of Utah
  • University of Utah

External person

Willem Visser

  • Universities Space Research Association
  • NASA Ames Research Center

External person

O. Strichman

  • Technion
  • Carnegie Mellon University
  • Technion
  • Technion-Israel Institute of Technology
  • Carnegie Mellon University

External person

Amin Alipour

  • Oregon State University
  • Oregon State University

External person

Margaret Smith

  • Software System Engineering
  • Jet Propulsion Laboratory, California Institute of Technology
  • California Institute of Technology

External person

Goutamkumar Tulajappa Kalburgi

  • Northern Arizona University

External person

Mihalis Yannakakis

  • Columbia University
  • Avaya Inc
  • Columbia University

External person

Martin Erwig

  • Oregon State University
  • Oregon State University

External person

Margaret Burnett

  • Oregon State University
  • Oregon State University

External person

Howard Barringer

  • University of Manchester
  • School of Computer Science

External person

Todd Kulesza

  • Oregon State University
  • Oregon State University

External person

Kush Jain

  • Carnegie Mellon University

External person

Claire Le Goues

  • Carnegie Mellon University

External person

Amber Shinsel

  • Oregon State University
  • Oregon State University

External person

Xiaoli Fern

  • Oregon State University
  • Oregon State University

External person

Simone Stumpf

  • City, University of London

External person

Doron Peled

  • Bar-Ilan University
  • University of Texas at Austin
  • University of Texas

External person

Forrest Bice

  • Oregon State University
  • Oregon State University

External person

Caius Brindescu

  • Oregon State University
  • Oregon State University

External person

Stefan Leue

  • University of Konstanz

External person

Pooria Azimi

  • Oregon State University
  • Oregon State University

External person

Kevin Kellar

  • Crescent Valley High School
  • Oregon State University
  • Oregon State University

External person

Rohan Sharma

  • University of Illinois at Urbana-Champaign
  • University of Illinois

External person

Tim Bauer

  • Oregon State University
  • Oregon State University

External person

Alan Fern

  • Oregon State University
  • Oregon State University

External person

Somesh Jha

  • University of Wisconsin
  • University of Wisconsin

External person

August Shi

  • Northern Arizona University
  • University of Illinois at Urbana-Champaign
  • Northern Arizona University
  • University of Illinois

External person

Ru Gang Xu

  • University of California at Los Angeles
  • University of California

External person

Shubhomoy Das

  • Oregon State University
  • Oregon State University

External person

Ali Aburas

  • Oregon State University

External person

Milos Gligoric

  • University of Illinois at Urbana-Champaign
  • University of Illinois

External person

Pranjal Mittal

  • Oregon State University
  • Oregon State University

External person

Helmut Veith

  • Technical University of Munich
  • Vienna University of Technology

External person

Kevin McIntosh

  • Oregon State University
  • Oregon State University

External person

Rijnard Van Tonder

  • Sourcegraph
  • Inc.

External person

Oleg Sokolsky

  • University of Pennsylvania

External person

Louise Travé-Massuyès

  • Laboratoire d'analyse et d'architectures des systèmes

External person

James H. Andrews

  • Western University

External person

Rance Cleaveland

  • SUNY Stony Brook

External person

J. Ouaknine

  • Carnegie Mellon University

External person

Akhila Chowdary Kolla

  • Northern Arizona University

External person

Davina Zamanzadeh

  • University of California at Los Angeles

External person

He Zhang

  • Oregon State University

External person

Duc Le

  • Oregon State University

External person

Miroslav Gavrilov

  • California State University Northridge

External person

Qihong Chen

  • University of California at Irvine
  • University of California

External person

Chao Wang

  • Virginia Polytechnic Institute and State University

External person

Görschwin Fey

  • University of Bremen

External person

David Rydeheard

  • University of Manchester

External person

Nicolas Blanc

  • Swiss Federal Institute of Technology Zurich

External person

M. Falcão

  • Universidade Federal do Amazonas

External person

Melissa Weston

  • Western University

External person

Uri Alon

  • Carnegie Mellon University

External person

Michael Colburn

  • Trail of Bits

External person

Yuanli Pei

  • Oregon State University
  • Oregon State University

External person

Eric Hennenfent

  • Trail of Bits

External person

Camden Lopez

  • Oregon State University
  • Oregon State University

External person

Doyeon Kim

  • LINE Plus Corporation

External person

J. Kanda

  • Universidade Federal do Amazonas

External person

Claire Le Goues

  • Carnegie Mellon University

External person

Peter Goodman

  • Trail of Bits

External person

Eric Fabre

  • Institut national de recherche en informatique et en automatique

External person

Felipe Manzano

  • Trail of Bits

External person

Kyle Dewey

  • California State University Northridge

External person

James O’Brien

  • Macquarie University

External person

E. Mota

  • Universidade Federal do Amazonas

External person

Shalini Shamasunder

  • Oregon State University
  • Oregon State University

External person

Will Song

  • Trail of Bits

External person

Dejan Nickovic

  • Austrian Institute of Technology

External person

Joseph Halpern

  • Cornell University

External person

Mark Mossberg

  • Trail of Bits

External person

Andy Podgurski

  • Case Western Reserve University

External person

Trent Brunson

  • Trail of Bits

External person

K. Yorav

  • Carnegie Mellon University

External person

Artem Dinaburg

  • Trail of Bits

External person

Salem Benferhat

  • CRIL Université D'Artois

External person

Matthew Lyle Olson

  • Oregon State University

External person

W. Oliveira

  • Universidade Federal do Amazonas

External person

Gregor Gössler

  • Institut national de recherche en informatique et en automatique

External person

Hana Chockler

  • King's College London

External person

Georg Weissenbacher

  • Vienna University of Technology

External person

Sylvain Hallé

  • Université du Québec à Chicoutimi

External person

Mehran Meidani

  • University of California at Irvine
  • University of California

External person

Ben Hardekopf

  • University of California at Santa Barbara

External person

Artur Cygan

  • Trail of Bits

External person

Lingming Zhang

  • Northern Arizona University
  • Northern Arizona University

External person

Jiri Gesi

  • University of California at Irvine
  • University of California

External person

Jean Bernard Stefani

  • Institut national de recherche en informatique et en automatique

External person

Flavio Lerda

  • Carnegie Mellon University
  • Carnegie Mellon University

External person

William Curran

  • Oregon State University

External person