H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 54 Citations 10,772 249 World Ranking 2339 National Ranking 1260

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Algorithm

Daniel Kroening mainly focuses on Model checking, Programming language, Theoretical computer science, Software and Predicate abstraction. His Model checking study is concerned with the larger field of Algorithm. His study looks at the relationship between Programming language and fields such as Verilog, as well as how they intersect with chemical problems.

His Theoretical computer science study integrates concerns from other disciplines, such as ANSI C, Propositional calculus, Pointer and Symbolic execution. His Software research integrates issues from Machine learning, Correctness, Artificial intelligence and Deep neural networks. His studies in Predicate abstraction integrate themes in fields like Kernel, Boolean algebra, Reachability, Shared memory and Abstraction model checking.

His most cited work include:

  • A Tool for Checking ANSI-C Programs (1120 citations)
  • Behavioral consistency of C and Verilog programs using bounded model checking (268 citations)
  • SATABS: SAT-Based predicate abstraction for ANSI-C (261 citations)

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

His main research concerns Programming language, Theoretical computer science, Model checking, Software and Algorithm. His Programming language course of study focuses on Verilog and Formal equivalence checking. Theoretical computer science connects with themes related to Set in his study.

His research integrates issues of Discrete mathematics, Counterexample, Program analysis and Correctness in his study of Model checking. His work focuses on many connections between Software and other disciplines, such as Parallel computing, that overlap with his field of interest in Thread. He has included themes like Software verification and validation, Verification, Software engineering and Embedded software in his Software verification study.

He most often published in these fields:

  • Programming language (32.86%)
  • Theoretical computer science (31.16%)
  • Model checking (30.59%)

What were the highlights of his more recent work (between 2016-2021)?

  • Software (19.26%)
  • Programming language (32.86%)
  • Artificial intelligence (5.10%)

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

His scientific interests lie mostly in Software, Programming language, Artificial intelligence, Theoretical computer science and Deep neural networks. The concepts of his Software study are interwoven with issues in Java and Software engineering. Daniel Kroening regularly links together related areas like Exploit in his Programming language studies.

His studies examine the connections between Artificial intelligence and genetics, as well as such issues in Machine learning, with regards to Range, Benchmark and Set. His Theoretical computer science study frequently links to adjacent areas such as Modular design. Daniel Kroening works mostly in the field of Model checking, limiting it down to topics relating to Software verification and, in certain cases, Embedded software.

Between 2016 and 2021, his most popular works were:

  • Concolic testing for deep neural networks (144 citations)
  • Testing Deep Neural Networks (102 citations)
  • Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees (33 citations)

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

  • Programming language
  • Operating system
  • Algorithm

The scientist’s investigation covers issues in Deep neural networks, Reinforcement learning, Mathematical optimization, Artificial intelligence and Limit. His research on Deep neural networks also deals with topics like

  • Adversarial system, which have a strong connection to Data science, Computer security and Software verification,
  • Concolic testing which intersects with area such as Symbolic data analysis, Computer engineering and Debugging. His Software verification research is multidisciplinary, incorporating perspectives in Java and Model checking, Bounded model checker.

His Machine learning research includes elements of Software and Code coverage. Java bytecode is connected with Set and Programming language in his research. Daniel Kroening interconnects Data center and Code in the investigation of issues within Programming language.

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.

Top Publications

A Tool for Checking ANSI-C Programs

Edmund M. Clarke;Daniel Kroening;Flavio Lerda.
tools and algorithms for construction and analysis of systems (2004)

1524 Citations

A Survey of Automated Techniques for Formal Software Verification

V. D'Silva;D. Kroening;G. Weissenbacher.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2008)

469 Citations

Behavioral consistency of C and Verilog programs using bounded model checking

Edmund Clarke;Daniel Kroening;Karen Yorav.
design automation conference (2003)

384 Citations

SATABS: SAT-Based predicate abstraction for ANSI-C

Edmund Clarke;Daniel Kroening;Natasha Sharygina;Karen Yorav.
tools and algorithms for construction and analysis of systems (2005)

383 Citations

Decision Procedures: An Algorithmic Point of View

Daniel Kroening;Ofer Strichman.
(2008)

374 Citations

Predicate Abstraction of ANSI-C Programs Using SAT

Edmund Clarke;Daniel Kroening;Natasha Sharygina;Karen Yorav.
formal methods (2004)

271 Citations

CBMC – C Bounded Model Checker

Daniel Kroening;Michael Tautschnig.
tools and algorithms for construction and analysis of systems (2014)

270 Citations

Error explanation with distance metrics

Alex Groce;Sagar Chaki;Daniel Kroening;Ofer Strichman.
International Journal on Software Tools for Technology Transfer (2006)

195 Citations

Partial Orders for Efficient Bounded Model Checking ofźConcurrentźSoftware

Jade Alglave;Daniel Kroening;Michael Tautschnig.
computer aided verification (2013)

180 Citations

Efficient Computation of Recurrence Diameters

Daniel Kroening;Ofer Strichman.
verification model checking and abstract interpretation (2002)

174 Citations

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.

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

Contact us

Top Scientists Citing Daniel Kroening

Aarti Gupta

Aarti Gupta

Princeton University

Publications: 51

Dirk Beyer

Dirk Beyer

Ludwig-Maximilians-Universität München

Publications: 48

Rolf Drechsler

Rolf Drechsler

University of Bremen

Publications: 43

Chao Wang

Chao Wang

Chinese Academy of Sciences

Publications: 39

Alessandro Cimatti

Alessandro Cimatti

Fondazione Bruno Kessler

Publications: 38

Sanjit A. Seshia

Sanjit A. Seshia

University of California, Berkeley

Publications: 38

Helmut Veith

Helmut Veith

TU Wien

Publications: 34

Parosh Aziz Abdulla

Parosh Aziz Abdulla

Uppsala University

Publications: 31

Armin Biere

Armin Biere

Johannes Kepler University of Linz

Publications: 31

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 29

Roderick Bloem

Roderick Bloem

Graz University of Technology

Publications: 26

Masahiro Fujita

Masahiro Fujita

University of Tokyo

Publications: 24

Andreas Podelski

Andreas Podelski

University of Freiburg

Publications: 24

Edmund M. Clarke

Edmund M. Clarke

Carnegie Mellon University

Publications: 23

Roberto Sebastiani

Roberto Sebastiani

University of Trento

Publications: 23

Something went wrong. Please try again later.