Volker Stolz

Image of Volker Stolz
Norwegian version of this page
Phone +47-22852438
Room GA06 9461
Available hours by appointment
Username
Visiting address Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postal address Postboks 1080 Blindern 0316 OSLO
Other affiliations Department for Informatics

Please see this page for details.

Tags: formal methods, model transformation, UML

Publications

[1] Dan Li, Xiaoshan Li, Volker Stolz. QVT-based model transformation using XSLT. ACM SIGSOFT Software Engineering Notes Vol.36 Issue 1, 2011. [ DOI ]
[1] V. Stolz. Temporal Assertions with Parametrized Propositions. J. Log. Comput. 20(3): 743-757 (2010) [ DOI ].
[1] V. Stolz. An integrated multi-view model evolution framework. Innovations in Systems and Software Engineering, December 2009. [ DOI ]
[3] Z. Chen, Z. Liu, A. P. Ravn, V. Stolz, and N. Zhan. Refinement and verification in component-based model driven design. Science of Computer Programming, 74(4):168-196, Feb. 2009. Special Issue on the Grand Challenge.[ DOI ]
[4] B. Lei, X. Li, Z. Liu, C. Morisset, and V. Stolz. Robustness testing for software components. J. Science of Computer Programming, 2010. [ DOI ]
[5] Z. Liu, C. Morisset, and V. Stolz. rCOS: theory and tools for component-based model driven development. FSEN 2009.
[6] Z. Chen, C. Morisset, and V. Stolz. Specification and validation of behavioural protocols in the rCOS modeler. FSEN 2009.
  • Fava, Daniel Schnetzer; Stolz, Volker & Valle, Stian (2017). Operational Semantics of a Weak Memory Model inspired by Go, In Marina Walden (ed.),  Proceedings of the 29th Nordic Workshop on Programming Theory.  Turku Centre for Computer Science.  ISBN 978-952-12-3608-2.  Kapittel.  s 50 - 52 Full text in Research Archive.
  • Jaksic, Svetlana; Leucker, Martin; Li, Dan & Stolz, Volker (2017). COEMS — open traces from the industry. Kalpa Publications in Computing.  ISSN 2515-1762.
  • Wang, Rui; Kristensen, Lars Michael; Meling, Hein & Stolz, Volker (2017). Application of Model-based Testing on a Quorum-based Distributed Storage. CEUR Workshop Proceedings.  ISSN 1613-0073.  1846, s 177- 196
  • Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker & Wickert, Anna-Katharina (2016). Information flow analysis for Go. Lecture Notes in Computer Science.  ISSN 0302-9743.  9952 LNCS, s 431- 445 . doi: 10.1007/978-3-319-47166-2_30 Show summary
  • Eilertsen, Anna Maria; Bagge, Anya Helene & Stolz, Volker (2016). Safer refactorings. Lecture Notes in Computer Science.  ISSN 0302-9743.  9952 LNCS, s 517- 531 . doi: 10.1007/978-3-319-47166-2_36 Show summary
  • Macias Gomez de Villar, Fernando; Rutle, Adrian & Stolz, Volker (2016). MultEcore: Combining the best of fixed-level and multilevel metamodelling. CEUR Workshop Proceedings.  ISSN 1613-0073.  1722, s 66- 75 Show summary
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2016). Effect-Polymorphic Behaviour Inference for Deadlock Checking. The Journal of logical and algebraic methods in programming.  ISSN 2352-2216.  85(6), s 1234- 1267 . doi: 10.1016/j.jlamp.2016.05.003
  • Rosenberg, Carl Martin; Steffen, Martin & Stolz, Volker (2016). Leveraging DTrace for runtime verification. Lecture Notes in Computer Science.  ISSN 0302-9743.  10012 LNCS, s 318- 332 . doi: 10.1007/978-3-319-46982-9_20
  • Göri, Georg; Johnsen, Einar Broch; Schlatte, Rudolf & Stolz, Volker (2014). Erlang-style error recovery for concurrent objects with cooperative scheduling. Lecture Notes in Computer Science.  ISSN 0302-9743.  8803(2), s 5- 21 . doi: 10.1007/978-3-662-45231-8_2
  • Kristiansen, Erlend & Stolz, Volker (2014). Search-based composed refactorings. NIK: Norsk Informatikkonferanse.  ISSN 1892-0713.  3
  • Lanese, Ivan; Lienhardt, Michael; Bravetti, Mario; Johnsen, Einar Broch; Schlatte, Rudolf; Stolz, Volker & Zavattaro, Gianluigi (2014). Fault Model Design Space for Cooperative Concurrency. Lecture Notes in Computer Science.  ISSN 0302-9743.  8803(2), s 22- 36 . doi: 10.1007/978-3-662-45231-8_3
  • Li, Dan; Li, Xiaoshan; Liu, Zhiming & Stolz, Volker (2014). Automated transformations from UML behavior models to contracts. Science China Information Sciences.  ISSN 1674-733X.  57(12), s 1- 17 . doi: 10.1007/s11432-014-5159-8
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Behaviour Inference for Deadlock Checking, In Martin Leucker (ed.),  2014 Theoretical Aspects of Software Engineering Conference.  IEEE conference proceedings.  ISBN 978-1-4799-5029-4.  Kap..  s 106 - 113
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Deadlock checking by data race detection. The Journal of logical and algebraic methods in programming.  ISSN 2352-2216.  83(5-6), s 400- 426 . doi: 10.1016/j.jlamp.2014.07.003
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Effect-Polymorphic Behaviour Inference for Deadlock Checking. Lecture Notes in Computer Science.  ISSN 0302-9743.  8702, s 50- 64 . doi: 10.1007/978-3-319-10431-7_5
  • Stolz, Volker & Trancón-y-Widemann, Baltasar (2014). 7. Arbeitstagung Programmiersprachen (ATPS 2014), I: Wilhelm Hasselbring & Nils Christian Ehmke (red.),  Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik.  Bonner Köllen Verlag.  ISBN 978-388579-621-3.  Forord.  s 205 - 206
  • Li, Dan; Li, Xiaoshan; Liu, Zhiming & Stolz, Volker (2013). Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference : Proceedings.  ISSN 1530-0803.  s 191- 200 . doi: 10.1109/ASWEC.2013.31
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2013). Deadlock Checking by Data Race Detection. Lecture Notes in Computer Science.  ISSN 0302-9743.  8161 . doi: 10.1007/978-3-642-40213-5_3
  • Steven, Arzt; Falzon, Kevin; Follner, Andreas; Rasthofer, Siegfried; Bodden, Eric & Stolz, Volker (2013). How useful are existing monitoring languages for securing Android apps?. Lecture Notes in Informatics.  ISSN 1617-5468.  215, s 107- 122
  • Bertolini, Cristiano; Schäf, Martin & Stolz, Volker (2012). Towards a Formal Integrated Model of Collaborative Healthcare Workflows. Lecture Notes in Computer Science.  ISSN 0302-9743.  7151, s 57- 74 . doi: 10.1007/978-3-642-32355-3_4
  • Bodden, Eric; Falzon, Kevin; Pun, Ka I & Stolz, Volker (2012). Delta-oriented Monitor Specification. Lecture Notes in Computer Science.  ISSN 0302-9743.  7609, s 162- 177 . doi: 10.1007/978-3-642-34026-0_13 Show summary
  • Li, Dan; Li, Xiaoshan; Liu, Zhiming & Stolz, Volker (2012). Interactive Transformations from Object-Oriented Models to Component-Based Models. Lecture Notes in Computer Science.  ISSN 0302-9743.  7253, s 97- 114 . doi: 10.1007/978-3-642-35743-5_7
  • Li, Dan; Li, Xiaoshan & Stolz, Volker (2012). Model Querying with Graphical Notation of QVT Relations. Software engineering notes.  ISSN 0163-5948.  37(4) . doi: http://dx.doi.org/10.1145/2237796.2237808
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock Checking by a Behavioral Effect System for Lock Handling. Journal of Logic and Algebraic Programming.  ISSN 1567-8326.  81(3), s 331- 354 . doi: 10.1016/j.jlap.2011.11.001
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock checking by data race detection, In Uwe Egbert Wolter & Yngve Lamo (ed.),  24th Nordic Workshop on Programming Theory.  Universitetet i Bergen.  article.
  • Wei, Ke; Li, Xiaoshan; Liu, Zhiming & Stolz, Volker (2012). rCOS: a formal model-driven engineering method for component-based software. Frontiers of Computer Science.  ISSN 2095-2228.  6(1), s 17- 39
  • Li, Dan; Li, Xiaoshan; Liu, Zhiming & Stolz, Volker (2011). Interactive Transformations from Object-Oriented Models to Component-Based Models. Conference proceedings (Universitetet i Oslo. Institutt for informatikk).  ISSN 0806-3036.  s 67- 84
  • Li, Dan; Li, Xiaoshan & Stolz, Volker (2011). QVT-based model transformation using XSLT. Software engineering notes.  ISSN 0163-5948.  36(1) . doi: 10.1145/1921532.1921563
  • Li, Dan; Li, Xiaoshan & Stolz, Volker (2011). Saying HelloWorld with QVTR-XSLT --- A Solution to the TTC 2011 Instructive Case. Electronic Proceedings in Theoretical Computer Science.  ISSN 2075-2180.  74, s 223- 236 . doi: 10.4204/EPTCS.74.20
  • Li, Dan; Li, Xiaoshan & Stolz, Volker (2011). Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT. Electronic Proceedings in Theoretical Computer Science.  ISSN 2075-2180.  74, s 54- 69 . doi: 10.4204/EPTCS.74.8
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Polymorphic behavioural lock effects for deadlock checking (extended abstract), In Paul Petterson & Seceleanu Cristina (ed.),  Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11.  Mälardalen University.  ISBN 9789521224782.  kapittel.
  • Stolz, Volker (2010). The rCOS methodology and modeler, In Michael Hanus & Fabian Reck (ed.),  Programmiersprachen und Rechenkonzepte - 27.Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" Bad Honnef, 3.-5. Mai 2010 Technical Report 1010.  CAU Kiel, Germany.  ISBN 9999999999.  article.

View all works in Cristin

View all works in Cristin

Published Jan. 27, 2012 12:32 PM - Last modified July 25, 2016 1:40 PM
include:feed: Could not fetch object for cache entry with key "http://rcos.iist.unu.edu/index.php/older-news?format=feed&type=rss".

Projects