Edmund Clarke

Edmund Clarke

University Professor Emeritus at Carnegie Mellon University
Dirección de correo verificada de cs.cmu.edu
Citado por 73060
Formal methods Model Checking
Tony (C.A.R.) Hoare

Tony (CAR) Hoare

Principal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; Griffith
Dirección de correo verificada de griffith.edu.au
Citado por 56848
Computer Science Formal Methods Programming Languages Algorithms
Rajeev Alur

Rajeev Alur

Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Dirección de correo verificada de cis.upenn.edu
Citado por 42948
Formal methods Cyber-physical systems Programming languages Automata theory Logic in computer science
José Antonio Martín

José Antonio Martín

PhD Student, Universidad de Málaga
Dirección de correo verificada de lcc.uma.es
Citado por 33164
Formal Methods Service-Oriented Computing Behavioural Adaptation
Shaoying Liu

Shaoying Liu

Professor of Software Engineering, Hosei University, Japan
Dirección de correo verificada de hosei.ac.jp
Citado por 29641
Computer Science Software Engineering Formal Methods
Somesh Jha

Somesh Jha

Lubar Chair of Computer Science, University of Wisconsin
Dirección de correo verificada de cs.wisc.edu
Citado por 29630
Adversarial Machine Learning Security Formal methods Programming Languages
George J. Pappas

George J. Pappas

Professor or Electrical and Systems Engineering, University of Pennsylvania
Dirección de correo verificada de seas.upenn.edu
Citado por 28846
Control theory control systems robotics formal methods cyber-physical systems
Zhiming Liu

Zhiming Liu

United Nations University-International Institute for Software Technology (UNU-IIST)
Dirección de correo verificada de iist.unu.edu
Citado por 27586
Advanced Software Engineering Health Information Engineering and Systems Formal Methods Fault-Tolerance
David McAllester

David McAllester

Professor, Toyota Technological Institute at Chicago
Dirección de correo verificada de ttic.edu
Citado por 25634
Artificial Intelligence Machine Learning Computer Vision Programming Languages Formal Methods
Patrick Cousot

Patrick Cousot

Professor of Computer Science, CIMS, New York University
Dirección de correo verificada de cims.nyu.edu
Citado por 23250
Abstract Interpretation Semantics Verification Formal methods
1 - 10