GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Formal Methods in Verification

Formal Methods in Verification

175 faculty research Formal Methods in Verification on GradNova.

M
Formal Methods in Verification
Machine Learning and Algorithms
Software Engineering Research
Software System Performance and Reliability
+1
M
Marco Paolieri

Senior Research Associate and Part-Time Lecturer of Computer Science

Computer Science

University of Southern California

Embedded Systems Design Techniques
Formal Methods in Verification
Parallel Computing and Optimization Techniques
Petri Nets in System Modeling
+1
L
Lars Lindemann

Adjunct Research Assistant Professor of Computer Science and Electrical and Computer Engineering

Computer Science

University of Southern California

Advanced Control Systems Optimization
Formal Methods in Verification
High-Energy Particle Collisions Research
Particle Physics Theoretical and Experimental Studies
+1
S
Auction Theory and Applications
Formal Methods in Verification
Game Theory and Applications
Game Theory and Voting Systems
+1
S
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Parallel Computing and Optimization Techniques
+1
M
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Software Engineering Research
+1
R
Advanced Control Systems Optimization
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Optimization and Search Problems
+1
K
Computer Science Education and Pedagogy
Hardware Security
Symbolic Execution
Security and Verification in Computing
+4
M
Applications to Computer Security
Asynchronous and Mixed-Timing Circuits and Systems
Emerging Computing Technologies
Energy-Efficient Graphics Hardware
+7
P
Autonomy
Control Theory
Embedded and Real-Time Systems
Embedded Systems
+8
S
Distributed Embedded Systems
Electromobility
Embedded Control Systems
Energy Storage Systems
+8
P
Pavithra Prabhakar

Professor, Cleve Moler and MathWorks Endowed Chair in Mathematical and Engineering Software

Computer Science

University of New Mexico

Formal Methods in Verification
Logic, Programming, and Type Systems
Petri Nets in System Modeling
Real-Time Systems Scheduling
+1
D
Advanced Malware Detection Techniques
Formal Methods in Verification
Security and Verification in Computing
Software Engineering Research
+1
M
Advanced Software Engineering Methodologies
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
V
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
+1
R
Rohit Chadha

Director, Cybersecurity Center at Mizzou Associate Professor

Computer Science

University of Missouri

Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Privacy-Preserving Technologies in Data
+1
E
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
+1
G
Advanced Algebra and Logic
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+1
M
Mats Heimdahl

Professor, Distinguished University Teaching Professor

Computer Science

University of Minnesota

Advanced Software Engineering Methodologies
Formal Methods in Verification
Software Engineering Research
Software Reliability and Analysis Research
+1
V
Advanced Queuing Theory Analysis
Economic Theories and Models
Formal Methods in Verification
Probability and Risk Models
+1
G
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Parallel Computing and Optimization Techniques
+1
T
Distributed and Parallel Computing Systems
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
J
Formal Methods in Verification
Intelligent Tutoring Systems and Adaptive Learning
Manufacturing Process and Optimization
Model-Driven Software Engineering Techniques
+1
P
Perry Alexander

AT&T Foundation Distinguished Professor of Electrical Engineering and Computer Science, Director of the Institute for Information Sciences

Computer Science

University of Kansas

Formal Methods, Verification, and Synthesis
Specification Languages
System-Level Design Languages and Semantics
Trusted Computing
+5
Previous
13

...

8
Next