Volker Stolz

引用先

	すべて	2020 年以来
引用	1228	332
h 指標	18	9
i10 指標	29	8

100

20052006200720082009201020112012201320142015201620172018201920202021202220232024202513 25 55 51 45 68 61 94 71 74 76 72 42 65 55 62 64 76 69 57 4

オープンアクセス

すべて表示

16 件の論文

2 件の論文

利用可能

利用不可

助成機関の要件に基づく

共著者

Professor Zhiming Liu - 刘志明Southwest University, Chongqing, China確認したメールアドレス: swu.edu.cn
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEM確認したメールアドレス: uni-paderborn.de
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied Sciences確認したメールアドレス: hvl.no
Xiaoshan LiAssociate Professor of Computer Science, University of Macau確認したメールアドレス: umac.mo
Fernando MacíasANZEN Engineering確認したメールアドレス: anzenengineering.com
Martin SteffenUniversity of Oslo確認したメールアドレス: ifi.uio.no
Adrian RutleWestern Norway University of Applied Sciences確認したメールアドレス: rutle.no
Zhenbang ChenProfessor, College of Computer, National University of Defense Technology, Changsha, China確認したメールアドレス: nudt.edu.cn
Charles MorissetAssociate Professor, Durham University確認したメールアドレス: durham.ac.uk
Rui WangPhD research fellow, Western Norway University of Applied Sciences (Høgskulen på Vestlandet)確認したメールアドレス: hvl.no
Anders P. RavnAalborg University確認したメールアドレス: cs.aau.dk
Giorgio AudritoResearch fellow確認したメールアドレス: unito.it
Martin LeuckerProfessor of Computer Science, University of Lübeck確認したメールアドレス: isp.uni-luebeck.de
José Ignacio Requeno JaraboUniversidad Complutense de Madrid確認したメールアドレス: ucm.es
Naijun ZhanSchool of Computer Science, Peking University確認したメールアドレス: ios.ac.cn
Mirko ViroliFull Professor of Computer Science, Università di Bologna確認したメールアドレス: unibo.it
Ferruccio DamianiFull Professor of Compurer Science, University of Torino確認したメールアドレス: di.unito.it
Daniel FavaUniversity of Oslo, Norway確認したメールアドレス: ifi.uio.no
Hein MelingProfessor of Computer Science, University of Stavanger, Norway確認したメールアドレス: uis.no
Cyrille ArthoKTH Royal Institute of Technology, Sweden確認したメールアドレス: kth.se

フォロー

Volker Stolz

Høgskulen på Vestlandet & Universitetet i Oslo

確認したメールアドレス: foldr.org - ホームページ

Computer Science


タイトル引用回数順公開年順タイトル順	引用先引用先	年
Temporal assertions using AspectJ V Stolz, E Bodden Electronic notes in theoretical computer science 144 (4), 109-124, 2006	232	2006
Refinement and verification in component-based model-driven design Z Chen, Z Liu, AP Ravn, V Stolz, N Zhan Science of Computer Programming 74 (4), 168-196, 2009	80	2009
Runtime verification of concurrent Haskell programs V Stolz, F Huch Electronic Notes in Theoretical Computer Science 113, 201-216, 2005	64	2005
rCOS: Theory and tool for component-based model driven development Z Liu, C Morisset, V Stolz International Conference on Fundamentals of Software Engineering, 62-80, 2009	54	2009
MultEcore: Combining the best of fixed-level and multilevel metamodelling F Macias Gomez de Villar, A Rutle, V Stolz CEUR Workshop Proceedings, 2016	47	2016
An approach to flexible multilevel modelling F Macías, A Rutle, V Stolz, R Rodriguez-Echeverria, U Wolter Gesellschaft für Informatik eV, 2018	45	2018
Robustness Testing for Software Components B Lei, X Li, Z Liu, C Morisset, V Stolz	38	2009
Modelling with relational calculus of object and component systems-rCOS Z Chen, AH Hannousse, D Van Hung, I Knoll, X Li, Z Liu, Y Liu, Q Nan, ... The Common Component Modeling Example: Comparing Software Component Models …, 2008	38	2008
Temporal assertions with parametrized propositions V Stolz Journal of Logic and Computation 20 (3), 743-757, 2010	37	2010
QVT-based model transformation using XSLT D Li, X Li, V Stolz ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011	36	2011
Adaptive distributed monitors of spatial properties for cyber–physical systems G Audrito, R Casadei, F Damiani, V Stolz, M Viroli Journal of Systems and Software 175, 110908, 2021	31	2021
Temporal assertions with parametrised propositions V Stolz International Workshop on Runtime Verification, 176-187, 2007	29	2007
rCOS: a formal model-driven engineering method for component-based software W Ke, X Li, Z Liu, V Stolz Frontiers of Computer Science 6, 17-39, 2012	26	2012
Towards a formal integrated model of collaborative healthcare workflows C Bertolini, M Schäf, V Stolz Foundations of Health Informatics Engineering and Systems: First …, 2012	25	2012
Tracechecks: Defining semantic interfaces with temporal logic E Bodden, V Stolz Software Composition: 5th International Symposium, SC 2006 Vienna, Austria …, 2006	25	2006
Interactive transformations from object-oriented models to component-based models D Li, X Li, Z Liu, V Stolz International Workshop on Formal Aspects of Component Software, 97-114, 2011	22	2011
The rCOS tool Z Chen, Z Liu, V Stolz Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture …, 2008	20	2008
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model R Wang, LM Kristensen, H Meling, V Stolz Journal of Logical and Algebraic Methods in Programming 104, 254-273, 2019	19	2019
Distributed runtime verification by past-ctl and the field calculus G Audrito, F Damiani, V Stolz, G Torta, M Viroli Journal of Systems and Software 187, 111251, 2022	18	2022
Safer refactorings AM Eilertsen, AH Bagge, V Stolz International Symposium on Leveraging Applications of Formal Methods, 517-531, 2016	18	2016

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

フォロー

引用先

共著者