Folgen
Volker Stolz
Volker Stolz
Høgskulen på Vestlandet & Universitetet i Oslo
Bestätigte E-Mail-Adresse bei foldr.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Temporal assertions using AspectJ
V Stolz, E Bodden
Electronic notes in theoretical computer science 144 (4), 109-124, 2006
2342006
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
752009
Runtime verification of concurrent Haskell programs
V Stolz, F Huch
Electronic Notes in Theoretical Computer Science 113, 201-216, 2005
602005
rCOS: Theory and tool for component-based model driven development
Z Liu, C Morisset, V Stolz
Fundamentals of Software Engineering: Third IPM International Conference …, 2010
522010
MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling.
F Macías, A Rutle, V Stolz
Multi@ models, 66-75, 2016
422016
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
402018
Temporal assertions with parametrized propositions
V Stolz
Journal of Logic and Computation 20 (3), 743-757, 2010
362010
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
342008
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
342008
Robustness testing for software components
B Lei, X Li, Z Liu, C Morisset, V Stolz
Science of Computer Programming 75 (10), 879-897, 2010
332010
Robustness Testing for Software Components
B Lei, X Li, Z Liu, C Morisset, V Stolz
332009
QVT-based model transformation using XSLT
D Li, X Li, V Stolz
ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011
312011
Temporal assertions with parametrised propositions
V Stolz
Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada …, 2007
292007
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
262012
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
252012
Tracechecks: Defining semantic interfaces with temporal logic
E Bodden, V Stolz
Software Composition: 5th International Symposium, SC 2006 Vienna, Austria …, 2006
252006
The rCOS tool
Z Chen, Z Liu, V Stolz
Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture …, 2008
202008
MSCan – A Tool for Analyzing MSC Specifications
B Bollig, C Kern, M Schlütter, V Stolz
Tools and Algorithms for the Construction and Analysis of Systems: 12th …, 2006
182006
Specification and Validation of Behavioural Protocols in the rCOS Modeler.
Z Chen, C Morisset, V Stolz
FSEN, 387-401, 2009
172009
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
162021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20