Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015

Country

United States

Universities and research institutions in United States
Media Ranking in United States

Subject Area and Category

Computer Science

Engineering
- Engineering (miscellaneous)

Mathematics
- Control and Optimization

Publisher

H-Index

Publication type

Conferences and Proceedings

ISSN

Coverage

Information

Homepage

Scope

The International Conference on Formal Methods in Computer-Aided Design (FMCAD) is a series of meetings presenting groundbreaking results on the theory and application of rigorous formal techniques for the automated design of systems, in the broadest sense of the word. FMCAD covers the spectrum of formal aspects of specification, verification, synthesis, and testing, and is intended as a leading forum for researchers and practitioners in academia and industry alike. FMCAD 2015 is the fifteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. FMCAD was first held in 1996, and was a bi-annual conference until 2006, when the FMCAD and CHARME conferences merged into a single annual conference. Before merging, FMCAD was held in the United States on even years and its sister conference, CHARME, was held in Europe on odd years. Since 2006, the FMCAD conference has been held annually at various international venues.

Join the conversation about this journal

SJR

The SJR is a size-independent prestige indicator that ranks journals by their 'average prestige per article'. It is based on the idea that 'all citations are not created equal'. SJR is a measure of scientific influence of journals that accounts for both the number of citations received by a journal and the importance or prestige of the journals where such citations come from It measures the scientific influence of the average article in a journal, it expresses how central to the global scientific discussion an average article of the journal is.

Year	SJR
2017	0.235
2018	0.355
2019	0.430

Total Documents

Evolution of the number of published documents. All types of documents are considered, including citable and non citable documents.

Year	Documents
2017	0
2018	0
2019	0

Citations per document

This indicator counts the number of citations received by documents from a journal and divides them by the total number of documents published in that journal. The chart shows the evolution of the average number of times documents published in a journal in the past two, three and four years have been cited in the current year. The two years line is equivalent to journal impact factor ™ (Thomson Reuters) metric.

Cites per document	Year	Value
Cites / Doc. (4 years)	2017	1.958
Cites / Doc. (4 years)	2018	2.333
Cites / Doc. (4 years)	2019	2.000
Cites / Doc. (3 years)	2017	1.958
Cites / Doc. (3 years)	2018	2.333
Cites / Doc. (3 years)	2019	2.000
Cites / Doc. (2 years)	2017	1.958
Cites / Doc. (2 years)	2018	2.333
Cites / Doc. (2 years)	2019	0.000

Total Cites

Self-Cites

Evolution of the total number of citations and journal's self-citations received by a journal's published documents during the three previous years.
Journal Self-citation is defined as the number of citation from a journal citing article to articles published by the same journal.

Cites	Year	Value
Self Cites	2017	0
Self Cites	2018	0
Self Cites	2019	0
Total Cites	2017	47
Total Cites	2018	56
Total Cites	2019	48

External Cites per Doc

Cites per Doc

Evolution of the number of total citation per document and external citation per document (i.e. journal self-citations removed) received by a journal's published documents during the three previous years. External citations are calculated by subtracting the number of self-citations from the total number of citations received by the journal’s documents.

Cites	Year	Value
External Cites per document	2017	1.958
External Cites per document	2018	2.333
External Cites per document	2019	2.000
Cites per document	2017	1.958
Cites per document	2018	2.333
Cites per document	2019	2.000

% International Collaboration

International Collaboration accounts for the articles that have been produced by researchers from several countries. The chart shows the ratio of a journal's documents signed by researchers from more than one country; that is including more than one country address.

Year	International Collaboration
2017	0
2018	0
2019	0

Citable documents

Non-citable documents

Not every article in a journal is considered primary research and therefore "citable", this chart shows the ratio of a journal's articles including substantial research (research articles, conference papers and reviews) in three year windows vs. those documents other than research articles, reviews and conference papers.

Documents	Year	Value
Non-citable documents	2017	2
Non-citable documents	2018	2
Non-citable documents	2019	2
Citable documents	2017	22
Citable documents	2018	22
Citable documents	2019	22

Cited documents

Uncited documents

Ratio of a journal's items, grouped in three years windows, that have been cited at least once vs. those not cited during the following year.

Documents	Year	Value
Uncited documents	2017	9
Uncited documents	2018	9
Uncited documents	2019	8
Cited documents	2017	15
Cited documents	2018	15
Cited documents	2019	16

Show this widget in your own website

Just copy the code below and paste within your html code:

SCImago Graphica

Explore, visually communicate and make sense of data with our new data visualization tool.