Protocol Compliance Verification is a formal method in the domain of data and assertion validation that systematically checks whether a given dataset, process, or system adheres to predefined protocol specifications, distinguishing it from other verification approaches by its exclusive focus on conformity to established procedural, syntactic, and semantic rules defined in a protocol.
18
Publications
572
Citations
51
Authors
23
Institutions
Publications per year
2017–2026
0
Publications
18
Specification and verification of agent interaction protocols in a logic-based system
Marco Alberti, Davide Daolio, Paolo Torroni et al. · 2004 · 65 citations · Full text
1–5 of 18
Authors
51
- PM
4
h-index
- MG
4
h-index
- EL
4
h-index
- PT
4
h-index
- MA
4
h-index
1–5 of 51
Institutions
23
University of Ferrara
Ferrara, Italy
3 h-index
10 publications
551 citations
University of Bologna
Bologna, Italy
3 h-index
7 publications
392 citations
AT&T (United States)
Bedminster, United States
2 h-index
4 publications
124 citations
North Carolina State University
Raleigh, United States
2 h-index
1 publications
17 citations
Korea Railroad Research Institute
Uiwang, South Korea
1 h-index
4 publications
64 citations
National Institute of Standards and Technology
Gaithersburg, United States
1 h-index
1 publications
16 citations
University Medical Center
Lubbock, United States
1 h-index
10 publications
170 citations
Concordia University
Montreal, Canada
1 h-index
4 publications
176 citations
1–8 of 23
Venues
- Journal of surgical education
JSE · 1 publications · 17 citations
1
h-index
- Expert Systems with Applications
1 publications · 44 citations
1
h-index
- Computer Networks and ISDN Systems
1 publications · 16 citations
1
h-index
- Information Processing Letters
1 publications · 10 citations
1
h-index
- Applied Artificial Intelligence
AAI · 1 publications · 68 citations
1
h-index
1–5