Iowa State University

Electrical and Computer Engineering, Purdue University, West Lafayette, United States

Electrical and Computer Engineering, Purdue University, West Lafayette, United States

Samsung Research America, Mountain View, United States

Department of Computer Science, Iowa State University, Ames, United States

Electrical and Computer Engineering, Purdue University, West Lafayette, United States

Electrical and Computer Engineering, Purdue University, West Lafayette, United States

University of California, San Diego, La Jolla, United States

The University of North Carolina at Charlotte, Charlotte, United States

Electrical and Computer Engineering, Purdue University, West Lafayette, United States

Henan University, Kaifeng, China

Henan University, Kaifeng, China

University of Electronic Science and Technology of China, Chengdu, China

University of Electronic Science and Technology of China, Chengdu, China

Iowa State University, Ames, IA, USA

University of Electronic Science and Technology of China, Chengdu, China

University of Electronic Science and Technology of China, Chengdu, Sichuan, China

University of Electronic Science and Technology of China, Chengdu, Sichuan, China

University of Electronic Science and Technology of China, Chengdu, Sichuan, China

Iowa State University, Ames, Iowa, USA

University of Electronic Science and Technology of China & Kash Institute of Electronics and Information Industry, Chengdu, Sichuan, China

University of Electronic Science and Technology of China & Kash Institute of Electronics and Information Industry, Chengdu, Sichuan, China

The Pennsylvania State University, University Park, PA, USA

The Pennsylvania State University, University Park, PA, USA

The Pennsylvania State University, University Park, PA, USA

Dalian University of Technology, Dalian, Liaoning, China

Purdue University, West Lafayette, IN, USA

Iowa State University, Ames, IA, USA

GE Healthcare, Seattle, WA, USA

The Penn State University, University Park, PA, USA

Formal Methods and Tools Lab, CNR-ISTI, Pisa, Italy

Automated Reasoning Group, Amazon Web Services, Bath United Kingdom of Great Britain and Northern Ireland

University of Maryland, College Park, United States

INRIA, Grenoble France

Mälardalen University, Västerås, Sweden

ASML, Veldhoven Netherlands

Eindhoven University of Technology, Eindhoven, Netherlands

CLEARSY Systems Engineering, Aix-en-Provence France

Heinrich Heine University Düsseldorf, Düsseldorf, Germany

Iowa State University, Ames, United States

Centro de Informática, Universidade Federal de Pernambuco, Recife, Brazil

Mälardalen University, Västerås, Sweden

Gresham College, London United Kingdom of Great Britain and Northern Ireland

Eindhoven University of Technology, Eindhoven, Netherlands

Institute of Software, Chinese Academy of Sciences, Beijing China

Department of Information Systems and Analytics, Middle Tennessee State University, Murfreesboro, TN, USA

Department of Management, Clemson University, Clemson, SC, USA

Department of Information Systems and Business Analytics, Iowa State University, Ames, IA, USA

Department of Management Information Systems, University of Memphis, Memphis, TN, USA