H-Index & Metrics Best Publications
Helmut Veith

Helmut Veith

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science D-index 36 Citations 7,221 121 World Ranking 5582 National Ranking 51

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Algorithm

His primary areas of study are Model checking, Theoretical computer science, Programming language, Abstraction model checking and Temporal logic. His Model checking research incorporates themes from Mutual exclusion, Concurrency, Counterexample, Binary decision diagram and Computation. His Theoretical computer science study combines topics in areas such as Finite-state machine, Algorithm and Compiler.

His work on Source code, Software and Transition system as part of general Programming language study is frequently linked to Context and AND gate, bridging the gap between disciplines. Helmut Veith interconnects Formal verification and Symbolic trajectory evaluation in the investigation of issues within Abstraction model checking. His work is dedicated to discovering how Temporal logic, Discrete mathematics are connected with Graph and Topology and other disciplines.

His most cited work include:

  • Counterexample-guided abstraction refinement for symbolic model checking (792 citations)
  • Modular verification of software components in C (297 citations)
  • Progress on the State Explosion Problem in Model Checking (157 citations)

What are the main themes of his work throughout his whole career to date?

His scientific interests lie mostly in Model checking, Theoretical computer science, Programming language, Discrete mathematics and Software. His research in Model checking intersects with topics in Distributed algorithm, Distributed computing and Temporal logic. His studies in Theoretical computer science integrate themes in fields like Amortized analysis and Counterexample.

Many of his studies on Programming language apply to Test suite as well. His study in Discrete mathematics is interdisciplinary in nature, drawing from both Fragment and Combinatorics. His Source code research focuses on Software verification and how it connects with Software metric and Formal methods.

He most often published in these fields:

  • Model checking (34.95%)
  • Theoretical computer science (31.18%)
  • Programming language (29.03%)

What were the highlights of his more recent work (between 2014-2020)?

  • Model checking (34.95%)
  • Theoretical computer science (31.18%)
  • Distributed computing (9.68%)

In recent papers he was focusing on the following fields of study:

The scientist’s investigation covers issues in Model checking, Theoretical computer science, Distributed computing, Distributed algorithm and Programming language. His work on Abstraction model checking as part of general Model checking research is often related to Context, thus linking different fields of science. His research integrates issues of Decidability, Formal verification and Temporal logic in his study of Abstraction model checking.

His work on Regular language as part of general Theoretical computer science study is frequently linked to Equivalence, therefore connecting diverse disciplines of science. His Distributed algorithm study also includes fields such as

  • Bounded function, which have a strong connection to Liveness, Counterexample, Fragment and Order,
  • Partial order reduction and related Binary decision diagram. In the field of Programming language, his study on SQL and Mathematical logic overlaps with subjects such as Embedded SQL and Dynamical systems theory.

Between 2014 and 2020, his most popular works were:

  • Handbook of Model Checking (103 citations)
  • Decidability of Parameterized Verification (85 citations)
  • A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms (37 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Algorithm

His primary scientific interests are in Model checking, Distributed algorithm, Algorithm, Abstraction model checking and Parameterized complexity. Model checking is a primary field of his research addressed under Programming language. His Distributed algorithm study incorporates themes from Partial order reduction and Bounded function.

His study on Bounded function also encompasses disciplines like

  • Upper and lower bounds together with Reachability,
  • Liveness that intertwine with fields like Counterexample, Fault tolerance, Fragment, Asynchronous communication and Commutative property. His Abstraction model checking study improves the overall literature in Theoretical computer science. His work on Termination analysis as part of general Theoretical computer science research is frequently linked to Imperative programming, bridging the gap between disciplines.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Counterexample-guided abstraction refinement for symbolic model checking

Edmund Clarke;Orna Grumberg;Somesh Jha;Yuan Lu.
Journal of the ACM (2003)

1050 Citations

Modular verification of software components in C

S. Chaki;E.M. Clarke;A. Groce;S. Jha.
IEEE Transactions on Software Engineering (2004)

647 Citations

Progress on the State Explosion Problem in Model Checking

Edmund M. Clarke;Orna Grumberg;Somesh Jha;Yuan Lu.
Lecture Notes in Computer Science (2001)

291 Citations

Handbook of Model Checking

Edmund M. Clarke;Thomas A. Henzinger;Helmut Veith;Roderick Bloem.
(2018)

250 Citations

Efficient filtering in publish-subscribe systems using binary decision diagrams

Alexis Campailla;Sagar Chaki;Edmund Clarke;Somesh Jha.
international conference on software engineering (2001)

246 Citations

Detecting malicious code by model checking

Johannes Kinder;Stefan Katzenbeisser;Christian Schallhart;Helmut Veith.
international conference on detection of intrusions and malware and vulnerability assessment (2005)

222 Citations

Tree-like counterexamples in model checking

E. Clarke;S. Jha;Yuan Lu;H. Veith.
logic in computer science (2002)

192 Citations

Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis

Pankaj Chauhan;Edmund M. Clarke;James H. Kukula;Samir Sapra.
formal methods in computer aided design (2002)

190 Citations

Jakstab: A Static Analysis Platform for Binaries

Johannes Kinder;Helmut Veith.
computer aided verification (2008)

188 Citations

25 Years of Model Checking: History, Achievements, Perspectives

Orna Grumberg;Helmut Veith.
25 Years of Model Checking: History, Achievements, Perspectives (2008)

155 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Helmut Veith

Dirk Beyer

Dirk Beyer

Ludwig-Maximilians-Universität München

Publications: 66

Daniel Kroening

Daniel Kroening

Amazon (United States)

Publications: 59

Edmund M. Clarke

Edmund M. Clarke

Carnegie Mellon University

Publications: 48

Thomas Eiter

Thomas Eiter

TU Wien

Publications: 38

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 25

Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler

Publications: 24

Javier Esparza

Javier Esparza

Technical University of Munich

Publications: 23

Aarti Gupta

Aarti Gupta

Princeton University

Publications: 22

Stefan Katzenbeisser

Stefan Katzenbeisser

University of Passau

Publications: 22

Georg Gottlob

Georg Gottlob

University of Oxford

Publications: 22

Parosh Aziz Abdulla

Parosh Aziz Abdulla

Uppsala University

Publications: 21

Chao Wang

Chao Wang

Chinese Academy of Sciences

Publications: 20

Andreas Podelski

Andreas Podelski

University of Freiburg

Publications: 20

Alessio Lomuscio

Alessio Lomuscio

Imperial College London

Publications: 19

Byron Cook

Byron Cook

Amazon (United States)

Publications: 19

Krishnendu Chatterjee

Krishnendu Chatterjee

Institute of Science and Technology Austria

Publications: 18

Something went wrong. Please try again later.