GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Formal Methods in Verification

Formal Methods in Verification

351 faculty research Formal Methods in Verification on GradNova.

L
Artificial Intelligence for Design and Test
Data Analysis
Machine Learning
VLSI and Analog Circuit Testing
+4
N
Confidentialité De L'information
Systèmes D'information
Technologies D'amélioration De La Confidentialité
Technologies De La Cybersécurité Et De La Confidentialité
+6
C
Algorithmes Et Structures De Données
Analyse Des Algorithmes Et De La Complexité
Informatique Théorique Et Mathématiques Computationnelles
Intelligence Artificielle (ia)
+9
B
Algèbre
Fondements, Logique Et Théorie Des Ensembles En Mathématique
Langages De Programmation Et Génie Logiciel
Langages De Programmation Et Génie Logiciel, N.c.a.
+7
J
Josée Desharnais

Département d'informatique et de génie logiciel

Computer Science

Université Laval

Autres Informatique Théorique Et Mathématiques Computationnelles, N.c.a.
Informatique Théorique Et Mathématiques Computationnelles
Intelligence Artificielle (ia)
Intelligence Artificielle, N.c.a.
+8
R
Applications De La Logique En Informatique : Logiques Modales, Automates
Modélisation Et Vérification De Systèmes Informatiques : Model Checking, Méthode Sat Et Algorithme Dpll, Applications En Télécommunications
Formal Methods in Verification
Service-Oriented Architecture and Web Services
+3
A
Intégration Des Données Du Web
Le Web Des Données Et Le Web Sémantique
Méthodes Formelles
Système De Gestion Des Services Web
+6
R
Langages De Programmation: Systèmes De Typage, Sémantique, Fondements Et Conception
Logique: Interprétation Computationnelle, Logique Intuitionniste, Linéaire Ou Sous-Structurelle
Programmation Concurrente Et Parallèle: Langages, Systèmes De Typage, Sémantique, Vérification
Logic, Programming, and Type Systems
+4
É
Intelligence Artificielle
Jeux Sérieux
Planification Automatique
Planification Sous Incertitude
+5
F
Ia Symbolique
Optimisation Combinatoire
Sat/maxsat
Formal Methods in Verification
+4
M
Advanced Software Engineering Methodologies
Business Process Modeling and Analysis
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
M
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Petri Nets in System Modeling
+1
N
Formal Methods
Logic in Computer Science
Model-Based Design
Models of Computation
+6
U
Ufuk Topcu

Professor Department of Aerospace Engineering and Engineering Mechanics, W.A. “Tex” Moncrief, Jr. Chair in Computational Engineering and Sciences VI

Department of Electrical and Computer Engineering

The University of Texas at Austin

Advanced Control Systems Optimization
Adversarial Robustness in Machine Learning
Formal Methods in Verification
Machine Learning and Algorithms
+1
S
Sarfraz Khurshid

Professor, Temple Foundation Endowed Teaching Fellowship in Engineering No. 2

Department of Electrical and Computer Engineering

The University of Texas at Austin

Formal Methods in Verification
Software Engineering Research
Software Reliability and Analysis Research
Software System Performance and Reliability
+1
V
Distributed Systems and Fault Tolerance
Fluid Dynamics and Turbulent Flows
Formal Methods in Verification
Parallel Computing and Optimization Techniques
+1
W
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
P
P.R. Kumar

Professor, Electrical & Computer Engineering and Industrial & Systems Engineering; Regents Professor; Distinguished Professor; O'Donnell Foundation Chair I; Member, National Academy of Engineering

Department of Electrical and Computer Engineering

Texas A&M University

Advanced Wireless Network Optimization
Formal Methods in Verification
Mobile Ad Hoc Networks
Network Traffic and Congestion Control
+1
T
High-Level Programming Languages and Efficient Implementations
Maintainability
Query Optimization
Reliable and Fast Code
+5
O
Omar Chowdhury

Associate Professor, SUNY Empire Innovation Scholar

Computer Science

Stony Brook University

Network Security
Privacy
Program Analysis
Program Verification
+9
N
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Engineering Research
+1
E
Formal Methods in Verification
Logic, Programming, and Type Systems
Mathematics, Computing, and Information Processing
Software Engineering Research
+1
A
Advanced Control Systems Optimization
Formal Methods in Verification
Logic, Programming, and Type Systems
Petri Nets in System Modeling
+1
K
Karen Rudie

Cross-Appointed Faculty - Professor

Computer Science

Queen's University

Business Process Modeling and Analysis
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Petri Nets in System Modeling
+1
Previous
1

...

35

...

15
Next