Volker Stolz

Hivatkozott rá

	Összes	2016 óta
Hivatkozások	947	292
h-index	17	9
i10-index	22	7

100

2005200620072008200920102011201220132014201520162017201820192020202113 26 49 53 44 73 61 93 74 67 73 68 41 71 56 51 3

Társszerzők

Zhiming LiuUnited Nations University-International Institute for Software Technology (UNU-IIST)E-mail megerősítve itt: iist.unu.edu
Eric BoddenProfessor for Software Engineering at Heinz Nixdorf Institute, Paderborn University & Fraunhofer IEME-mail megerősítve itt: uni-paderborn.de
Xiaoshan LiAssociate Professor of Computer Science, University of MacauE-mail megerősítve itt: umac.mo
Martin SteffenUniversity of OsloE-mail megerősítve itt: ifi.uio.no
Zhenbang ChenAssociate Professor, College of Computer, National University of Defense Technology, Changsha, ChinaE-mail megerősítve itt: nudt.edu.cn
Adrian RutleWestern Norway University of Applied SciencesE-mail megerősítve itt: rutle.no
Fernando MacíasIMDEA Software InstituteE-mail megerősítve itt: imdea.org
Charles MorissetSenior Lecturer in Security, Newcastle UniversityE-mail megerősítve itt: ncl.ac.uk
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesE-mail megerősítve itt: hvl.no
Anders P. RavnAalborg UniversityE-mail megerősítve itt: cs.aau.dk
Rui WangPhD research fellow, Western Norway University of Applied Sciences (Høgskulen på Vestlandet)E-mail megerősítve itt: hvl.no
Naijun ZhanInstitute of Software Chinese Academy of SciencesE-mail megerősítve itt: ios.ac.cn
Martin LeuckerProfessor of Computer Science, University of LübeckE-mail megerősítve itt: isp.uni-luebeck.de
Daniel FavaUniversity of Oslo, NorwayE-mail megerősítve itt: ifi.uio.no
Svetlana JakšićHøgskulen på VestlandetE-mail megerősítve itt: hvl.no
Hein MelingProfessor of Computer Science, University of Stavanger, NorwayE-mail megerősítve itt: uis.no
Einar Broch JohnsenProfessor, University of OsloE-mail megerősítve itt: ifi.uio.no
Anya Helene BaggeAssociate professor, University of BergenE-mail megerősítve itt: ii.uib.no
Anna Maria EilertsenUniversity of BergenE-mail megerősítve itt: student.uib.no
Anna-Katharina WickertTechnische Universität DarmstadtE-mail megerősítve itt: cs.tu-darmstadt.de

Volker Stolz

Høgskulen på Vestlandet & Universitetet i Oslo

E-mail megerősítve itt: foldr.org

Computer Science


Cím Rendezés hivatkozások szerint Rendezés év szerint Rendezés cím szerint	Hivatkozott rá Hivatkozott rá	Év
Temporal assertions using AspectJ V Stolz, E Bodden Electronic notes in theoretical computer science 144 (4), 109-124, 2006	223	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	72	2009
Runtime verification of concurrent Haskell programs V Stolz, F Huch Electronic Notes in Theoretical Computer Science 113, 201-216, 2005	54	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	50	2009
Temporal assertions with parametrized propositions V Stolz Journal of Logic and Computation 20 (3), 743-757, 2010	33	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, 116-145, 2008	32	2008
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, 116-145, 2008	32	2008
QVT-based model transformation using XSLT D Li, X Li, V Stolz ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011	30	2011
Robustness testing for software components B Lei, X Li, Z Liu, C Morisset, V Stolz Science of Computer Programming 75 (10), 879-897, 2010	30	2010
Robustness Testing for Software Components B Lei, X Li, Z Liu, C Morisset, V Stolz	30	2009
MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling. F Macías, A Rutle, V Stolz MULTI@ MoDELS, 66-75, 2016	28	2016
Temporal assertions with parametrised propositions V Stolz International Workshop on Runtime Verification, 176-187, 2007	28	2007
Tracechecks: Defining semantic interfaces with temporal logic E Bodden, V Stolz International Conference on Software Composition, 147-162, 2006	26	2006
rCOS: a formal model-driven engineering method for component-based software W Ke, X Li, Z Liu, V Stolz Frontiers of Computer Science 6 (1), 17-39, 2012	23	2012
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	23	2011
The rCOS tool Z Chen, Z Liu, V Stolz Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture …, 2008	20	2008
An approach to flexible multilevel modelling F Macías, A Rutle, V Stolz, R Rodriguez-Echeverria, U Wolter Enterprise Modelling and Information Systems Architectures (EMISAJ …, 2018	19	2018
MSCan – A Tool for Analyzing MSC Specifications B Bollig, C Kern, M Schlütter, V Stolz International Conference on Tools and Algorithms for the Construction and …, 2006	18	2006
Specification and validation of behavioural protocols in the rCOS modeler Z Chen, C Morisset, V Stolz International Conference on Fundamentals of Software Engineering, 387-401, 2009	17	2009
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	14	2011

A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.

Cikkek 1–20

Hivatkozások évente

Ismétlődő hivatkozások

Összevont hivatkozások

Társszerzők hozzáadásaTársszerzők

PDF feltöltése

A szerző követése

Hivatkozott rá

Társszerzők