Volker Stolz

Associate Professor - Programming
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 0373 Oslo
Postal address Postboks 1080 0316 Oslo

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.
  • Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael & Stolz, Volker (2021). MC/DC Test Cases Generation Based on BDDs. In Qin, Shengchao; Jim, Woodcock & Wenhui, Zhang (Ed.), SETTA2021: 7th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Springer International Publishing. ISSN 978-3-030-91265-9. p. 178–197. doi: 10.1007/978-3-030-91265-9_10.
  • Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Pun, Ka I & Stolz, Volker (2021). Hardware-Assisted Online Data Race Detection. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13065. doi: 10.1007/978-3-030-87348-6_6.
  • Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Stolz, Volker & Viroli, Mirko (2021). Adaptive distributed monitors of spatial properties for cyber–physical systems. Journal of Systems and Software. ISSN 0164-1212. 175, p. 1–24. doi: 10.1016/j.jss.2021.110908.
  • Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael & Stolz, Volker (2020). Multi-objective Search for Model-based Testing. In Chan, W. K. V.; Nagappan, Mei & Budnik, Christof (Ed.), 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security (QRS 2020) . IEEE conference proceedings. ISSN 978-1-7281-8913-0. p. 130–141. doi: 10.1109/QRS51102.2020.00029.
  • Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael & Stolz, Volker (2020). Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. In Hedia, Belgacem Ben; Chen, Yu-Fang; Liu, Gaiyun & Yu, Zhenhua (Ed.), Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020 Xi’an, China, October 26–27, 2020 Proceedings. Springer. ISSN 978-3-030-65954-7. p. 68–83. doi: 10.1007/978-3-030-65955-4_6.
  • Stolz, Volker; Pun, Ka I & Gheyi, Rohit (2020). Refactoring and Active Object Languages. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. doi: 10.1007/978-3-030-61470-6_9. Full text in Research Archive
  • Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael & Stolz, Volker (2019). Visualization and abstractions for execution paths in model-based software testing. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11918. doi: 10.1007/978-3-030-34968-4_26.
  • Wang, Rui; Kristensen, Lars Michael; Meling, Hein & Stolz, Volker (2019). Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 104, p. 254–273. doi: 10.1016/j.jlamp.2019.02.004. Full text in Research Archive
  • Audrito, Giorgio; Damiani, Ferruccio; Stolz, Volker & Viroli, Mirko (2019). On Distributed Runtime Verification by Aggregate Computing. Electronic Proceedings in Theoretical Computer Science (EPTCS). ISSN 2075-2180. 302, p. 47–61. doi: 10.4204/EPTCS.302.4. Full text in Research Archive
  • Colombo, Christian; Falcone, Yliès; Leucker, Martin; Reger, Giles; Sánchez, César & Schneider, Gerardo [Show all 7 contributors for this article] (2018). COST Action IC1402 Runtime Verification Beyond Monitoring. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11237, p. 18–26. doi: 10.1007/978-3-030-03769-7_2.
  • Fava, Daniel Schnetzer; Steffen, Martin & Stolz, Volker (2018). Operational Semantics of a Weak Memory Model with Channel Synchronization. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10951 LNCS, p. 258–276. doi: 10.1007/978-3-319-95582-7_15.
  • Wang, Rui; Kristensen, Lars Michael & Stolz, Volker (2018). MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11181, p. 97–113. doi: 10.1007/978-3-030-00359-3_7.
  • Macías, Fernando; Rutle, Adrian; Stolz, Volker; Rodriguez-Echeverria, Roberto & Wolter, Uwe Egbert (2018). An Approach to Flexible Multilevel Modelling. Enterprise Modelling and Information Systems Architectures - An International Journal. ISSN 1860-6059. 13, p. 1–34. doi: 10.18417/emisa.13.10. Full text in Research Archive
  • Wang, Rui; Kristensen, Lars Michael; Meling, Hein & Stolz, Volker (2018). Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11090, p. 158–180. doi: 10.1007/978-3-662-58381-4_8.
  • Jaksic, Svetlana; Li, Dan; Pun, Ka I Violet & Stolz, Volker (2018). Stream-based dynamic data race detection. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713.
  • Macías, Fernando; Rutle, Adrian & Stolz, Volker (2018). A tool for the convergence of multilevel modelling approaches. CEUR Workshop Proceedings. ISSN 1613-0073. 2245, p. 633–642. Full text in Research Archive
  • 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, p. 177–196. Full text in Research Archive
  • Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker & Valle, Stian (2017). Operational Semantics of a Weak Memory Model inspired by Go. In Walden, Marina (Eds.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. p. 50–52. doi: 10.1016/j.jlamp.2018.10.004. 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, p. 96–105. doi: 10.29007/gp13.
  • Braz, Larissa; Gheyi, Rohit; Stolz, Volker & Ribeiro, Márcio (2017). Analyzing Changes on Configurable Systems with #ifdefs. In Walden, Marina (Eds.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. doi: 10.1145/3093335.2993250.
  • 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, p. 269–273.
  • Wang, Rui; Kristensen, Lars Michael; Meling, Hein & Stolz, Volker (2017). Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems. In Walden, Marina (Eds.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. p. 22–24. doi: 10.1007/978-3-662-58381-4_8.
  • Rosenberg, Carl Martin; Steffen, Martin & Stolz, Volker (2016). Leveraging DTrace for runtime verification. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10012 LNCS, p. 318–332. doi: 10.1007/978-3-319-46982-9_20.
  • Eilertsen, Anna Maria; Bagge, Anya Helene & Stolz, Volker (2016). Safer refactorings. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9952 LNCS, p. 517–531. doi: 10.1007/978-3-319-47166-2_36.
  • Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker & Wickert, Anna-Katharina (2016). Information flow analysis for Go. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9952 LNCS, p. 431–445. doi: 10.1007/978-3-319-47166-2_30.
  • 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-2208. 85(6), p. 1234–1267. doi: 10.1016/j.jlamp.2016.05.003.
  • 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, p. 66–75. Full text in Research Archive
  • Kristiansen, Erlend & Stolz, Volker (2014). Search-based composed refactorings. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. 3.
  • Lanese, Ivan; Lienhardt, Michael; Bravetti, Mario; Johnsen, Einar Broch; Schlatte, Rudolf & Stolz, Volker [Show all 7 contributors for this article] (2014). Fault Model Design Space for Cooperative Concurrency. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 8803(2), p. 22–36. doi: 10.1007/978-3-662-45231-8_3.
  • Stolz, Volker & Trancón-y-Widemann, Baltasar (2014). 7. Arbeitstagung Programmiersprachen (ATPS 2014). In Hasselbring, Wilhelm & Ehmke, Nils Christian (Ed.), Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik. Bonner Köllen Verlag. ISSN 978-388579-621-3. p. 205–206.
  • 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 (LNCS). ISSN 0302-9743. 8803(2), p. 5–21. doi: 10.1007/978-3-662-45231-8_2.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Behaviour Inference for Deadlock Checking. In Leucker, Martin (Eds.), 2014 Theoretical Aspects of Software Engineering Conference. IEEE conference proceedings. ISSN 978-1-4799-5029-4. p. 106–113. doi: 10.1109/TASE.2014.23.
  • 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), p. 1–17. doi: 10.1007/s11432-014-5159-8.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Effect-Polymorphic Behaviour Inference for Deadlock Checking. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 8702, p. 50–64. doi: 10.1007/978-3-319-10431-7_5.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Deadlock checking by data race detection. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 83(5-6), p. 400–426. doi: 10.1016/j.jlamp.2014.07.003.
  • 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. p. 191–200. doi: 10.1109/ASWEC.2013.31.
  • 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, p. 107–122.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2013). Deadlock Checking by Data Race Detection. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 8161. doi: 10.1007/978-3-642-40213-5_3.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock checking by data race detection. In Wolter, Uwe Egbert & Lamo, Yngve (Ed.), 24th Nordic Workshop on Programming Theory. Universitetet i Bergen. ISSN 0333-3590. doi: 10.1007/978-3-642-40213-5_3.
  • 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), p. 331–354. doi: 10.1016/j.jlap.2011.11.001.
  • Bertolini, Cristiano; Schäf, Martin & Stolz, Volker (2012). Towards a Formal Integrated Model of Collaborative Healthcare Workflows. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7151, p. 57–74. doi: 10.1007/978-3-642-32355-3_4.
  • 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), p. 17–39.
  • Li, Dan; Li, Xiaoshan; Liu, Zhiming & Stolz, Volker (2012). Interactive Transformations from Object-Oriented Models to Component-Based Models. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7253, p. 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: 10.1145/2237796.2237808.
  • Bodden, Eric; Falzon, Kevin; Pun, Ka I & Stolz, Volker (2012). Delta-oriented Monitor Specification. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7609, p. 162–177. doi: 10.1007/978-3-642-34026-0_13. Full text in Research Archive
  • 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; 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. p. 67–84. doi: 10.1007/978-3-642-35743-5_7.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Polymorphic behavioural lock effects for deadlock checking (extended abstract). In Petterson, Paul & Cristina, Seceleanu (Ed.), Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11. Mälardalen University. ISSN 9789521224782.
  • 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 (EPTCS). ISSN 2075-2180. 74, p. 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 (EPTCS). ISSN 2075-2180. 74, p. 54–69. doi: 10.4204/EPTCS.74.8.
  • Stolz, Volker (2010). The rCOS methodology and modeler. In Hanus, Michael & Reck, Fabian (Ed.), Programmiersprachen und Rechenkonzepte - 27.Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" Bad Honnef, 3.-5. Mai 2010 Technical Report 1010. CAU Kiel, Germany.

View all works in Cristin

  • Carvalho, Gustavo & Stolz, Volker (2020). Formal Methods: Foundations and Applications. Springer. ISBN 978-3-030-63882-5. 229 p.
  • Pun, Ka I; Stolz, Volker & Simao, Adenilso (2020). Theoretical Aspects of Computing – ICTAC 2020 . Springer. ISBN 978-3-030-64275-4. 317 p.
  • Ahishakiye, Faustin; Stolz, Volker; Jaksic, Svetlana; Lange, Felix Dino; Schmitz, Malte & Thoma, Daniel (2019). Non-intrusive MC/DC measurement based on traces. Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), IEEE. ISBN 978-1-7281-3342-3. 7 p.
  • Ahishakiye, Faustin; Stolz, Volker & Kristensen, Lars Michael (2019). Generating test cases satisfying MC/DC from BDDs. Proceedings of the 31st Nordic Workshop on Programming Theory 2019. ISBN 978-9949-83-520-1. 3 p.
  • Mann, Zoltan Adam & Stolz, Volker (2018). Advances in Service-Oriented and Cloud Computing. Springer. ISBN 978-3-319-79089-3. 194 p.

View all works in Cristin

View all works in Cristin

Published Jan. 27, 2012 12:32 PM - Last modified Aug. 25, 2021 10:45 AM

Projects

Research groups