Perfiles

Luis Pedrosa

INESC-ID, Instituto Superior Técnico, University of Lisbon

Dirección de correo verificada de tecnico.ulisboa.pt

Citado por 2660

System and Networking Program analysis and verification Network verification Distributed systems Software Networking

Ori Lahav

Tel Aviv University

Dirección de correo verificada de tau.ac.il

Citado por 2261

Concurrency Relaxed Memory Models Programming Languages Program Analysis and Verification Logic

Dr. Raju Halder

Associate Professor, Indian Institute of Technology Patna

Dirección de correo verificada de iitp.ac.in

Citado por 1055

Formal Methods Program Analysis and verification Robotics Blockchain and Smart Contract Safety

Zhiwu Xu

College of Computer Science and Software Engineering (CSSE), Shenzhen University

Dirección de correo verificada de szu.edu.cn

Citado por 814

Program Analysis and Verification Type Systems Software Security Automata Theory and Logic and Machine Learning.

Zhilin Wu

State Key Laboratory of Computer Science

Dirección de correo verificada de ios.ac.cn

Citado por 544

Computational Logic Program Analysis and Verification Automata Theory

Petar Maksimović

Research Fellow @ Imperial College London

Dirección de correo verificada de imperial.ac.uk

Citado por 451

Program Analysis and Verification

ermenegildo tomasco

University of Southampton

Dirección de correo verificada de soton.ac.uk

Citado por 339

Program analysis and Verification Model-Checking and Automata Theory

Abhishek Bichhawat

Assistant Professor, IIT Gandhinagar

Dirección de correo verificada de iitgn.ac.in

Citado por 326

Language-based Security Program Analysis and Verification

Bishoksan Kafle

Research Fellow, The University of Melbourne, Australia

Dirección de correo verificada de unimelb.edu.au

Citado por 240

Program analysis and verification

Yeonhee Ryou

KAIST

Dirección de correo verificada de kaist.ac.kr

Citado por 54

Automated Program Repair Program Analysis and Verification JavaScript

1 - 10