Helmut Veith 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	11513	3494
h 指数	47	25
i10 指数	92	54

680

340

170

510

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202432 81 117 179 286 341 360 434 425 493 478 492 498 489 523 605 652 641 632 608 627 657 670 582 350

开放获取的出版物数量

查看全部

43 篇文章

3 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Somesh JhaLubar Chair of Computer Science, University of Wisconsin在 cs.wisc.edu 的电子邮件经过验证
Orna GrumbergProfessor of Computer Science, Technion在 cs.technion.ac.il 的电子邮件经过验证
Andreas HolzerUniversity of Toronto在 cs.toronto.edu 的电子邮件经过验证
Igor KonnovIndependent Security and Formal Methods Researcher在 konnov.phd 的电子邮件经过验证
Christian SchallhartGoogle在 schallhart.net 的电子邮件经过验证
Johannes KinderProfessor of Computer Science, LMU Munich在 lmu.de 的电子邮件经过验证
Roderick BloemGraz University of Technology在 iaik.tugraz.at 的电子邮件经过验证
Thomas HenzingerIST Austria在 ist.ac.at 的电子邮件经过验证
Michael TautschnigQueen Mary University of London在 qmul.ac.uk 的电子邮件经过验证
Georg GottlobProfessor of Informatics, University of Calabria在 unical.it 的电子邮件经过验证
Tomer KotekTU Wien在 forsyte.at 的电子邮件经过验证
Ayrat KhalimovTU Clausthal在 tu-clausthal.de 的电子邮件经过验证
Nicola LeoneUniversity of Calabria, Professor of Computer Science在 unical.it 的电子邮件经过验证
Mihai ChristodorescuGoogle在 christodorescu.org 的电子邮件经过验证
Thomas EiterVienna University of Technology (TU Wien)在 kr.tuwien.ac.at 的电子邮件经过验证
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland在 usi.ch 的电子邮件经过验证
Erich GrädelRWTH Aachen University在 logic.rwth-aachen.de 的电子邮件经过验证
Alex GroceAssociate Professor of Computer Science, Northern Arizona University在 nau.edu 的电子邮件经过验证
Armin BiereProfessor of Computer Science, University of Freiburg在 informatik.uni-freiburg.de 的电子邮件经过验证
Andreas FröhlichJKU Linz在 jku.at 的电子邮件经过验证

关注

Helmut Veith

Professor of Computer Science, Vienna University of Technology / TU Wien

在 forsyte.tuwien.ac.at 的电子邮件经过验证 - 首页

Formal Methods Model Checking Software Engineering Logic in Computer Science Computer Security


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Counterexample-guided abstraction refinement E Clarke, O Grumberg, S Jha, Y Lu, H Veith Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000	2658	2000
Counterexample-guided abstraction refinement for symbolic model checking E Clarke, O Grumberg, S Jha, Y Lu, H Veith Journal of the ACM (JACM) 50 (5), 752-794, 2003	1311	2003
Handbook of model checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer 10, 978-3, 2018	776	2018
Modular verification of software components in C S Chaki, EM Clarke, A Groce, S Jha, H Veith Software Engineering, IEEE Transactions on 30 (6), 388-402, 2004	681	2004
Progress on the state explosion problem in model checking E Clarke, O Grumberg, S Jha, Y Lu, H Veith Informatics: 10 Years Back, 10 Years Ahead, 176-194, 2001	356	2001
Efficient filtering in publish-subscribe systems using binary decision diagrams A Campailla, S Chaki, E Clarke, S Jha, H Veith Proceedings of the 23rd International Conference on Software Engineering …, 2001	256	2001
Detecting malicious code by model checking J Kinder, S Katzenbeisser, C Schallhart, H Veith Detection of Intrusions and Malware, and Vulnerability Assessment: Second …, 2005	241	2005
Jakstab: a static analysis platform for binaries: tool paper J Kinder, H Veith Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	222	2008
Decidability in parameterized verification R Bloem, S Jacobs, A Khalimov, I Konnov, S Rubin, H Veith, J Widder ACM SIGACT News 47 (2), 53-64, 2016	205	2016
Tree-like counterexamples in model checking E Clarke, S Jha, Y Lu, H Veith Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 19-29, 2002	197	2002
Automated abstraction refinement for model checking large state spaces using SAT based conflict analysis P Chauhan, E Clarke, J Kukula, S Sapra, H Veith, D Wang Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD …, 2002	194	2002
25 years of model checking: history, achievements, perspectives O Grumberg, H Veith Springer, 2008	165	2008
An abstract interpretation-based framework for control flow reconstruction from binaries J Kinder, F Zuleger, H Veith Verification, Model Checking, and Abstract Interpretation: 10th …, 2009	162	2009
Secure two-party computations in ANSI C A Holzer, M Franz, S Katzenbeisser, H Veith Proceedings of the 2012 ACM conference on Computer and communications …, 2012	161	2012
Environment abstraction for parameterized verification E Clarke, M Talupur, H Veith Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006	138	2006
A simple and scalable static analysis for bound analysis and amortized complexity analysis M Sinn, F Zuleger, H Veith International Conference on Computer Aided Verification, 745-761, 2014	137	2014
Bound analysis of imperative programs with the size-change abstraction F Zuleger, S Gulwani, M Sinn, H Veith Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011	131	2011
Malware normalization M Christodorescu, J Kinder, S Jha, S Katzenbeisser, H Veith University of Wisconsin-Madison Department of Computer Sciences, 2005	131	2005
Datalog LITE: A deductive query language with linear time model checking G Gottlob, E Grädel, H Veith ACM Transactions on Computational Logic (TOCL) 3 (1), 42-79, 2002	104	2002
Introduction to model checking EM Clarke, TA Henzinger, H Veith Handbook of Model Checking, 1-26, 2018	103	2018

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用