Ranking & Metrics Conference Call for Papers Other Conferences in United States
CAV 2021 : International Conference on Computer Aided Verification

CAV 2021 : International Conference on Computer Aided Verification

Los Angeles , United States

Submission Deadline: Thursday 28 Jan 2021

Conference Dates: Jul 18, 2021 - Jul 18, 2021

Research
Impact Score 4.40

OFFICIAL WEBSITE

Conference Organizers: Deadline extended?
Click here to edit

Ranking & Metrics Impact Score is a novel metric devised to rank conferences based on the number of contributing the best scientists in addition to the h-index estimated from the scientific papers published by the best scientists. See more details on our methodology page.

Research Impact Score: 4.40
Contributing Best Scientists: 64
H5-index:
Papers published by Best Scientists 108
Research Ranking (Computer Science) 110

Conference Call for Papers

CAV 2021 is the 33rd in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. CAV considers it vital to continue spurring advances in hardware and software verification while expanding to new domains such as machine learning, autonomous systems, and computer security. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers is expected to be invited to a special issue of Formal Methods in System Design and the Journal of the ACM.

CAV 2021 will take place in Los Angeles, California, USA.

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
Submissions on a wide range of topics are sought, particularly ones that identify new research directions. CAV 2021 is not limited to topics discussed in previous instances of the conference. Authors concerned about the appropriateness of a topic may communicate with the conference chairs prior to submission.

Overview

Top Research Topics at Computer Aided Verification?

  • Theoretical computer science (34.36%)
  • Programming language (24.86%)
  • Algorithm (24.42%)

The conference was organized to reinforce research efforts on Theoretical computer science, Programming language, Algorithm, Model checking and Formal verification. Theoretical computer science research presented in Computer Aided Verification encompasses a variety of subjects, including Set (abstract data type), Correctness and State (computer science). The conference addresses concerns in Programming language which are intertwined with other disciplines, such as Mathematical proof and Code (cryptography).

Some problems in Algorithm that were presented in the conference overlapped with concepts under Discrete mathematics, State space and Hybrid system. The studies in Model checking featured incorporate elements of Bounded function, Binary decision diagram and Temporal logic. It links adjacent topics like Temporal logic with Linear temporal logic.

It focused on Formal verification research but expanded to cover Formal specification.

What are the most cited papers published at the conference?

  • PRISM 4.0: verification of probabilistic real-time systems (1717 citations)
  • Construction of Abstract State Graphs with PVS (1390 citations)
  • NuSMV 2: An OpenSource Tool for Symbolic Model Checking (1363 citations)

Research areas of the most cited articles at Computer Aided Verification:

The published articles mainly tackle studies in Model checking, Theoretical computer science, Algorithm, Programming language and Formal verification. The published papers explore issues in Model checking which can be linked to other research areas like Linear temporal logic, Automaton and Temporal logic. The conference publications hold forums on Algorithm that merge themes from other disciplines such as Invariant (mathematics) and Hybrid system.

What topics the last edition of the conference is best known for?

  • Programming language
  • Operating system
  • Artificial intelligence

The previous edition focused in particular on these issues:

Computer Aided Verification facilitates discussions on Programming language, Theoretical computer science, Model checking, Reachability and Artificial neural network. Most of the Programming language studies addressed also intersect with Axiom. Topics in Theoretical computer science explored in the event were investigated in conjunction with research in Range (mathematics), Set (abstract data type) and Space (mathematics).

The close relationship between State (computer science) and Liveness, State space and Data structure is one of the points of interest dissected in Model checking research. The event focuses on Artificial neural network but also tackles concerns of closely connected disciplines like

  • Robustness (computer science) which intersects with area such as Algorithm,
  • Benchmark (computing) which connect with Program synthesis.. Topics in Algorithm were tackled in line with various other fields like Function (mathematics) and Automaton.

The most cited articles from the last conference are:

  • Markov automata with multiple objectives (16 citations)
  • Quasi-Optimal Partial Order Reduction (10 citations)
  • Faster algorithms for quantitative verification in constant treewidth graphs (7 citations)

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.

Research.com

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.

Research.com

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.

Research.com

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.

Research.com

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.

Research.com

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.

Research.com

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).

Research.com

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

Research.com

Other Conferences in United States

The Web Conference

May 01, 2023 - May 05, 2023

Austin , United States, United States

Deadline: Thursday 06 Oct 2022

ACM SIGIR Conference On Human Information Interaction And Retrieval

Mar 19, 2023 - Mar 23, 2023

Austin , United States, United States

Deadline: Wednesday 05 Oct 2022

13th International Learning Analytics and Knowledge Conference

Mar 13, 2023 - Mar 17, 2023

Arlington , United States, United States

Deadline: Thursday 06 Oct 2022

The 13th International Learning Analytics and Knowledge Conference

Mar 13, 2023 - Mar 17, 2023

Seattle , United States, United States

Deadline: Thursday 06 Oct 2022

International Conference on Learning Analytics & Knowledge

Mar 13, 2023 - Mar 17, 2023

Arlington , United States, United States

Deadline: Thursday 06 Oct 2022

Previous Editions

CAV 2021 : International Conference on Computer Aided Verification

Jul 18, 2021 - Jul 18, 2021

Los Angeles , United States, United States

International Conference on Computer Aided Verification

Aug 07, 2022 - Aug 10, 2022

Haifa , Israel, Israel

Something went wrong. Please try again later.