Alex Groce

Rahul Gopinath

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

External person

17 shared research output

Amin Alipour

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

External person

16 shared research output

Carlos Jensen

Oregon State University
Oregon State University

External person

13 shared research output

Rajeev Joshi

Jet Propulsion Laboratory, California Institute of Technology

External person

11 shared research output

Chaoqiang Zhang

Oregon State University
Oregon State University

External person

11 shared research output

Iftekhar Ahmed

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

External person

11 shared research output

Josie Holmes

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

External person

10 shared research output

Gustavo Grieco

Trail of Bits
Trail of Bits
Trail of Bits

External person

8 shared research output

Gerard Holzmann

Jet Propulsion Laboratory, California Institute of Technology

External person

8 shared research output

Arpit Christi

Oregon State University
Weber State University
Oregon State University

External person

7 shared research output

E. Clarke

Carnegie Mellon University
Carnegie Mellon University

External person

6 shared research output

Yang Chen

University of Utah
University of Utah

External person

6 shared research output

Klaus Havelund

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

External person

6 shared research output

Weng Keen Wong

Oregon State University
Oregon State University

External person

6 shared research output

S. Chaki

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

External person

6 shared research output

John Regehr

University of Utah
University of Utah

External person

6 shared research output

Daniel Kroening

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

External person

5 shared research output

Jervis Pinto

Oregon State University
Oregon State University

External person

5 shared research output

Josselin Feist

Trail of Bits
Trail of Bits

External person

5 shared research output

Darko Marinov

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

External person

4 shared research output

Amin Alipour

Oregon State University
Oregon State University

External person

4 shared research output

Eric Eide

University of Utah
University of Utah

External person

4 shared research output

Willem Visser

Universities Space Research Association
NASA Ames Research Center

External person

4 shared research output

O. Strichman

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

External person

4 shared research output

Margaret Smith

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

External person

4 shared research output

Goutamkumar Tulajappa Kalburgi

Northern Arizona University

External person

3 shared research output

Mihalis Yannakakis

Columbia University
Avaya Inc
Columbia University

External person

3 shared research output

Martin Erwig

Oregon State University
Oregon State University

External person

3 shared research output

Margaret Burnett

Oregon State University
Oregon State University

External person

3 shared research output

Paul E. McKenney

IBM

External person

3 shared research output

Howard Barringer

University of Manchester
School of Computer Science

External person

3 shared research output

Todd Kulesza

Oregon State University
Oregon State University

External person

3 shared research output

Kush Jain

Carnegie Mellon University

External person

3 shared research output

Claire Le Goues

Carnegie Mellon University

External person

3 shared research output

Amber Shinsel

Oregon State University
Oregon State University

External person

3 shared research output

Xiaoli Fern

Oregon State University
Oregon State University

External person

3 shared research output

Simone Stumpf

City, University of London

External person

3 shared research output

Doron Peled

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

External person

3 shared research output

Forrest Bice

Oregon State University
Oregon State University

External person

2 shared research output

Caius Brindescu

Oregon State University
Oregon State University

External person

2 shared research output

Stefan Leue

University of Konstanz

External person

2 shared research output

Pooria Azimi

Oregon State University
Oregon State University

External person

2 shared research output

Kevin Kellar

Crescent Valley High School
Oregon State University
Oregon State University

External person

2 shared research output

Rohan Sharma

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

External person

2 shared research output

Madanlal Musuvathi

Microsoft USA

External person

2 shared research output

Tim Bauer

Oregon State University
Oregon State University

External person

2 shared research output

Alan Fern

Oregon State University
Oregon State University

External person

2 shared research output

Somesh Jha

University of Wisconsin
University of Wisconsin

External person

2 shared research output

August Shi

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

External person

2 shared research output

Ru Gang Xu

University of California at Los Angeles
University of California

External person

2 shared research output

Shubhomoy Das

Oregon State University
Oregon State University

External person

2 shared research output

Ali Aburas

Oregon State University

External person

2 shared research output

Milos Gligoric

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

External person

2 shared research output

Pranjal Mittal

Oregon State University
Oregon State University

External person

2 shared research output

Helmut Veith

Technical University of Munich
Vienna University of Technology

External person

2 shared research output

Kevin McIntosh

Oregon State University
Oregon State University

External person

2 shared research output

Rijnard Van Tonder

Sourcegraph
Inc.

External person

2 shared research output

Oleg Sokolsky

University of Pennsylvania

External person

1 shared research output

Austin Wellman

Raytheon

External person

1 shared research output

Louise Travé-Massuyès

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

External person

1 shared research output

James H. Andrews

Western University

External person

1 shared research output

Rance Cleaveland

SUNY Stony Brook

External person

1 shared research output

J. Ouaknine

Carnegie Mellon University

External person

1 shared research output

Akhila Chowdary Kolla

Northern Arizona University

External person

1 shared research output

Davina Zamanzadeh

University of California at Los Angeles

External person

1 shared research output

Ping Gao

LLC

External person

1 shared research output

Joost Vennekens

KU Leuven

External person

1 shared research output

He Zhang

Oregon State University

External person

1 shared research output

Duc Le

Oregon State University

External person

1 shared research output

Girish S. Bhat

Inc

External person

1 shared research output

Miroslav Gavrilov

California State University Northridge

External person

1 shared research output

T. H. Tse

The University of Hong Kong

External person

1 shared research output

Qihong Chen

University of California at Irvine
University of California

External person

1 shared research output

Chao Wang

Virginia Polytechnic Institute and State University

External person

1 shared research output

Görschwin Fey

University of Bremen

External person

1 shared research output

David Rydeheard

University of Manchester

External person

1 shared research output

Nicolas Blanc

Swiss Federal Institute of Technology Zurich

External person

1 shared research output

David Lo

Singapore Management University

External person

1 shared research output

M. Falcão

Universidade Federal do Amazonas

External person

1 shared research output

Melissa Weston

Western University

External person

1 shared research output

Uri Alon

Carnegie Mellon University

External person

1 shared research output

Michael Colburn

Trail of Bits

External person

1 shared research output

Yuanli Pei

Oregon State University
Oregon State University

External person

1 shared research output

Eric Hennenfent

Trail of Bits

External person

1 shared research output

W. Eric Wong

University of Texas at Dallas

External person

1 shared research output

Camden Lopez

Oregon State University
Oregon State University

External person

1 shared research output

Doyeon Kim

LINE Plus Corporation

External person

1 shared research output

J. Kanda

Universidade Federal do Amazonas

External person

1 shared research output

Claire Le Goues

Carnegie Mellon University

External person

1 shared research output

Peter Goodman

Trail of Bits

External person

1 shared research output

Eric Fabre

Institut national de recherche en informatique et en automatique

External person

1 shared research output

Felipe Manzano

Trail of Bits

External person

1 shared research output

Kyle Dewey

California State University Northridge

External person

1 shared research output

James O’Brien

Macquarie University

External person

1 shared research output

Miroslav N. Velev

LLC

External person

1 shared research output

E. Mota

Universidade Federal do Amazonas

External person

1 shared research output

Shalini Shamasunder

Oregon State University
Oregon State University

External person

1 shared research output

Robert Hirschfeld

University of Potsdam

External person

1 shared research output

Will Song

Trail of Bits

External person

1 shared research output

Dejan Nickovic

Austrian Institute of Technology

External person

1 shared research output

Joseph Halpern

Cornell University

External person

1 shared research output

Mark Mossberg

Trail of Bits

External person

1 shared research output

Andy Podgurski

Case Western Reserve University

External person

1 shared research output

Trent Brunson

Trail of Bits

External person

1 shared research output

K. Yorav

Carnegie Mellon University

External person

1 shared research output

Artem Dinaburg

Trail of Bits

External person

1 shared research output

Salem Benferhat

CRIL Université D'Artois

External person

1 shared research output

Michael Perscheid

University of Potsdam

External person

1 shared research output

Matthew Lyle Olson

Oregon State University

External person

1 shared research output

W. Oliveira

Universidade Federal do Amazonas

External person

1 shared research output

Gregor Gössler

Institut national de recherche en informatique et en automatique

External person

1 shared research output

Hana Chockler

King's College London

External person

1 shared research output

Georg Weissenbacher

Vienna University of Technology

External person

1 shared research output

Sylvain Hallé

Université du Québec à Chicoutimi

External person

1 shared research output

Mehran Meidani

University of California at Irvine
University of California

External person

1 shared research output

Ben Hardekopf

University of California at Santa Barbara

External person

1 shared research output

Artur Cygan

Trail of Bits

External person

1 shared research output

Lingming Zhang

Northern Arizona University
Northern Arizona University

External person

1 shared research output

Soomin Kim

KAIST

External person

1 shared research output

Jiri Gesi

University of California at Irvine
University of California

External person

1 shared research output

Jaeseung Choi

KAIST

External person

1 shared research output

Sang Kil Cha

KAIST

External person

1 shared research output

Jean Bernard Stefani

Institut national de recherche en informatique et en automatique

External person

1 shared research output

Flavio Lerda

Carnegie Mellon University
Carnegie Mellon University

External person

1 shared research output

William Curran

Oregon State University

External person

1 shared research output

Alex Groce

Network