logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
V

Volker Stolz

Western Norway University of Applied Sciences

16H-index
110Paper Count
838Citation Count
Published Papers 5
Publication Date
logo
Resource Contracts for Active Objects
errFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
err2026-01-01
err0
PREAI
errDridi, Charaf Eddine; Pun, Violet Ka I.; Stolz, Volker
errShare
errSave
Distributed runtime verification by past-CTL and the field calculus
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2022-05-01
err8
errOAAI
errAudrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Torta, Gianluca; Viroli, Mirko
errShare
errSave
Adaptive distributed monitors of spatial properties for cyber-physical systems
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2021-05-01
err21
errOAAI
errAudrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Stolz, Volker; Viroli, Mirko
errShare
errSave
Automated transformations from UML behavior models to contracts
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2014-12-10
err1
PREAI
errLi Dan; Li XiaoShan; Liu ZhiMing; Stolz, Volker
errShare
errSave
rCOS: a formal model-driven engineering method for component-based software
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2012-01-27
err12
PREAI
errKe, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
李
李丹 (Dan Li)
H-index: 104 · Papers: 1.2K
M
Mirko Viroli
H-index: 42 · Papers: 436
R
Roberto Casadei
H-index: 27 · Papers: 128
F
Ferruccio Damiani
H-index: 26 · Papers: 230
Z
Zhiming Liu
H-index: 25 · Papers: 260
View more