Reactive System Refinement is a refinement calculus method that systematically transforms abstract specifications of reactive systems into correct-by-construction implementations by preserving safety and liveness properties through stepwise refinement of state and transition relations.
28
Publications
775
Citations
60
Authors
43
Institutions
Publications per year
2017–2026
4
Parents
Publications
28
Modular refinement of hierarchic reactive machines
Rajeev Alur, Radu Grosu · 2000 · 44 citations · Full text
A Theory of Reactive Components
Jifeng He, Xiaoshan Li, Zhiming Liu · Electronic Notes in Theoretical Computer Science · 2006 · 40 citations · Full text
1–5 of 28
Authors
60
- ST
3
h-index
- VP
3
h-index
- GP
2
h-index
- LR
2
h-index
- PF
2
h-index
1–5 of 60
Institutions
43
AT&T (United States)
Bedminster, United States
3 h-index
3 publications
34 citations
Ludwig-Maximilians-Universität München
Munich, Germany
2 h-index
2 publications
33 citations
University of Eastern Finland
Joensuu, Finland
2 h-index
2 publications
125 citations
University of Toronto
Toronto, Canada
2 h-index
2 publications
41 citations
UNSW Sydney
Sydney, Australia
2 h-index
3 publications
66 citations
Data61
Sydney, Australia
2 h-index
3 publications
66 citations
University of California, Berkeley
Berkeley, United States
2 h-index
2 publications
37 citations
Aalto University
Espoo, Finland
2 h-index
3 publications
57 citations
1–8 of 43
Venues
- Automated Software Engineering
1 publications · 14 citations
2
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 2 publications · 59 citations
2
h-index
- NASA Technical Reports Server (NASA)
Repository · 1 publications · 19 citations
1
h-index
- Journal of Systems and Software
JSS · 1 publications · 74 citations
1
h-index
- Theoretical Computer Science
1 publications · 12 citations
1
h-index
1–5