Formal Methods in System Design 12.0k citations
666 papers ·
indexed · active since 1950
Topics Formal Methods in Verification Logic, programming, and type systems Software Testing and Debugging Techniques Overview Impact Peers Geography Research Space Peers Formal Methods in System Design
Comparison fields: 5 of 110 Computational Theory and Mathematics 8.6k Artificial Intelligence 5.0k Software 4.9k Hardware and Architecture 3.1k Computer Networks and Communications 1.9k Information Systems 1.2k Electrical and Electronic Engineering 1.1k Control and Systems Engineering 396 Management Information Systems 392 Safety, Risk, Reliability and Quality 349 Signal Processing 313 Molecular Biology 226 Industrial and Manufacturing Engineering 206 Computer Vision and Pattern Recognition 200 Management Science and Operations Research 199 Sociology and Political Science 123 Organic Chemistry 94 Mechanical Engineering 70 Statistics, Probability and Uncertainty 62 Automotive Engineering 57 Biomedical Engineering 45 General Health Professions 38 Aerospace Engineering 38 Computer Science Applications 37 Philosophy 36 Information Systems and Management 35 Surgery 28 Statistical and Nonlinear Physics 24 Numerical Analysis 22 Economics and Econometrics 16 Human-Computer Interaction 15 Geometry and Topology 12 Social Psychology 12 Safety Research 11 Materials Chemistry 9 Atomic and Molecular Physics, and Optics 9 Management of Technology and Innovation 9 Genetics 9 Building and Construction 9 Cellular and Molecular Neuroscience 9 Statistics and Probability 9 Developmental and Educational Psychology 8 Computer Graphics and Computer-Aided Design 8 Ocean Engineering 7 Cognitive Neuroscience 7 Civil and Structural Engineering 7 Computational Mechanics 6 Mathematical Physics 6 Spectroscopy 6 Political Science and International Relations 6 Public Health, Environmental and Occupational Health 5 Transportation 5 Physical and Theoretical Chemistry 5 Biophysics 5 Theoretical Computer Science 5 Plant Science 5 Strategy and Management 5 Pharmacology 4 Radiology, Nuclear Medicine and Imaging 4 Aging 4 Astronomy and Astrophysics 4 Cancer Research 3 Environmental Engineering 3 Medical Laboratory Technology 3 Finance 3 Condensed Matter Physics 3 Education 3 Mechanics of Materials 3 Global and Planetary Change 3 Modeling and Simulation 3 Nuclear and High Energy Physics 3 Experimental and Cognitive Psychology 3 History and Philosophy of Science 2 General Decision Sciences 2 Orthopedics and Sports Medicine 2 Discrete Mathematics and Combinatorics 2 Endocrinology, Diabetes and Metabolism 2 Cell Biology 2 Demography 2 Water Science and Technology 2 Cardiology and Cardiovascular Medicine 2 Earth-Surface Processes 2 Neurology 2 Radiological and Ultrasound Technology 2 Algebra and Number Theory 2 Media Technology 2 Geophysics 1 Endocrine and Autonomic Systems 1 Atmospheric Science 1 Law 1 Nature and Landscape Conservation 1 Physical Therapy, Sports Therapy and Rehabilitation 1 Development 1 Forestry 1 Renewable Energy, Sustainability and the Environment 1 Analytical Chemistry 1 Accounting 1 Instrumentation 1 Neurology 1 Health Information Management 1 Ecology 1 Geography, Planning and Development 1 Health Informatics 1 Industrial and Manufacturing Engineering 1 Inorganic Chemistry 1 Pulmonary and Respiratory Medicine 1 Organizational Behavior and Human Resource Management 1 Visual Arts and Performing Arts 1 Food Science 1 Marketing 1
Computational Theory and Mathematics 8.6k Artificial Intelligence 5.0k Software 4.9k Hardware and Architecture 3.1k Computer Networks and Communications 1.9k Formal Aspects of Computing United Kingdom
International Journal on Software Tools for Technology Transfer United States
Journal of Automated Reasoning United States
ACM Transactions on Modeling and Computer Simulation United States
Automated Software Engineering United States
Real-Time Systems United States
Journal of Functional Programming United States
Mathematical Structures in Computer Science France
The Journal of Object Technology United States
Distributed Computing United States
Citations per field
0 0.5× 1.5× 2.2×
Formal Aspects of Computing · 1× This map shows the geographic impact of research published in Formal Methods in System Design. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by papers published in Formal Methods in System Design with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Formal Methods in System Design more than expected).
This network shows the impact of papers published in Formal Methods in System Design. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers published in Formal Methods in System Design.
About Formal Methods in System Design The 666 papers published in Formal Methods in System Design in the last decades have received a total of 12.0k indexed citations . Papers published in Formal Methods in System Design usually cover Software (251 papers), Computational Theory and Mathematics (552 papers) and Hardware and Architecture (198 papers) specifically the topics of Formal Methods in Verification (534 papers), Logic, programming, and type systems (219 papers) and Software Testing and Debugging Techniques (172 papers). The most active scholars publishing in Formal Methods in System Design are Antti Valmari , Werner Damm , David Harel , Edmund M. Clarke , Patrice Godefroid , Moshe Y. Vardi , Orna Kupferman , David L. Dill , Rajeev Alur and Thomas A. Henzinger .
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive
bibliographic database. While OpenAlex provides broad and valuable coverage of the global
research landscape, it—like all bibliographic datasets—has inherent limitations. These include
incomplete records, variations in author disambiguation, differences in journal indexing, and
delays in data updates. As a result, some metrics and network relationships displayed in
Rankless may not fully capture the entirety of a scholar's output or impact.
Explore journals with similar magnitude of impact Breakdown of academic impact, for papers in Formal Aspects of Computing Breakdown of academic impact, for papers in International Journal on Software Tools for Technology Transfer Breakdown of academic impact, for papers in Journal of Automated Reasoning Breakdown of academic impact, for papers in ACM Transactions on Modeling and Computer Simulation Breakdown of academic impact, for papers in Automated Software Engineering Breakdown of academic impact, for papers in Real-Time Systems Breakdown of academic impact, for papers in Journal of Functional Programming Breakdown of academic impact, for papers in Mathematical Structures in Computer Science Breakdown of academic impact, for papers in The Journal of Object Technology Breakdown of academic impact, for papers in Distributed Computing