Concepedia

Modular Refinement

Modular Refinement is a refinement calculus technique that decomposes system development into independently analyzable components, enabling stepwise refinement of individual modules while preserving overall correctness through well-defined interfaces and compositionality principles.

14

Publications

448

Citations

31

Authors

15

Institutions

Publications per year

2017–2026

1

Parents

Publications

14

Compositional refinement of interactive systems

Manfred Broy · Journal of the ACM · 1997 · 95 citations

, , +16

A-system: problem solving through abduction

Antonis Kakas, Bert Van Nuffelen, Marc Denecker · Lirias (KU Leuven) · 2001 · 80 citations · Full text

, , +14

Modular refinement of hierarchic reactive machines

Rajeev Alur, Radu Grosu · 2000 · 44 citations · Full text

, , +14

Bounded Dataflow Networks and Latency-Insensitive circuits

Muralidaran Vijayaraghavan, Arvind Arvind · 2009 · 35 citations

, , +14

Bounded dataflow networks and latency-insensitive circuits

Muralidaran Vijayaraghavan, Arvind Arvind · DSpace@MIT (Massachusetts Institute of Technology) · 2009 · 33 citations · Full text

, , +14

1–5 of 14

Authors

31

  1. XC
    Xiaofang Chen

    Central South University, China

    2 publications · 23 citations

    2

    h-index

  2. MV
    Muralidaran Vijayaraghavan

    Massachusetts Institute of Technology, United States

    2 publications · 68 citations

    2

    h-index

  3. SM
    Steven M. German

    IBM (United States), United States

    2 publications · 23 citations

    2

    h-index

  4. AA
    Arvind Arvind

    Massachusetts Institute of Technology, United States

    2 publications · 60 citations

    2

    h-index

  5. RA
    Rajeev Alur

    University of Pennsylvania, United States

    1 publications · 44 citations

    1

    h-index

1–5 of 31

Institutions

15

  1. Massachusetts Institute of Technology

    Cambridge, United States

    3 h-index

    8 publications

    236 citations

  2. University of Utah

    Salt Lake City, United States

    2 h-index

    3 publications

    34 citations

  3. Nokia (United States)

    Coppell, United States

    1 h-index

    2 publications

    50 citations

  4. Purdue University West Lafayette

    West Lafayette, United States

    1 h-index

    2 publications

    40 citations

  5. University of Cyprus

    Nicosia, Cyprus

    1 h-index

    1 publications

    80 citations

  6. University of Leicester

    Leicester, United Kingdom

    1 h-index

    1 publications

    11 citations

  7. University of Augsburg

    Augsburg, Germany

    1 h-index

    4 publications

    68 citations

  8. KU Leuven

    Leuven, Belgium

    1 h-index

    2 publications

    160 citations

1–8 of 15

Venues

  1. Journal of Management in Engineering

    1 publications · 20 citations

    1

    h-index

  2. Formal Methods in Computer-Aided Design

    Conference · 1 publications · 12 citations

    1

    h-index

  3. Lirias (KU Leuven)

    Repository · 1 publications · 80 citations

    1

    h-index

  4. Lecture notes in computer science

    LNCS · Book series · 1 publications · 26 citations

    1

    h-index

  5. Science of Computer Programming

    1 publications · 17 citations

    1

    h-index

1–5