Volker Stolz

Førsteamanuensis - Pålitelige systemer
Bilde av Volker Stolz
English version of this page
Telefon +47 22852438
Rom 9461
Treffetider etter avtale
Brukernavn
Besøksadresse Gaustadalléen 23B 0373 Oslo
Postadresse Postboks 1080 Blindern 0316 Oslo

Volker Stolz

Professor; Høgskulen på Vestlandet, Bergen

CV: https://lambda.foldr.org/~vs/stolz-4p.pdf


Academic Interests

  • Formal methods
  • Functional and logic programming
  • Aspect-oriented programming
  • Program analysis and transformation
  • Runtime verification

Past Events

Teaching

  • (2015-18, UiO) INF5140 Model Checking
  • (2015-18, HVL) DAT153 Mobile and Distributed Applications
  • (2015, HiB) MOD350 Model-driven Software Engineering
  • (2014) INF3110 Programmeringsspråk
  • (2013) INF3110 Programmeringsspråk
  • (2012) INF3110 Programmeringsspråk
  • (2012) INF3230 Formell modellering og analyse av kommuniserende systemer
  • (2011) INF3110 Programmeringsspråk
  • (2010) INF3110 Programmeringsspråk
Emneord: programming languages, programmeringsspråk, formal methods, model transformation, UML, QVT, Haskell, FreeBSD, object-orientation, verification

Publikasjoner

  • 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.
  • 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. I Cuzzocrea, Alfredo; Sharmin, Moushumi; Teranishi, Yuuichi & Towey, Dave (Red.), 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC). IEEE conference proceedings. ISSN 979-8-3503-2697-0. s. 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, s. 417–437. doi: 10.1007/978-3-031-47963-2_25. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • 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, s. 1–18. doi: 10.1007/978-3-031-08166-8_1. Fulltekst i vitenarkiv
  • 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, s. 259–280. doi: 10.1007/978-3-031-19756-7_15. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael & Stolz, Volker (2021). MC/DC Test Cases Generation Based on BDDs. I Qin, Shengchao; Jim, Woodcock & Wenhui, Zhang (Red.), SETTA2021: 7th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Springer International Publishing. ISSN 978-3-030-91265-9. s. 178–197. doi: 10.1007/978-3-030-91265-9_10. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • 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, s. 1–24. doi: 10.1016/j.jss.2021.110908. Fulltekst i vitenarkiv
  • Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael & Stolz, Volker (2020). Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. I Hedia, Belgacem Ben; Chen, Yu-Fang; Liu, Gaiyun & Yu, Zhenhua (Red.), 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. s. 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. I Chan, W. K. V.; Nagappan, Mei & Budnik, Christof (Red.), 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security (QRS 2020) . IEEE conference proceedings. ISSN 978-1-7281-8913-0. s. 130–141. doi: 10.1109/QRS51102.2020.00029. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • 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, s. 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, s. 47–61. doi: 10.4204/EPTCS.302.4. Fulltekst i vitenarkiv
  • 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, s. 254–273. doi: 10.1016/j.jlamp.2019.02.004. Fulltekst i vitenarkiv
  • 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, s. 633–642. Fulltekst i vitenarkiv
  • 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, s. 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, s. 97–113. doi: 10.1007/978-3-030-00359-3_7.
  • Colombo, Christian; Falcone, Yliès; Leucker, Martin; Reger, Giles; Sánchez, César & Schneider, Gerardo [Vis alle 7 forfattere av denne artikkelen] (2018). COST Action IC1402 Runtime Verification Beyond Monitoring. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11237, s. 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, s. 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, s. 1–34. doi: 10.18417/emisa.13.10. Fulltekst i vitenarkiv
  • Braz, Larissa; Gheyi, Rohit; Stolz, Volker & Ribeiro, Márcio (2017). Analyzing Changes on Configurable Systems with #ifdefs. I Walden, Marina (Red.), 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. I Walden, Marina (Red.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. s. 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, s. 269–273.
  • Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker & Valle, Stian (2017). Operational Semantics of a Weak Memory Model inspired by Go. I Walden, Marina (Red.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. s. 50–52. doi: 10.1016/j.jlamp.2018.10.004. Fulltekst i vitenarkiv
  • 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. 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, s. 177–196. Fulltekst i vitenarkiv
  • 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. Fulltekst i vitenarkiv
  • 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), s. 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, s. 431–445. doi: 10.1007/978-3-319-47166-2_30.
  • Eilertsen, Anna Maria; Bagge, Anya Helene & Stolz, Volker (2016). Safer refactorings. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9952 LNCS, s. 517–531. doi: 10.1007/978-3-319-47166-2_36.
  • Rosenberg, Carl Martin; Steffen, Martin & Stolz, Volker (2016). Leveraging DTrace for runtime verification. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10012 LNCS, s. 318–332. doi: 10.1007/978-3-319-46982-9_20.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Behaviour Inference for Deadlock Checking. I Leucker, Martin (Red.), 2014 Theoretical Aspects of Software Engineering Conference. IEEE conference proceedings. ISSN 978-1-4799-5029-4. s. 106–113. doi: 10.1109/TASE.2014.23.
  • Stolz, Volker & Trancón-y-Widemann, Baltasar (2014). 7. Arbeitstagung Programmiersprachen (ATPS 2014). I Hasselbring, Wilhelm & Ehmke, Nils Christian (Red.), Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik. Bonner Köllen Verlag. ISSN 978-388579-621-3. s. 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), s. 5–21. doi: 10.1007/978-3-662-45231-8_2.
  • Lanese, Ivan; Lienhardt, Michael; Bravetti, Mario; Johnsen, Einar Broch; Schlatte, Rudolf & Stolz, Volker [Vis alle 7 forfattere av denne artikkelen] (2014). Fault Model Design Space for Cooperative Concurrency. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 8803(2), s. 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), s. 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), 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 (LNCS). ISSN 0302-9743. 8702, s. 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. 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 (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, s. 107–122.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock checking by data race detection. I Wolter, Uwe Egbert & Lamo, Yngve (Red.), 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, s. 162–177. doi: 10.1007/978-3-642-34026-0_13. Fulltekst i vitenarkiv
  • 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, s. 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, 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: 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), s. 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), s. 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, 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 (EPTCS). 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). I Petterson, Paul & Cristina, Seceleanu (Red.), 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. s. 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. I Hanus, Michael & Reck, Fabian (Red.), Programmiersprachen und Rechenkonzepte - 27.Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" Bad Honnef, 3.-5. Mai 2010 Technical Report 1010. CAU Kiel, Germany.

Se alle arbeider i Cristin

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

Se alle arbeider i Cristin

Se alle arbeider i Cristin

Publisert 4. nov. 2010 14:19 - Sist endret 1. juni 2023 11:21
feeds, line 285, column 16: Failed to load feed: https://www.coems.eu/rss/: PKIX path building failed: sun.security.provider.certpath.SunCertPathBuilderException: unable to find valid certification path to requested target