Natarajan Shankar

Natarajan Shankar

SRI International Computer Science Laboratory
Verified email at csl.sri.com
Cited by 13940
Computational Logic Automated Reasoning Formal Methods Computer-Aided Verification Programming Languages
Pavol Cerny

Pavol Cerny

Professor, TU Wien
Verified email at tuwien.ac.at
Cited by 2061
Computer-aided verification Program synthesis
Josef Widder

Josef Widder

Informal Systems
Verified email at informal.systems
Cited by 1637
fault tolerance distributed algorithms Byzantine faults computer-aided verification model checking
Jing Sun

Jing Sun

Associate Professor, School of Computer Science, University of Auckland, New Zealand
Verified email at auckland.ac.nz
Cited by 1627
Computer Science Software Engineering Formal Methods Computer Aided Verification Software Automation
Gilles Geeraerts

Gilles Geeraerts

Associate Prof. of Computer Science, Université libre de Bruxelles (ULB)
Verified email at ulb.be
Cited by 799
Computer-aided verification Formal methods Game theory
Yi Xu

Yi Xu

Scientist, HP Labs Singapore
Verified email at e.ntu.edu.sg
Cited by 117
CSCW Distributed Systems Computer-Aided Verification
Marko Novakovic

Marko Novakovic

MASc student, University of Waterloo
Verified email at uwaterloo.ca
Cited by 58
Model Driven Engineering Model Transformations Software Product Lines Computer Aided Verification
Alejandro Hernández-Cerezo

Alejandro Hernández-Cerezo

Complutense University of Madrid
Verified email at ucm.es
Cited by 29
Ethereum Smart Contracts Computer-Aided Verification SMT