Professor

Volker Stolz

Institutt for datateknologi, elektroteknologi og realfag
Volker Stolz
Tel: +47 55 58 75 86
Epost: Send epost
Bergen
KRONSTAD, F503
Last ned kontaktkort
Sjå forskarprofil i CRIStin

Arbeids- og kompetanseområde

Min hovedinteresse er programmeringsspråk og testing av programvare. Jeg utvikler nye verktøy som hjelper utviklerne å bli mer produktive. Det vil si at de kan utvikle raskere og tryggere, med mindre antall feil i koden. Som brukere opplever vi dette ved å ha mindre antall crasher i mobilapplikasjoner, websider og andre programvarer vi bruker.

Publikasjoner (inkl. pre-prints): CRIStin
Last ned CV: https://lambda.foldr.org/~vs/stolz-4p.pdf
Mastodon: @fm_volker@mastodon.social

Avsluttede prosjekter:

Underviser i
  • DAT153 "Mobile Application Development"
  • DAT355 "Model-driven Software Engineering and Reliable Software Systems"
  • PCS954 "Model Checking and Software Verification"
  • DAT159 "Refactoring"
Forskar på
  • Software Engineering
  • Testing & Monitoring
  • Runtime Verification
  • Formal Methods
Forskargrupper

Publikasjonar

  • Preface: Special issue on Theoretical Aspects of Computing

    Pun, Violet Ka I, Simao, Adenilso, Stolz, Volker (2024)
    Theoretical Computer Science 2024

  • Enforced Dependencies for Active Objects

    Pun, Violet Ka I, Stolz, Volker (2024)
    Lecture Notes in Computer Science (LNCS) 2024 Volum 14360 ;

  • Coverage visualization and analysis of net inscriptions in coloured Petri net models

    Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Kristensen, Lars Michael, Stolz, Volker (2023)
    Innovations in Systems and Software Engineering 2023

  • NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series

    Lee, Ming-Chang, Lin, Jia-Chun, Stolz, Volker (2023)
    IEEE conference proceedings. Isbn: 979-8-3503-2697-0. s. 334-339

  • Modular Soundness Checking of Feature Model Evolution Plans

    Motzfeldt, Ida Sandberg, Yu, Ingrid Chieh, Din, Crystal Chang, Pun, Violet Ka I, Stolz, Volker (2023)
    Lecture Notes in Computer Science (LNCS) 2023 Volum 14446 ;s. 417-437

  • I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking

    Abusdal, Ole Jørgen, Din, Crystal Chang, Pun, Violet Ka I, Stolz, Volker (2022)
    Lecture Notes in Computer Science (LNCS) 2022 Volum 13360 ;s. 1-18

  • A Notion of Equivalence for Refactorings with Abstract Execution

    Abusdal, Ole Jørgen, Kamburjan, Eduard, Pun, Violet Ka I, Stolz, Volker (2022)
    Lecture Notes in Computer Science (LNCS) 2022 Volum 13702 ;s. 259-280

  • Distributed runtime verification by past-CTL and the field calculus

    Audrito, Giorgio, Damiani, Ferruccio, Stolz, Volker, Torta, Gianluca, Viroli, Mirko (2022)
    Journal of Systems and Software 2022 Volum 187 ;

  • Preface – Selected papers from the 23rd Brazilian Symposium on Formal Methods – SBMF 2020

    Carvalho, Gustavo, Stolz, Volker (2022)
    Science of Computer Programming 2022 Volum 220 ;

  • Runtime Verification

    Dang, Thao, Stolz, Volker (2022)
    Springer Nature. Isbn: 9783031171963

  • MC/DC Test Cases Generation Based on BDDs

    Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Kristensen, Lars Michael, Stolz, Volker (2021)

  • Hardware-Assisted Online Data Race Detection

    Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Pun, Ka I, Stolz, Volker (2021)
    Lecture Notes in Computer Science (LNCS) 2021 Volum 13065 ;

  • Adaptive distributed monitors of spatial properties for cyber–physical systems

    Audrito, Giorgio, Casadei, Roberto, Damiani, Ferruccio, Stolz, Volker, Viroli, Mirko (2021)
    Journal of Systems and Software 2021 Volum 175 ;s. 1-24

  • Coverage Analysis of Net Inscriptions in Coloured Petri Net Models

    Ahishakiye, Faustin, Requeno Jarabo, Jose Ignacio, Kristensen, Lars Michael, Stolz, Volker (2020)
    Springer. Isbn: 978-3-030-65954-7. s. 68-83

  • Formal Methods: Foundations and Applications

    Carvalho, Gustavo, Stolz, Volker (2020)
    Springer. Isbn: 978-3-030-63882-5

  • Theoretical Aspects of Computing – ICTAC 2020

    Pun, Ka I, Stolz, Volker, Simao, Adenilso (2020)
    Springer. Isbn: 978-3-030-64275-4

  • Refactoring and Active Object Languages

    Stolz, Volker, Pun, Ka I, Gheyi, Rohit (2020)
    Lecture Notes in Computer Science (LNCS) 2020

  • Multi-objective Search for Model-based Testing

    Wang, Rui, Artho, Cyrille, Kristensen, Lars Michael, Stolz, Volker (2020)
    IEEE conference proceedings. Isbn: 978-1-7281-8913-0. s. 130-141

  • Non-intrusive MC/DC measurement based on traces

    Ahishakiye, Faustin, Stolz, Volker, Jaksic, Svetlana, Lange, Felix Dino, Schmitz, Malte, Thoma, Daniel (2019)

  • Generating test cases satisfying MC/DC from BDDs

    Ahishakiye, Faustin, Stolz, Volker, Kristensen, Lars Michael (2019)

  • On Distributed Runtime Verification by Aggregate Computing

    Audrito, Giorgio, Damiani, Ferruccio, Stolz, Volker, Viroli, Mirko (2019)
    Electronic Proceedings in Theoretical Computer Science (EPTCS) 2019 Volum 302 ;s. 47-61

  • Operational semantics of a weak memory model with channel synchronization

    Fava, Daniel Schnetzer, Steffen, Martin, Stolz, Volker (2019)
    Journal of Logical and Algebraic Methods in Programming 2019 Volum 103 ;s. 1-30

  • Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems

    Liu, Zhiming, Stolz, Volker (2019)

  • Visualization and abstractions for execution paths in model-based software testing

    Wang, Rui, Artho, Cyrille, Kristensen, Lars Michael, Stolz, Volker (2019)
    Lecture Notes in Computer Science (LNCS) 2019 Volum 11918 ;

  • Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model

    Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker (2019)
    Journal of Logical and Algebraic Methods in Programming 2019 Volum 104 ;s. 254-273

  • COST Action IC1402 Runtime Verification Beyond Monitoring

    Colombo, Christian, Falcone, Yliès, Leucker, Martin, Reger, Giles, Sánchez, César, Schneider, Gerardo, Stolz, Volker (2018)
    Lecture Notes in Computer Science (LNCS) 2018 Volum 11237 ;s. 18-26

  • Stream-based dynamic data race detection

    Jaksic, Svetlana, Li, Dan, Pun, Ka I Violet, Stolz, Volker (2018)
    NIKT: Norsk IKT-konferanse for forskning og utdanning 2018

  • Operational Semantics of a Weak Memory Model with Channel Synchronization

    Fava, Daniel Schnetzer, Steffen, Martin, Stolz, Volker (2018)
    Lecture Notes in Computer Science (LNCS) 2018s. 258-276

  • Operational Semantics of a Weak Memory Model with Channel Synchronization

    Fava, Daniel Schnetzer, Steffen, Martin, Stolz, Volker (2018)

  • COEMS

    Jaksic, Svetlana, Pun, Ka I Violet, Stolz, Volker (2018)

  • Static analysis for dynamic data race detection with TeSSLa

    Jaksic, Svetlana, Schmitz, Malte, Stolz, Volker, Thoma, Daniel (2018)

  • A tool for the convergence of multilevel modelling approaches

    Macías, Fernando, Rutle, Adrian, Stolz, Volker (2018)
    CEUR Workshop Proceedings 2018 Volum 2245 ;s. 633-642

  • An Approach to Flexible Multilevel Modelling

    Macías, Fernando, Rutle, Adrian, Stolz, Volker, Rodriguez-Echeverria, Roberto, Wolter, Uwe Egbert (2018)
    Enterprise Modelling and Information Systems Architectures - An International Journal 2018 Volum 13 ;s. 1-34

  • Advances in Service-Oriented and Cloud Computing

    Mann, Zoltan Adam, Stolz, Volker (2018)
    Springer. Isbn: 978-3-319-79089-3

  • Preface

    Mann, Zoltan, Stolz, Volker (2018)
    Communications in Computer and Information Science (CCIS) 2018 Volum 824 ;

  • Can we rely on a software-defined society? The role of formal methods.

    (2018)

  • Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems

    Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker (2018)
    Lecture Notes in Computer Science (LNCS) 2018 Volum 11090 ;s. 158-180

  • MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets

    Wang, Rui, Kristensen, Lars Michael, Stolz, Volker (2018)
    Lecture Notes in Computer Science (LNCS) 2018 Volum 11181 ;s. 97-113

  • Analyzing Changes on Configurable Systems with #ifdefs

    Braz, Larissa, Gheyi, Rohit, Stolz, Volker, Ribeiro, Márcio (2017)

  • An operational semantics for a weak memory model with buffered writes, message passing, and goroutines

    Fava, Daniel Schnetzer, Steffen, Martin, Stolz, Volker, Valle, Stian (2017)

  • Operational Semantics of a Weak Memory Model inspired by Go

    Fava, Daniel Schnetzer, Steffen, Martin, Stolz, Volker, Valle, Stian (2017)

  • COEMS — open traces from the industry

    Jaksic, Svetlana, Leucker, Martin, Li, Dan, Stolz, Volker (2017)
    Kalpa Publications in Computing 2017 Volum 3 ;s. 96-105

  • Joint Pre-Proceedings of the Workshops Associated with ESOCC 2017

    Kyriakos, Kritikos, Zoltán Ádám, Mann, Claus, Pahl, Stolz, Volker (2017)
    Universitetet i Oslo. Isbn: 978-82-7368-436-3

  • Coordination and Amalgamation of Multilevel Coupled Model Transformations

    Macías, Fernando, Rutle, Adrian, Stolz, Volker (2017)

  • Multilevel modelling with multecore a contribution to the MULTI 2017 challenge

    Macías, Fernando, Rutle, Adrian, Stolz, Volker (2017)
    CEUR Workshop Proceedings 2017 Volum 2019 ;s. 269-273

  • Application of Model-based Testing on a Quorum-based Distributed Storage

    Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker (2017)
    CEUR Workshop Proceedings 2017 Volum 1846 ;s. 177-196

  • Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems

    Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker (2017)

  • Information flow analysis for Go

    Bodden, Eric, Pun, Ka I, Steffen, Martin, Stolz, Volker, Wickert, Anna-Katharina (2016)
    Lecture Notes in Computer Science (LNCS) 2016s. 431-445

  • Safer Refactorings with Assertions

    Eilertsen, Anna Maria, Bagge, Anya Helene, Stolz, Volker (2016)

  • Safer refactorings

    Eilertsen, Anna Maria, Bagge, Anya Helene, Stolz, Volker (2016)
    Lecture Notes in Computer Science (LNCS) 2016s. 517-531

  • Forord til NIK 2016 og UDIT 2016

    Kristensen, Lars Michael, Krogstie, Birgit Rognebakke, Stolz, Volker (2016)
    NIKT: Norsk IKT-konferanse for forskning og utdanning 2016

  • MultEcore: Combining the best of fixed-level and multilevel metamodelling

    Macias Gomez de Villar, Fernando, Rutle, Adrian, Stolz, Volker (2016)
    CEUR Workshop Proceedings 2016 Volum 1722 ;s. 66-75

  • Multilevel Behavioural Metamodelling

    Macías, Fernando, Rutle, Adrian, Stolz, Volker (2016)

  • Integration of Runtime Verification into Metamodeling

    Macías, Fernando, Scheffel, Torben, Schmitz, Malte, Wang, Rui, Leuker, Martin, Rutle, Adrian, Stolz, Volker (2016)

  • Effect-Polymorphic Behaviour Inference for Deadlock Checking

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2016)
    Journal of Logical and Algebraic Methods in Programming 2016 Volum 85 ;(6)s. 1234-1267

  • Leveraging DTrace for runtime verification

    Rosenberg, Carl Martin, Steffen, Martin, Stolz, Volker (2016)
    Lecture Notes in Computer Science (LNCS) 2016s. 318-332

  • A Property Specification Language for Runtime Verification of Executable Models

    Macías, Fernando, Rutle, Adrian, Stolz, Volker (2015)

  • Erlang-style error recovery for concurrent objects with cooperative scheduling

    Göri, Georg, Johnsen, Einar Broch, Schlatte, Rudolf, Stolz, Volker (2014)
    Lecture Notes in Computer Science (LNCS) 2014 Volum 8803 ;(2)s. 5-21

  • Search-based composed refactorings

    Kristiansen, Erlend, Stolz, Volker (2014)
    NIKT: Norsk IKT-konferanse for forskning og utdanning 2014 Volum 3 ;

  • Fault Model Design Space for Cooperative Concurrency

    Lanese, Ivan, Lienhardt, Michael, Bravetti, Mario, Johnsen, Einar Broch, Schlatte, Rudolf, Stolz, Volker, Zavattaro, Gianluigi (2014)
    Lecture Notes in Computer Science (LNCS) 2014 Volum 8803 ;(2)s. 22-36

  • Automated transformations from UML behavior models to contracts

    Li, Dan, Li, Xiaoshan, Liu, Zhiming, Stolz, Volker (2014)
    Science China Information Sciences 2014 Volum 57 ;(12)s. 1-17

  • Behaviour Inference for Deadlock Checking

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2014)
    IEEE conference proceedings. Isbn: 978-1-4799-5029-4. s. 106-113

  • Deadlock checking by data race detection

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2014)
    Journal of Logical and Algebraic Methods in Programming 2014 Volum 83 ;s. 400-426

  • Effect-Polymorphic Behaviour Inference for Deadlock Checking

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2014)
    Lecture Notes in Computer Science (LNCS) 2014 Volum 8702 ;s. 50-64

  • Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014

    Schmid, Klaus, Stolz, Volker, Trancón y Widemann, Baltasar (2014)
    CEUR Workshop Proceedings 2014 Volum 1129 ;

  • 7. Arbeitstagung Programmiersprachen (ATPS 2014)

    Stolz, Volker, Trancón-y-Widemann, Baltasar (2014)
    Bonner Köllen Verlag. Isbn: 978-388579-621-3. s. 205-206

  • TTSS'13 - Preface

    Xue, Jinyun, Stolz, Volker (2014)
    Electronical Notes in Theoretical Computer Science 2014 Volum 309 ;s. 1-2

  • Support Formal Component-Based Development with UML Profile

    Li, Dan, Li, Xiaoshan, Liu, Zhiming, Stolz, Volker (2013)
    Australian Software Engineering Conference : Proceedings 2013s. 191-200

  • Deadlock Checking by Data Race Detection

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2013)
    Lecture Notes in Computer Science (LNCS) 2013 Volum 8161 ;

  • Lock-Polymorphic Behaviour Inference for Deadlock Checking

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2013)
    Universitetet i Oslo. Isbn: 82-7368-398-2

  • How useful are existing monitoring languages for securing Android apps?

    Steven, Arzt, Falzon, Kevin, Follner, Andreas, Rasthofer, Siegfried, Bodden, Eric, Stolz, Volker (2013)
    GI-Edition Lecture Notes in Informatics (LNI) 2013 Volum 215 ;s. 107-122

  • Towards a Formal Integrated Model of Collaborative Healthcare Workflows

    Bertolini, Cristiano, Schäf, Martin, Stolz, Volker (2012)
    Lecture Notes in Computer Science (LNCS) 2012 Volum 7151 ;s. 57-74

  • Delta-oriented Monitor Specification

    Bodden, Eric, Falzon, Kevin, Pun, Ka I, Stolz, Volker (2012)
    Lecture Notes in Computer Science (LNCS) 2012 Volum 7609 ;s. 162-177

  • Interactive Transformations from Object-Oriented Models to Component-Based Models

    Li, Dan, Li, Xiaoshan, Liu, Zhiming, Stolz, Volker (2012)
    Lecture Notes in Computer Science (LNCS) 2012 Volum 7253 ;s. 97-114

  • Model Querying with Graphical Notation of QVT Relations

    Li, Dan, Li, Xiaoshan, Stolz, Volker (2012)
    Software engineering notes 2012 Volum 37 ;(4)

  • Behaviour Inference for Deadlock Checking

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2012)

  • Deadlock Checking by Data Race Detection

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2012)

  • Deadlock Checking by a Behavioral Effect System for Lock Handling

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2012)
    Journal of Logic and Algebraic Programming 2012 Volum 81 ;(3)s. 331-354

  • Deadlock checking by data race detection

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2012)
    Universitetet i Bergen. Isbn: . s. 0-0

  • Special Issue: Harnessing Theories for Tool Support in Software

    (2012)
    Innovations in Systems and Software Engineering 2012

  • rCOS: a formal model-driven engineering method for component-based software

    Wei, Ke, Li, Xiaoshan, Liu, Zhiming, Stolz, Volker (2012)
    Frontiers of Computer Science 2012 Volum 6 ;(1)s. 17-39

  • Towards a Formal Integrated Model of Collaborative Healthcare Workflows

    Cristiano, Bertolini, Liu, Zhiming, Stolz, Volker, Schäf, Martin (2011)

  • Interactive Transformations from Object-Oriented Models to Component-Based Models

    Li, Dan, Li, Xiaoshan, Liu, Zhiming, Stolz, Volker (2011)
    Conference proceedings (Universitetet i Oslo. Institutt for informatikk) 2011s. 67-84

  • Interactive Transformations from Object-Oriented Models to Component-Based Models

    Li, Dan, Li, Xiaoshan, Liu, Zhiming, Stolz, Volker (2011)

  • QVT-based model transformation using XSLT

    Li, Dan, Li, Xiaoshan, Stolz, Volker (2011)
    Software engineering notes 2011 Volum 36 ;(1)

  • Saying HelloWorld with QVTR-XSLT --- A Solution to the TTC 2011 Instructive Case

    Li, Dan, Li, Xiaoshan, Stolz, Volker (2011)
    Electronic Proceedings in Theoretical Computer Science (EPTCS) 2011 Volum 74 ;s. 223-236

  • Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT

    Li, Dan, Li, Xiaoshan, Stolz, Volker (2011)
    Electronic Proceedings in Theoretical Computer Science (EPTCS) 2011 Volum 74 ;s. 54-69

  • TTSS'11 - 5th International Workshop on Harnessing Theories for Tool Support in Software

    Marcel, Kyas, Sun, Meng, Stolz, Volker (2011)
    Universitetet i Oslo. Isbn: 82-7368-371-0

  • Deadlock checking by a behavioral effect system for lock handling

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2011)
    Universitetet i Oslo. Isbn: 82-7368-366-4

  • Polymorphic behavioural lock effects for deadlock checking (extended abstract)

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2011)

  • Preface 4th International Workshop on Harnessing Theories for Tool Support in Software (TTSS)

    Zhang, Min, Stolz, Volker (2011)
    Electronical Notes in Theoretical Computer Science 2011 Volum 274 ;s. 1-2

  • Component-Based Model Driven Design

    (2010)

  • The rCOS Modeler - from Software Engineering to Verification

    (2010)

  • The rCOS methodology and modeler

    (2010)

  • The rCOS methodology and modeler

    (2010)

  • Preface TTSS 2009

    Stolz, Volker, Johnsen, Einar Broch (2010)
    Electronical Notes in Theoretical Computer Science 2010 Volum 266 ;s. 1-2

  • Preliminary Proceedings of 4th International Workshop on Harnessing Theories for Tool Support in Software TTSS'10

    Zhang, Min, Stolz, Volker (2010)