Профили

Patrick Cousot

Professor of Computer Science, Courant Institute of Mathematical Sciences, New York …

Подтвержден адрес электронной почты в домене cims.nyu.edu

Цитируется: 29100

Abstract Interpretation Semantics Verification Formal methods

Eran Yahav

Technion, Israel

Подтвержден адрес электронной почты в домене cs.technion.ac.il

Цитируется: 13111

Program Synthesis Machine Learning for Programming Program Analysis Abstract Interpretation Programming Languages

Manuel Hermenegildo

IMDEA Software Institute and Technical U. of Madrid (UPM)

Подтвержден адрес электронной почты в домене upm.es

Цитируется: 10866

Abstract Interpretation Program Analysis Verification Logic Programming Computational Logic

Antoine Miné

Sorbonne Université, LIP6, APR

Подтвержден адрес электронной почты в домене lip6.fr

Цитируется: 7423

Program Verification Program Semantics Static Analysis Abstract Interpretation

Jérôme Feret

Chargé de recherche, Inria Paris

Подтвержден адрес электронной почты в домене inria.fr

Цитируется: 5548

static analysis abstract interpretation systems biology embedded systems

Jan Reineke

Professor of Computer Science, Saarland University, Saarland Informatics Campus

Подтвержден адрес электронной почты в домене cs.uni-saarland.de

Цитируется: 4865

program analysis abstract interpretation real-time systems microarchitectural security

Germán Puebla

Associate Professor

Подтвержден адрес электронной почты в домене fi.upm.es

Цитируется: 4840

Programming languages static analysis abstract interpretation optimization program transformation

David Monniaux

Researcher in computer science, CNRS, VERIMAG

Подтвержден адрес электронной почты в домене univ-grenoble-alpes.fr

Цитируется: 4725

Program analysis abstract interpretation decision procedures verified compilation

Xavier Rival

Directeur de Recherche, INRIA

Подтвержден адрес электронной почты в домене inria.fr

Цитируется: 4686

Program verification static analysis abstract interpretation

Roberto Giacobazzi

Professor of Computer Science, University of Arizona

Подтвержден адрес электронной почты в домене cs.arizona.edu

Цитируется: 4160

Abstract interpretation static program analysis code protection security lattice theory

1 - 10