Dataflow Verification is a formal method for ensuring that the data dependencies, transformations, and communications among components in a dataflow model adhere to specified behavioral and temporal constraints.
45
Publications
2K
Citations
117
Authors
50
Institutions
Publications per year
2017–2026
4
Parents
Publications
45
Automated soundness proofs for dataflow analyses and transformations via local rules
Sorin Lerner, Todd Millstein, Erika Rice et al. · 2005 · 134 citations
Model-Checking Verification for Reliable Web Service
Shin Nakajima · 2002 · 103 citations
1–5 of 45
Authors
117
- SL
3
h-index
- CC
3
h-index
- NS
2
h-index
- SK
2
h-index
- ER
2
h-index
1–5 of 117
Institutions
50
Eindhoven University of Technology
Eindhoven, The Netherlands
4 h-index
8 publications
334 citations
University of Washington
Seattle, United States
3 h-index
7 publications
459 citations
University of California, Berkeley
Berkeley, United States
2 h-index
8 publications
140 citations
UCLA Health
Los Angeles, United States
2 h-index
2 publications
147 citations
Duke University
Durham, United States
2 h-index
4 publications
114 citations
University of Utah
Salt Lake City, United States
2 h-index
2 publications
68 citations
Karlsruhe Institute of Technology
Karlsruhe, Germany
2 h-index
7 publications
88 citations
IBM (United States)
Armonk, United States
2 h-index
4 publications
194 citations
1–8 of 50
Venues
- Journal of Systems and Software
JSS · 2 publications · 75 citations
2
h-index
- Information Systems
2 publications · 85 citations
2
h-index
- Journal of Information Security and Applications
JISA · 1 publications · 29 citations
1
h-index
- Queensland's institutional digital repository (The University of Queensland)
Repository · 1 publications · 163 citations
1
h-index
- Journal of the Association for Information Systems
JAIS · 1 publications · 15 citations
1
h-index
1–5