Seguir
Volker Stolz
Volker Stolz
Høgskulen på Vestlandet & Universitetet i Oslo
Dirección de correo verificada de foldr.org - Página principal
Título
Citado por
Citado por
Año
Temporal assertions using AspectJ
V Stolz, E Bodden
Electronic notes in theoretical computer science 144 (4), 109-124, 2006
2292006
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
782009
Runtime verification of concurrent Haskell programs
V Stolz, F Huch
Electronic Notes in Theoretical Computer Science 113, 201-216, 2005
612005
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
512009
MultEcore: Combining the best of fixed-level and multilevel metamodelling
F Macias Gomez de Villar, A Rutle, V Stolz
CEUR Workshop Proceedings, 2016
462016
An approach to flexible multilevel modelling
F Macías, A Rutle, V Stolz, R Rodriguez-Echeverria, U Wolter
Gesellschaft für Informatik eV, 2018
402018
Temporal assertions with parametrized propositions
V Stolz
Journal of Logic and Computation 20 (3), 743-757, 2010
372010
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
372008
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
372008
Robustness testing for software components
B Lei, X Li, Z Liu, C Morisset, V Stolz
Science of Computer Programming 75 (10), 879-897, 2010
362010
Robustness Testing for Software Components
B Lei, X Li, Z Liu, C Morisset, V Stolz
362009
QVT-based model transformation using XSLT
D Li, X Li, V Stolz
ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011
322011
Temporal assertions with parametrised propositions
V Stolz
International Workshop on Runtime Verification, 176-187, 2007
282007
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
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
252021
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
Interactive transformations from object-oriented models to component-based models
D Li, X Li, Z Liu, V Stolz
Formal Aspects of Component Software: 8th International Symposium, FACS 2011 …, 2012
202012
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
International Conference on Tools and Algorithms for the Construction and …, 2006
192006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20