Concepedia

Formal Modeling

Formal Modeling is a mathematical and logic-based specification approach within software modeling that distinguishes itself by providing rigorously defined syntax and semantics to enable precise system analysis and verification.

3.1K

Publications

138.9K

Citations

6.3K

Authors

1.6K

Institutions

Publications per year

2017–2026

384

Parents

Publications

3.1K

Supervisory Control of a Class of Discrete Event Processes

Peter J. Ramadge, W.M. Wonham · SIAM Journal on Control and Optimization · 1987 · 3.3K citations

, , +16

Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts

Ahmed E. Kosba, Andrew Miller, Elaine Shi et al. · 2016 · 2.2K citations

, , +15

On a Problem of Formal Logic

Frank Plumpton Ramsey · Proceedings of the London Mathematical Society · 1930 · 1.9K citations

, , +11

Software abstractions: logic, language and analysis

Choice Reviews Online · 2007 · 1.5K citations

, , +11

Emotions in Economic Theory and Economic Behavior

George Loewenstein · American Economic Review · 2000 · 1.4K citations

, , +14

1–5 of 3.1K

Authors

6.3K

  1. BH
    Betty H. C. Cheng

    Michigan State University, United States

    13 publications · 699 citations

    12

    h-index

  2. VV
    Valeriy Vyatkin

    Luleå University of Technology, Sweden

    14 publications · 344 citations

    12

    h-index

  3. MC
    Marsha Chećhik

    University of Toronto, Canada

    13 publications · 659 citations

    12

    h-index

  4. DG
    David Garlan

    Carnegie Mellon University, United States

    13 publications · 2.3K citations

    11

    h-index

  5. KL
    Kevin Lano

    King's College London, United Kingdom

    12 publications · 461 citations

    11

    h-index

1–5 of 6.3K

Institutions

1.6K

  1. Carnegie Mellon University

    Pittsburgh, United States

    28 h-index

    115 publications

    14.1K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    25 h-index

    114 publications

    5.8K citations

  3. University of Oxford

    Oxford, United Kingdom

    22 h-index

    53 publications

    2.3K citations

  4. Imperial College London

    London, United Kingdom

    22 h-index

    74 publications

    6.5K citations

  5. University of Illinois Urbana-Champaign

    Urbana, United States

    21 h-index

    73 publications

    6.2K citations

  6. University of York

    York, United Kingdom

    21 h-index

    70 publications

    3.4K citations

  7. Politecnico di Milano

    Milan, Italy

    21 h-index

    79 publications

    2.7K citations

  8. University of Toronto

    Toronto, Canada

    20 h-index

    60 publications

    9.9K citations

1–8 of 1.6K

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 70 publications · 5.7K citations

    39

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 72 publications · 2.3K citations

    27

    h-index

  3. Science of Computer Programming

    23 publications · 855 citations

    20

    h-index

  4. ACM SIGSOFT Software Engineering Notes

    SEN · 27 publications · 1.1K citations

    20

    h-index

  5. IEEE Software

    23 publications · 2.1K citations

    19

    h-index

1–5