Volker Stolz

Cytowane przez

	Wszystkie	Od 2020
Cytowania	1239	332
h-indeks	18	9
i10-indeks	29	9

100

20052006200720082009201020112012201320142015201620172018201920202021202220232024202513 25 55 51 45 69 64 98 73 72 77 74 40 68 56 60 65 79 64 59 5

Dostęp publiczny

Wyświetl wszystko

15 artykułów

2 artykuły

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Professor Zhiming Liu - 刘志明Southwest University, Chongqing, ChinaZweryfikowany adres z swu.edu.cn
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEMZweryfikowany adres z uni-paderborn.de
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesZweryfikowany adres z hvl.no
Xiaoshan LiAssociate Professor of Computer Science, University of MacauZweryfikowany adres z umac.mo
Fernando MacíasANZEN EngineeringZweryfikowany adres z anzenengineering.com
Martin SteffenUniversity of OsloZweryfikowany adres z ifi.uio.no
Adrian RutleWestern Norway University of Applied SciencesZweryfikowany adres z rutle.no
Zhenbang ChenProfessor, College of Computer, National University of Defense Technology, Changsha, ChinaZweryfikowany adres z nudt.edu.cn
Charles MorissetAssociate Professor, Durham UniversityZweryfikowany adres z durham.ac.uk
Rui WangPhD research fellow, Western Norway University of Applied Sciences (Høgskulen på Vestlandet)Zweryfikowany adres z hvl.no
Anders P. RavnAalborg UniversityZweryfikowany adres z cs.aau.dk
Martin LeuckerProfessor of Computer Science, University of LübeckZweryfikowany adres z isp.uni-luebeck.de
Giorgio AudritoResearch fellowZweryfikowany adres z unito.it
Naijun ZhanSchool of Computer Science, Peking UniversityZweryfikowany adres z ios.ac.cn
José Ignacio Requeno JaraboUniversidad Complutense de MadridZweryfikowany adres z ucm.es
Mirko ViroliFull Professor of Computer Science, Università di BolognaZweryfikowany adres z unibo.it
Ferruccio DamianiFull Professor of Compurer Science, University of TorinoZweryfikowany adres z di.unito.it
Hein MelingProfessor of Computer Science, University of Stavanger, NorwayZweryfikowany adres z uis.no
Daniel FavaUniversity of Oslo, NorwayZweryfikowany adres z ifi.uio.no
Zhiming LiuProfessor of Computer Science, Southwest University, ChinaZweryfikowany adres z swu.edu.cn

Obserwuj

Volker Stolz

Høgskulen på Vestlandet & Universitetet i Oslo

Zweryfikowany adres z foldr.org - Strona główna

Computer Science


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
Temporal assertions using AspectJ V Stolz, E Bodden Electronic notes in theoretical computer science 144 (4), 109-124, 2006	234	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	81	2009
Runtime verification of concurrent Haskell programs V Stolz, F Huch Electronic Notes in Theoretical Computer Science 113, 201-216, 2005	65	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	46	2018
Robustness Testing for Software Components B Lei, X Li, Z Liu, C Morisset, V Stolz	40	2009
Temporal assertions with parametrized propositions V Stolz Journal of Logic and Computation 20 (3), 743-757, 2010	39	2010
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	39	2008
QVT-based model transformation using XSLT D Li, X Li, V Stolz ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011	34	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	32	2021
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	28	2012
Temporal assertions with parametrised propositions V Stolz International Workshop on Runtime Verification, 176-187, 2007	28	2007
Towards a formal integrated model of collaborative healthcare workflows C Bertolini, M Schäf, V Stolz International Symposium on Foundations of Health Informatics Engineering and …, 2011	26	2011
Tracechecks: Defining semantic interfaces with temporal logic E Bodden, V Stolz Software Composition: 5th International Symposium, SC 2006 Vienna, Austria …, 2006	26	2006
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	20	2019
The rCOS tool Z Chen, Z Liu, V Stolz Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture …, 2008	20	2008
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	19	2011
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

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy