Volker Stolz

• Pun, Violet Ka I; Simao, Adenilso & Stolz, Volker (2024). Preface: Special issue on Theoretical Aspects of Computing. Theoretical Computer Science. ISSN 0304-3975. doi: 10.1016/j.tcs.2024.114408.
• Pun, Violet Ka I & Stolz, Volker (2024). Enforced Dependencies for Active Objects. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 14360. doi: 10.1007/978-3-031-51060-1_13. Show summary

  We present an active object-based language that records required and provided method completions ahead of method invocations. With this language, a programmer can use method declarations to specify the dependencies between different types of tasks. The type system makes sure that the programmer declares how to fulfil the prerequisites. An operational semantics defines non-deterministic program execution with the necessary synchronisations. We present the grammar, dynamic semantics in the form of operational semantics rules, and a rule-based type system that checks the dependencies. The absence of cyclic task dependency can be checked at the level of method declaration.

• Lee, Ming-Chang; Lin, Jia-Chun & Stolz, Volker (2023). NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series. In Cuzzocrea, Alfredo; Sharmin, Moushumi; Teranishi, Yuuichi & Towey, Dave (Ed.), 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC). IEEE conference proceedings. ISSN 979-8-3503-2697-0. p. 334–339. doi: 10.1109/COMPSAC57700.2023.00052.
• Motzfeldt, Ida Sandberg; Yu, Ingrid Chieh; Din, Crystal Chang; Pun, Violet Ka I & Stolz, Volker (2023). Modular Soundness Checking of Feature Model Evolution Plans. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 14446, p. 417–437. doi: 10.1007/978-3-031-47963-2_25. Full text in Research Archive Show summary

  A software product line (SPL) is a family of closely related software systems which capitalizes on the variability and reusability of the software products and can be formalised by a feature model. Feature model evolution plans (FMEP) capture the current SPL as well as the planned evolution of the SPL to ensure successful long-term development. As business requirements often change, FMEPs should support interme- diate update. This modification may cause paradoxes in an FMEP, e.g., a node left without a parent, making the plan impossible to realise. Current tools exist to validate FMEPs, but require analysing the entire plan even when a modification affects only small parts of it. Hence, there is a need for a method that detects such paradoxes in a more efficient way. In this paper, we present an interval based feature model (IBFM), a representation for FMEPs, that allows local reasoning to validates only the parts of the plan affected by changes. We define operations for updating the FMEPs and the preconditions under which they preserve soundness, i.e., absence of paradoxes, and show the correctness of the method.

• Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael & Stolz, Volker (2023). Coverage visualization and analysis of net inscriptions in coloured Petri net models. Innovations in Systems and Software Engineering. ISSN 1614-5046. doi: 10.1007/s11334-023-00528-z. Full text in Research Archive
• Abusdal, Ole Jørgen; Din, Crystal Chang; Pun, Violet Ka I & Stolz, Volker (2022). I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13360, p. 1–18. doi: 10.1007/978-3-031-08166-8_1. Full text in Research Archive
• Abusdal, Ole Jørgen; Kamburjan, Eduard; Pun, Violet Ka I & Stolz, Volker (2022). A Notion of Equivalence for Refactorings with Abstract Execution . Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13702, p. 259–280. doi: 10.1007/978-3-031-19756-7_15. Full text in Research Archive Show summary

  Relational verification through dynamic logic is a promising approach for verifying object oriented programs. Recent advances from symbolic to abstract executions have enabled reasoning about incomplete/abstract versions of such programs. This has proven fruitful in the exploration of correctness of refactorings primarily related to code blocks in Java. In this paper we explore further types of equivalent transformations and refactorings and discuss the challenges that still need to be overcome for full round-trip correctness of refactorings in object-oriented languages.

• Audrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Torta, Gianluca & Viroli, Mirko (2022). Distributed runtime verification by past-CTL and the field calculus. Journal of Systems and Software. ISSN 0164-1212. 187. doi: 10.1016/j.jss.2022.111251. Full text in Research Archive
• 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. Full text in Research Archive
• 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. Full text in Research Archive Show summary

  Dynamic data race detection techniques usually involve invasive instrumentation that makes it impossible to deploy an executable with such checking in the field, hence making errors difficult to debug and reproduce. This paper shows how to detect data races using the COEMS technology through continuous online monitoring with low-impact instrumentation on a novel FPGA-based external platform for embedded multicore systems. It is used in combination with formal specifications in the high-level stream-based temporal specification language TeSSLa, in which we encode a lockset-based algorithm to indicate potential race conditions. We show how to instantiate a TeSSLa template that is based on the Eraser algorithm, and present a corresponding light-weight instrumentation mechanism that emits necessary observations to the FPGA with low overhead. We illustrate the feasibility of our approach with experimental results on detection of data races on a sample application.

• 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. Full text in Research Archive
• 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.
• 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. Full text in Research Archive Show summary

  This paper presents a search-based approach relying on multi-objective reinforcement learning and optimization for test case generation in model-based software testing. Our approach considers test case generation as an exploration versus exploitation dilemma, and we address this dilemma by implementing a particular strategy of multi-objective multi-armed bandits with multiple rewards. After optimizing our strategy using the jMetal multi-objective optimization framework, the resulting parameter setting is then used by an extended version of the Modbat tool for model-based testing. We experimentally evaluate our search-based approach on a collection of examples, such as the ZooKeeper distributed service and PostgreSQL database system, by comparing it to the use of random search for test case generation. Our results show that test cases generated using our search-based approach can obtain more predictable and better state/transition coverage, find failures earlier, and provide improved path coverage.

• 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
• Fava, Daniel Schnetzer; Steffen, Martin & Stolz, Volker (2019). Operational semantics of a weak memory model with channel synchronization. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 103, p. 1–30. doi: 10.1016/j.jlamp.2018.10.004.
• 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.
• 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
• 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
• 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 (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.
• 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. 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.
• 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
• 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.
• 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.
• 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.
• 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.
• 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
• 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 Show summary

  Mainstream metamodelling approaches based on the OMG standards, such as EMF, have a fixed number of modelling levels. Despite their partial acceptance in industry, limitations on the number of levels has led to problems such as lack of flexibility and mixed levels of abstraction. Existing multilevel modelling approaches have already tackled these problems by providing features like deep modelling and linguistic extension. However, these approaches have face challenges like hesitation of adoption by industry due to the lack of an ecosystem which frameworks like EMF already have. In this paper, we (1) propose a conceptual framework for multilevel modelling that tackles such challenges, (2) illustrate the approach with two examples, and (3) present the tool MultEcore, which makes the proposed framework directly compatible with EMF, combining the best of the two worlds of fixed- and multilevel metamodelling approaches.

• 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.
• 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. Show summary

  We present the current state of the art of information flow analyses for Go applications. Based on our findings, we discuss future directions of where static analysis information can be used at Runtime to for example achieve higher precision, or optimise runtime checks. We focus specifically on outstanding language features such as closures and message-based communication via channels.

• 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. Show summary

  Refactorings often require semantic correctness conditions that amount to software model checking. However, IDEs such as Eclipse’s Java Development Tools implement far simpler checks on the structure of the code. This leads to the phenomenon that a seemingly innocuous refactoring can change the behaviour of the program. In this paper we demonstrate our technique of introducing runtime checks for two particular refactorings for the Java programming language: Extract And Move Method, and Extract Local Variable. These checks can, in combination with unit tests, detect changed behaviour and allow identification of which specific refactoring step introduced the deviant behaviour.

• 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.
• 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.
• 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.
• 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.
• Kristiansen, Erlend & Stolz, Volker (2014). Search-based composed refactorings. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713. 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), p. 1–17. doi: 10.1007/s11432-014-5159-8.
• 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.
• 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.
• 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.
• 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.
• Steven, Arzt; Falzon, Kevin; Follner, Andreas; Rasthofer, Siegfried; Bodden, Eric & Stolz, Volker (2013). How useful are existing monitoring languages for securing Android apps? GI-Edition Lecture Notes in Informatics (LNI). ISSN 1617-5468. 215, p. 107–122.
• 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.
• 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 Show summary

  Delta-oriented programming allows software developers to define software product lines as variations of a common code base, where variations are expressed as so-called program deltas. Monitor-oriented programming (MOP) provides a mechanism to execute functionality based on the program's execution history; this is useful, e.g., for the purpose of runtime verification and for enforcing security policies. In this work we discuss how delta-oriented programming and MOP can benefit from each other in the Abstract Behavior Specification Language (ABS) through a new approach we call Delta-oriented Monitor Specification (DMS). We use deltas over monitor definitions to concisely capture protocol changes induced by feature combinations, and propose a notation to denote these deltas. In addition, we explore the design space for expressing runtime monitors as program deltas in ABS. A small case study shows that our approach successfully avoids code duplication in monitor specifications and that those specifications can evolve hand in hand with feature definitions.

• 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.
• 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.
• 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.
• 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.
• 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.
• 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; 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.
• 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.
• 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

• Dang, Thao & Stolz, Volker (2022). Runtime Verification. Springer Nature. ISBN 9783031171963. 13498. 347 p.
• Pun, Ka I; Stolz, Volker & Simao, Adenilso (2020). Theoretical Aspects of Computing – ICTAC 2020 . Springer. ISBN 978-3-030-64275-4. 317 p.
• Carvalho, Gustavo & Stolz, Volker (2020). Formal Methods: Foundations and Applications. Springer. ISBN 978-3-030-63882-5. 229 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.
• 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.
• 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

• Carvalho, Gustavo & Stolz, Volker (2022). Preface – Selected papers from the 23rd Brazilian Symposium on Formal Methods – SBMF 2020. Science of Computer Programming. ISSN 0167-6423. 220. doi: 10.1016/j.scico.2022.102830.
• Stolz, Volker (2018). Can we rely on a software-defined society? The role of formal methods. [Internet]. https://youtu.be/n8v3HO-Lv8A?t=27032.
• Jaksic, Svetlana; Pun, Ka I Violet & Stolz, Volker (2018). COEMS.
• Jaksic, Svetlana; Schmitz, Malte; Stolz, Volker & Thoma, Daniel (2018). Static analysis for dynamic data race detection with TeSSLa.
• Mann, Zoltan & Stolz, Volker (2018). Preface. Communications in Computer and Information Science (CCIS). ISSN 1865-0929. 824.
• Macías, Fernando; Rutle, Adrian & Stolz, Volker (2017). Coordination and Amalgamation of Multilevel Coupled Model Transformations.
• Macías, Fernando; Scheffel, Torben; Schmitz, Malte; Wang, Rui; Leuker, Martin & Rutle, Adrian [Show all 7 contributors for this article] (2016). Integration of Runtime Verification into Metamodeling.
• Macías, Fernando; Rutle, Adrian & Stolz, Volker (2016). Multilevel Behavioural Metamodelling.
• Kristensen, Lars Michael; Krogstie, Birgit Rognebakke & Stolz, Volker (2016). Forord til NIK 2016 og UDIT 2016. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713.
• Eilertsen, Anna Maria; Bagge, Anya Helene & Stolz, Volker (2016). Safer Refactorings with Assertions.
• 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, p. 1–2. doi: 10.1016/j.entcs.2014.12.001.
• 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.
• 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, p. 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 & Johnsen, Einar Broch (2010). Preface TTSS 2009. Electronical Notes in Theoretical Computer Science. ISSN 1571-0661. 266, p. 1–2.
• Stolz, Volker (2010). The rCOS methodology and modeler.
• Liu, Zhiming & Stolz, Volker (2019). Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems. HVL. Full text in Research Archive
• Fava, Daniel Schnetzer; Steffen, Martin & Stolz, Volker (2018). Operational Semantics of a Weak Memory Model with Channel Synchronization. Universitetet i Oslo. ISSN 978-82-7368-442-4. Full text in Research Archive
• Kyriakos, Kritikos; Zoltán Ádám, Mann; Claus, Pahl & Stolz, Volker (2017). Joint Pre-Proceedings of the Workshops Associated with ESOCC 2017. Universitetet i Oslo. ISSN 978-82-7368-436-3. Full text in Research Archive
• 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. Universitetet i Oslo. ISSN 978-82-7368-431-8. Full text in Research Archive
• Pun, Ka I; Steffen, Martin & Stolz, Volker (2013). Lock-Polymorphic Behaviour Inference for Deadlock Checking. Universitetet i Oslo. ISSN 82-7368-398-2.
• Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Behaviour Inference for Deadlock Checking. Universitetet i Oslo. ISSN 82-7368-379-6".
• Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock Checking by Data Race Detection. UiO. ISSN 82-7368-385-0.
• Marcel, Kyas; Sun, Meng & Stolz, Volker (2011). TTSS'11 - 5th International Workshop on Harnessing Theories for Tool Support in Software. Universitetet i Oslo. ISSN 82-7368-371-0. Full text in Research Archive
• Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Deadlock checking by a behavioral effect system for lock handling. Universitetet i Oslo. ISSN 82-7368-366-4.
• Cristiano, Bertolini; Liu, Zhiming; Stolz, Volker & Schäf, Martin (2011). Towards a Formal Integrated Model of Collaborative Healthcare Workflows. UNU-IIST.
• Li, Dan; Li, Xiaoshan; Liu, Zhiming & Stolz, Volker (2011). Interactive Transformations from Object-Oriented Models to Component-Based Models. UNU-IIST.
• Zhang, Min & Stolz, Volker (2010). Preliminary Proceedings of 4th International Workshop on Harnessing Theories for Tool Support in Software TTSS'10. UNU-IIST.

View all works in Cristin