World's Best Scientists 2026 revealed!
Springer

International conference on Computer Aided Verification (CAV)

Location: Paris , France

Conference dates: 7/17/2023 - 7/22/2023

Research H-index
15

Ranking & Metrics

Discipline name Position Best Scientists Publications D-Index
Computer Science 203 42 34 15

Call for Papers

Topics of interest include but are not limited to:

Algorithms and tools for verifying models and implementations
Algorithms and tools for system synthesis
Algorithms and tools that combine verification and learning
Mathematical and logical foundations of verification and synthesis
Specifications and correctness criteria for programs and systems
Deductive verification using proof assistants
Hardware verification techniques
Program analysis and software verification
Software synthesis
Hybrid systems and embedded systems verification
Formal methods for cyber-physical systems
Compositional and abstraction-based techniques for verification
Probabilistic and statistical approaches to verification
Verification methods for parallel and concurrent systems
Testing and run-time analysis based on verification technology
Decision procedures and solvers for verification and synthesis
Applications and case studies in verification and synthesis
Verification in industrial practice
New application areas for algorithmic verification and synthesis
Formal models and methods for security
Formal models and methods for biological systems

Overview

This comprehensive ranking presents a meticulously curated list of scientific conferences within the field of Computer Science. Prepared by Research.com—a leading platform recognized for its authoritative data and expert analyses across all major scientific disciplines—this ranking underscores a commitment to providing the most reliable and up-to-date information on academic impact and prestige. Since its inception in 2014, Research.com has been a trusted resource for the global scientific community, offering insights grounded in robust research.

The ranking order is determined by a unique bibliometric score, exclusively developed by Research.com, which combines the estimated h-index of the conference series and the number of leading scientists who have contributed to or appeared at each conference over the previous three years. This composite metric is designed to accurately reflect both the scholarly impact of conferences and their ability to attract top-tier researchers in Computer Science.

The data underlying the Impact Score values were collected on 2024-11-27, ensuring that this ranking reflects a current and dynamic view of conference influence. The evaluation process involved a rigorous examination of over 2,742 conferences, each selected after detailed scrutiny of 148,739 scientific documents published in the last three years by 13,184 leading and highly respected scientists in the field. This extensive and methodical approach highlights the depth of research, expertise, and analytical complexity invested in the development of these rankings.

To maintain transparency and foster academic confidence, we invite readers to learn more about our rigorous criteria and calculation methods. Comprehensive details on the methodology used to compute ranking scores are available on our Methodology Page.

Papers citation over time

A key indicator for each conference is its effectiveness in reaching other researchers with the papers published at that venue.

The chart below presents the interquartile range (first quartile 25%, median 50% and third quartile 75%) of the number of citations of articles over time.

The top authors publishing at Computer Aided Verification (based on the number of publications) are:

  • Thomas A. Henzinger (37 papers) absent at the last edition,
  • Moshe Y. Vardi (35 papers) published 1 paper at the last edition,
  • David L. Dill (29 papers) absent at the last edition,
  • Rajeev Alur (28 papers) published 1 paper at the last edition,
  • Ahmed Bouajjani (26 papers) absent at the last edition.

The overall trend for top authors publishing at this conference is outlined below. The chart shows the number of publications at each edition of the conference for top authors.

Only papers with recognized affiliations are considered

The top affiliations publishing at Computer Aided Verification (based on the number of publications) are:

  • Microsoft (94 papers) absent at the last edition,
  • Carnegie Mellon University (81 papers) published 1 paper at the last edition,
  • Stanford University (67 papers) published 3 papers at the last edition the same number as at the previous edition,
  • University of California, Berkeley (51 papers) published 5 papers at the last edition the same number as at the previous edition,
  • Technische Universität München (48 papers) absent at the last edition.

The overall trend for top affiliations publishing at this conference is outlined below. The chart shows the number of publications at each edition of the conference for top affiliations.

Publication chance based on affiliation

The publication chance index shows the ratio of articles published by the best research institutions at the conference edition to all articles published within that conference. The best research institutions were selected based on the largest number of articles published during all editions of the conference.

The chart below presents the percentage ratio of articles from top institutions (based on their ranking of total papers).Top affiliations were grouped by their rank into the following tiers: top 1-10, top 11-20, top 21-50, and top 51+. Only articles with a recognized affiliation are considered.

During the most recent 2021 edition, 1.04% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, 20.00% were posted by at least one author from the top 10 institutions publishing at the conference. Another 14.74% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included 26.32% of all publications and 38.95% were from other institutions.

Returning Authors Index

A very common phenomenon observed among researchers publishing scientific articles is the intentional selection of conferences they have already attended in the past. In particular, it is worth analyzing the case when the authors participate in the same conference from year to year.

The Returning Authors Index presented below illustrates the ratio of authors who participated in both a given as well as the previous edition of the conference in relation to all participants in a given year.

Returning Institution Index

The graph below shows the Returning Institution Index, illustrating the ratio of institutions that participated in both a given and the previous edition of the conference in relation to all affiliations present in a given year.

The experience to innovation index

Our experience to innovation index was created to show a cross-section of the experience level of authors publishing at a conference. The index includes the authors publishing at the last edition of a conference, grouped by total number of publications throughout their academic career (P) and the total number of citations of these publications ever received (C).

The group intervals were selected empirically to best show the diversity of the authors' experiences, their labels were selected as a convenience, not as judgment. The authors were divided into the following groups:

  • Novice - P < 5 or C < 25 (the number of publications less than 5 or the number of citations less than 25),
  • Competent - P < 10 or C < 100 (the number of publications less than 10 or the number of citations less than 100),
  • Experienced - P < 25 or C < 625 (the number of publications less than 25 or the number of citations less than 625),
  • Master - P < 50 or C < 2500 (the number of publications less than 50 or the number of citations less than 2500),
  • Star - P ≥ 50 and C ≥ 2500 (both the number of publications greater than 50 and the number of citations greater than 2500).

The chart below illustrates experience levels of first authors in cases of publications with multiple authors.

Related Online Degrees & Career Pathways

Exploring online degrees in Computer Science opens up diverse career opportunities. One important factor to consider is the computer science degree cost, which varies widely between institutions. Finding an affordable program can make a significant difference in managing education expenses without compromising quality.

For veterans interested in technology careers, there are specialized options like the veteran friendly online cybersecurity degree programs. These are designed to ease the transition into civilian roles, offering flexible schedules and tailored support to help veterans succeed.

The rise of artificial intelligence has created unique roles such as AI trainers. Understanding how much do ai trainers make and what career pathways exist can help students align their education with future job prospects in this growing field.

Additionally, online certifications in security are essential for career advancement. Many reputable institutions offer online cyber security courses that provide practical skills, enhancing employability in a competitive market.

Best Scientists who published in this Conference

Related Articles

Recently Published Articles