Volker Stolz

Associate Professor - Reliable Systems
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

Please see this page for details.

Tags: UML, formal methods, model transformation

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.
  • Braz, Larissa; Gheyi, Rohit; Stolz, Volker & Ribeiro, Márcio (2017). Analyzing Changes on Configurable Systems with #ifdefs, In Marina Walden (ed.),  Proceedings of the 29th Nordic Workshop on Programming Theory.  Turku Centre for Computer Science.  ISBN 978-952-12-3608-2.  Extended abstract.
  • Fava, Daniel Schnetzer; Steffen, Martin; 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.  3, s 96- 105
  • Kristensen, Lars Michael; Wang, Rui; Stolz, Volker & Meling, Hein (2017). Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems, In Marina Walden (ed.),  Proceedings of the 29th Nordic Workshop on Programming Theory.  Turku Centre for Computer Science.  ISBN 978-952-12-3608-2.  Distributed and Object Systems.  s 22 - 24
  • Macías, Fernando; Rutle, Adrian & Stolz, Volker (2017). Multilevel modelling with multecore a contribution to the MULTI 2017 challenge. CEUR Workshop Proceedings.  ISSN 1613-0073.  2019, s 269- 273
  • 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 Full text in Research Archive.
  • 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 Full text in Research Archive. Show summary
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2016). Effect-Polymorphic Behaviour Inference for Deadlock Checking. 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

  • Mann, Zoltan Adam & Stolz, Volker (ed.) (2018). Advances in Service-Oriented and Cloud Computing. Springer.  ISBN 978-3-319-79089-3.  194 s.

View all works in Cristin

  • Fava, Daniel Schnetzer; Steffen, Martin & Stolz, Volker (2018). Operational Semantics of a Weak Memory Model with Channel Synchronization.
  • Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker & Valle, Stian (2017). An operational semantics for a weak memory model with buffered writes, message passing, and goroutines. Full text in Research Archive.
  • Kyriakos, Kritikos; Zoltán Ádám, Mann; Claus, Pahl & Stolz, Volker (ed.) (2017). Joint Pre-Proceedings of the Workshops Associated with ESOCC 2017. Full text in Research Archive.
  • Macías, Fernando; Rutle, Adrian & Stolz, Volker (2017). Coordination and Amalgamation of Multilevel Coupled Model Transformations.
  • Eilertsen, Anna Maria; Bagge, Anya Helene & Stolz, Volker (2016). Safer Refactorings with Assertions.
  • Kristensen, Lars Michael; Krogstie, Birgit Rognebakke & Stolz, Volker (2016). Forord til NIK 2016 og UDIT 2016. NIK: Norsk Informatikkonferanse.  ISSN 1892-0713.
  • Macías, Fernando; Rutle, Adrian & Stolz, Volker (2016). Multilevel Behavioural Metamodelling.
  • Macías, Fernando; Scheffel, Torben; Schmitz, Malte; Wang, Rui; Leuker, Martin; Rutle, Adrian & Stolz, Volker (2016). Integration of Runtime Verification into Metamodeling.
  • Macías, Fernando; Rutle, Adrian & Stolz, Volker (2015). A Property Specification Language for Runtime Verification of Executable Models.
  • Schmid, Klaus; Stolz, Volker & Trancón y Widemann, Baltasar (2014). Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014. CEUR Workshop Proceedings.  ISSN 1613-0073.  1129
  • Xue, Jinyun & Stolz, Volker (2014). TTSS'13 - Preface. Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  309, s 1- 2 . doi: 10.1016/j.entcs.2014.12.001
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2013). Lock-Polymorphic Behaviour Inference for Deadlock Checking.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Behaviour Inference for Deadlock Checking.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock Checking by Data Race Detection. Technical reports in informatics. 421.
  • Stolz, Volker (2012). Special Issue: Harnessing Theories for Tool Support in Software. Innovations in Systems and Software Engineering.  ISSN 1614-5046. . doi: 10.1007/s11334-012-0193-4
  • Cristiano, Bertolini; Liu, Zhiming; Stolz, Volker & Schäf, Martin (2011). Towards a Formal Integrated Model of Collaborative Healthcare Workflows.
  • Li, Dan; Li, Xiaoshan; Liu, Zhiming & Stolz, Volker (2011). Interactive Transformations from Object-Oriented Models to Component-Based Models.
  • Marcel, Kyas; Sun, Meng & Stolz, Volker (ed.) (2011). TTSS'11 - 5th International Workshop on Harnessing Theories for Tool Support in Software. Full text in Research Archive.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Deadlock checking by a behavioral effect system for lock handling. Technical Report Department of Informatics. 404.
  • Zhang, Min & Stolz, Volker (2011). Preface 4th International Workshop on Harnessing Theories for Tool Support in Software (TTSS). Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  274, s 1- 2 . doi: 10.1016/j.entcs.2011.07.002
  • Stolz, Volker (2010). Component-Based Model Driven Design.
  • Stolz, Volker (2010). The rCOS Modeler - from Software Engineering to Verification.
  • Stolz, Volker (2010). The rCOS methodology and modeler.
  • Stolz, Volker & Johnsen, Einar Broch (2010). Preface TTSS 2009. Electronical Notes in Theoretical Computer Science.  ISSN 1571-0661.  266, s 1- 2
  • Zhang, Min & Stolz, Volker (ed.) (2010). Preliminary Proceedings of 4th International Workshop on Harnessing Theories for Tool Support in Software TTSS'10.

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

Research groups