Ganesh Gopalakrishnan

Ganesh Gopalakrishnan

Professor of Computer Science, University of Utah
Verified email at cs.utah.edu
Cited by 6308
Formal Analysis Verification tools for Concurrency
Indridi H. Indridason

Indridi H. Indridason

Professor, University of California, Riverside
Verified email at ucr.edu
Cited by 2697
Comparative Political Institutions Formal Analysis
Zijian Zhang

Zijian Zhang

Beijing Institute of Technology
Verified email at bit.edu.cn
Cited by 2410
Identification Behavior Recognition Protocol Design Formal Analysis Blockchain
Helen Treharne

Helen Treharne

Professor, Surrey Centre for Cyber Security
Verified email at surrey.ac.uk
Cited by 1865
Formal Analysis Passwordless Technologies Security Applications
Fedor Smirnov

Fedor Smirnov

Robert Bosch GmbH
Verified email at de.bosch.com
Cited by 282
Design Automation Meta-Heuristic Optimization Formal analysis
Wuliang Sun

Wuliang Sun

A Phd Student, Colorado State University
Cited by 153
Formal Analysis Model Verification and Validation
Maryam Nooraei Abadeh

Maryam Nooraei Abadeh

Islamic Azad University
Verified email at iau.ac.ir
Cited by 97
Software testing Model driven development Formal analysis Intelligent software development
Tomas Fiedor

Tomas Fiedor

VeriFIT Team Researcher, FIT BUT
Verified email at fit.vutbr.cz
Cited by 68
formal analysis verification performance
Jianghao Wang

Jianghao Wang

Ph.D. candidate, University of Nebraska Lincoln
Verified email at huskers.unl.edu
Cited by 60
Software Engineering Formal Analysis Search-Based Algorithm Genetic Algorithm
Keerthi K

Keerthi K

PhD Research Scholar, IIT Madras
Verified email at smail.iitm.ac.in
Cited by 36
Hardware Security Formal Analysis Fault Attack
1 - 10