World's Best Scientists 2026 revealed!
ACM

20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Location: Shanghai , China

Conference dates: 10/13/2022 - 10/14/2022

Research H-index
6

Ranking & Metrics

Discipline name Position Best Scientists Publications D-Index
Computer Science 605 18 23 6

Call for Papers

MEMOCODE 2022 is a part of ESWEEK 2022, which is planned as a hybrid event, with the onsite component in Shanghai, China.

Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred. This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus on hardware/software co-design to its new focus on formal methods and models for developing computer systems and their components. MEMOCODE's objective is to emphasize the importance of models and methodologies in correct system design and development, and to bring together researchers and industry practitioners interested in all aspects of computer system development, to exchange ideas, research results and lessons learned.

Overview

This ranking presents a comprehensive list of scientific conferences in the field of Computer Science, meticulously curated to provide authoritative guidance on the relative prominence and scholarly impact of each event. Compiled by Research.com—an established leader in science research analytics across all major academic domains, including Computer Science, and a trusted source for scientific contribution data since 2014—this ranking reflects both the scope and depth of expertise in the discipline.

The positions in this ranking are determined using Research.com’s unique bibliometric score, which combines two key indicators: the estimated h-index and the number of leading scientists who have contributed to the conference in the preceding three years. This composite metric enables a nuanced and credible evaluation of each conference’s sustained influence and engagement by top experts.

The Impact Score values represented in this ranking were gathered as of 2024-11-27, ensuring the data reflects the most current and relevant scholarly activity. The selection and evaluation process involved an extensive review of more than 2,742 conferences, chosen after rigorous inspection and analysis of over 148,739 scientific documents published over the last three years by 13,184 distinguished and highly respected scientists in Computer Science.

The result is an insightful, expertly analyzed ranking that assists researchers, scholars, and academics in identifying premier venues for disseminating and accessing state-of-the-art research. For a detailed explanation of the methodology used to compute 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 International Conference on Formal Methods and Models for Co-Design (based on the number of publications) are:

  • Arvind (4 papers) published 1 paper at the last edition,
  • Thierry Gautier (3 papers) published 2 papers at the last edition,
  • Rishiyur S. Nikhil (2 papers) absent at the last edition,
  • Moshe Y. Vardi (2 papers) published 2 papers at the last edition,
  • Hatef Madani (2 papers) published 2 papers 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 International Conference on Formal Methods and Models for Co-Design (based on the number of publications) are:

  • French Institute for Research in Computer Science and Automation (6 papers) published 3 papers at the last edition,
  • Massachusetts Institute of Technology (4 papers) published 1 paper at the last edition,
  • University of California, Berkeley (3 papers) published 1 paper at the last edition,
  • University of Erlangen-Nuremberg (2 papers) published 1 paper at the last edition,
  • Intel (2 papers) published 1 paper 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 2014 edition, 10.71% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, 32.00% were posted by at least one author from the top 10 institutions publishing at the conference. Another 20.00% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included 48.00% of all publications and 0.00% 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

Studying Computer Science in the USA opens doors to various interdisciplinary fields and specialized career paths. For those interested in human behavior and tech, a fast track psychology degree can complement computer science skills by deepening understanding of user experience and cognitive processes.

Budget-conscious students can explore options like an online degree in psychology, which often provides flexible schedules and affordable tuition, making it easier to balance with technical coursework or employment.

For creative minds attracted to gaming, online colleges for game design focus on programming, storytelling, and graphics, offering a practical extension to traditional Computer Science. Check out programs highlighted under online colleges for game design for affordable and effective pathways into this booming industry.

Cybersecurity continues to be a critical field in technology. Pursuing an online cyber security degree can provide essential skills for protecting digital infrastructure, making it a strong and reliable career choice linked tightly to Computer Science fundamentals.

Best Scientists who published in this Conference

Related Articles