Volker Stolz
Volker Stolz
Høgskulen på Vestlandet & Universitetet i Oslo
Verifisert e-postadresse på foldr.org
TittelSitert avÅr
Temporal assertions using AspectJ
V Stolz, E Bodden
Electronic Notes in Theoretical Computer Science 144 (4), 109-124, 2006
2002006
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
612009
Runtime verification of concurrent Haskell programs
V Stolz, F Huch
Electronic Notes in Theoretical Computer Science 113, 201-216, 2005
492005
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
432009
Temporal assertions with parametrized propositions
V Stolz
Journal of Logic and Computation 20 (3), 743-757, 2010
332010
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
312008
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
312008
QVT-based model transformation using XSLT
D Li, X Li, V Stolz
ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011
252011
Tracechecks: Defining semantic interfaces with temporal logic
E Bodden, V Stolz
International Conference on Software Composition, 147-162, 2006
242006
Robustness testing for software components
B Lei, X Li, Z Liu, C Morisset, V Stolz
Science of Computer Programming 75 (10), 879-897, 2010
232010
Robustness Testing for Software Components
B Lei, X Li, Z Liu, C Morisset, V Stolz
232009
Temporal assertions with parametrised propositions
V Stolz
International Workshop on Runtime Verification, 176-187, 2007
232007
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
212011
The rCOS tool
Z Chen, Z Liu, V Stolz
Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture …, 2008
192008
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
182012
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
152009
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
152006
MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling.
F Macías, A Rutle, V Stolz
MULTI@ MoDELS, 66-75, 2016
142016
How useful are existing monitoring languages for securing Android apps?
S Arzt, K Falzon, A Follner, S Rasthofer, E Bodden, V Stolz
Software Engineering 2013-Workshopband, 2013
112013
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
112011
Systemet kan ikke utføre handlingen. Prøv igjen senere.
Artikler 1–20