World's Best Scientists 2026 revealed!
IEEE

Formal Methods in Computer-Aided Design (FMCAD)

Location: Trento , Italy

Submission deadline: 5/15/2022

Conference dates: 10/19/2022 - 10/21/2022

Research H-index
4

Ranking & Metrics

Discipline name Position Best Scientists Publications D-Index
Computer Science 817 8 7 4

Call for Papers

FMCAD welcomes submission of papers reporting original research on advances in all aspects of formal methods and their applications to computer-aided design. Topics of interest include (but are not limited to):

Model checking, theorem proving, equivalence checking, abstraction and reduction, compositional methods, decision procedures at the bit- and word-level, probabilistic methods, combinations of deductive methods and decision procedures.

Synthesis and compilation for computer system descriptions, modeling, specification, and implementation languages, formal semantics of languages and their subsets, model-based design, design derivation and transformation, correct-by-construction methods.

Application of formal and semi-formal methods to functional and non-functional specification and validation of hardware and software, including timing and power modeling, verification of computing systems on all levels of abstraction, system-level design and verification for embedded systems, cyber-physical systems, automotive systems and other safety-critical systems, hardware-software co-design and verification, and transaction-level verification.

Experience with the application of formal and semi-formal methods to industrial-scale designs; tools that represent formal verification enablement, new features, or a substantial improvement in the automation of formal methods.

Application of formal methods to verifying safety, connectivity and security properties of networks, distributed systems, smart contracts, block chains, and IoT devices.

Overview

This ranking presents a comprehensive assessment of scientific conferences in the field of Computer Science. Compiled by Research.com, a leading platform dedicated to science research across all principal domains, and a trusted provider of data on scientific contributions since 2014, the ranking is designed to offer valuable insights into the impact and academic excellence of conferences worldwide.

The position of each conference in this ranking is determined by a unique bibliometric score, meticulously developed by Research.com. This score is calculated using an estimation of the h-index and the number of leading scientists contributing to each conference over the three previous years, thereby reflecting both the quality of publications and the influence of participating researchers.

The Impact Score values presented here were gathered as of 2024-11-27, ensuring that the data represent the most up-to-date comprehensive information available. To construct this ranking, the evaluation process entailed an in-depth review of more than 2,742 conferences. These conferences were selected following a rigorous analysis involving over 148,739 scientific documents published during the three most recent years by a distinguished cohort of 13,184 leading scientists active in Computer Science.

This methodical approach demonstrates our commitment to accuracy, transparency, and methodological rigor in the development of this ranking. For a detailed account of the methodology and bibliometric criteria utilized in calculating the ranking scores, please refer to 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 Formal Methods in Computer-Aided Design (based on the number of publications) are:

  • Alessandro Cimatti (13 papers) published 1 paper at the last edition,
  • Arie Gurfinkel (11 papers) published 2 papers at the last edition,
  • Jason R. Baumgartner (11 papers) absent at the last edition,
  • Hari Mony (10 papers) absent at the last edition,
  • Roderick Bloem (9 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 Formal Methods in Computer-Aided Design (based on the number of publications) are:

  • Intel (35 papers) published 2 papers at the last edition the same number as at the previous edition,
  • IBM (32 papers) published 3 papers at the last edition,
  • University of California, Berkeley (23 papers) published 2 papers at the last edition, 4 less than at the previous edition,
  • Microsoft (19 papers) published 1 paper at the last edition the same number as at the previous edition,
  • University of Texas at Austin (16 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 2017 edition, 2.78% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, 28.57% were posted by at least one author from the top 10 institutions publishing at the conference. Another 8.57% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included 20.00% of all publications and 42.86% 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

Pursuing a degree in Computer Science in the USA opens diverse career opportunities, often enhanced by specialized online programs. For those looking to fast-track their education, an online CS degree offers flexibility and accelerated pathways without compromising quality.

If affordability is a top concern, exploring options for the cheapest data science degree in the USA can provide access to cutting-edge skills in data analytics and statistical modeling while keeping costs manageable.

Those interested in advancing technology and research might consider pursuing a PhD in AI online. This path prepares students for specialized careers in machine learning, robotics, and intelligent systems, all from the convenience of remote learning.

Cybersecurity remains a growing field, and students can quickly enter the workforce through an accelerated cyber security degree online. These programs focus on protecting digital information and critical infrastructure, often in less time than traditional degrees.

Selecting the right online degree depends on career goals, budget, and time constraints. Exploring these options can help tailor a Computer Science education that aligns with your personal and professional aspirations.

Best Scientists who published in this Conference

Related Articles

Recently Published Articles