Publications

  • Non-intrusive MC/DC measurement based on traces

    Ahishakiye, Faustin, Stolz, Volker, Jaksic, Svetlana, Lange, Felix Dino, Schmitz, Malte, Thoma, Daniel (2019)
  • On Distributed Runtime Verification by Aggregate Computing

    Audrito, Giorgio, Damiani, Ferruccio, Stolz, Volker, Viroli, Mirko (2019)
  • 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)
  • 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)
  • 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)
  • Stream-based dynamic data race detection

    Jaksic, Svetlana, Li, Dan, Pun, Ka I Violet, Stolz, Volker (2018)
  • Operational Semantics of a Weak Memory Model with Channel Synchronization

    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 (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)
  • An Approach to Flexible Multilevel Modelling

    Macías, Fernando, Rutle, Adrian, Stolz, Volker, Rodriguez-Echeverria, Roberto, Wolter, Uwe Egbert (2018)
  • Advances in Service-Oriented and Cloud Computing

    Mann, Zoltan Adam, Stolz, Volker (2018)
  • Preface

    Mann, Zoltan, Stolz, Volker (2018)
  • Can we rely on a software-defined society? The role of formal methods.

    Stolz, Volker (2018)
  • Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems

    Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker (2018)
  • 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)
  • 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)
  • Joint Pre-Proceedings of the Workshops Associated with ESOCC 2017

    Kyriakos, Kritikos, Zoltán Ádám, Mann, Claus, Pahl, Stolz, Volker (2017)
  • 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)
  • Application of Model-based Testing on a Quorum-based Distributed Storage

    Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker (2017)
  • 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)
  • Safer Refactorings with Assertions

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

    Eilertsen, Anna Maria, Bagge, Anya Helene, Stolz, Volker (2016)
  • Forord til NIK 2016 og UDIT 2016

    Kristensen, Lars Michael, Krogstie, Birgit Rognebakke, Stolz, Volker (2016)
  • MultEcore: Combining the best of fixed-level and multilevel metamodelling

    Macias Gomez de Villar, Fernando, Rutle, Adrian, Stolz, Volker (2016)
  • 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)
  • Leveraging DTrace for runtime verification

    Rosenberg, Carl Martin, Steffen, Martin, Stolz, Volker (2016)
  • 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)
  • Search-based composed refactorings

    Kristiansen, Erlend, Stolz, Volker (2014)
  • Fault Model Design Space for Cooperative Concurrency

    Lanese, Ivan, Lienhardt, Michael, Bravetti, Mario, Johnsen, Einar Broch, Schlatte, Rudolf, Stolz, Volker, Zavattaro, Gianluigi (2014)
  • Automated transformations from UML behavior models to contracts

    Li, Dan, Li, Xiaoshan, Liu, Zhiming, Stolz, Volker (2014)
  • Behaviour Inference for Deadlock Checking

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2014)
  • Deadlock checking by data race detection

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2014)
  • Effect-Polymorphic Behaviour Inference for Deadlock Checking

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2014)
  • Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014

    Schmid, Klaus, Stolz, Volker, Trancón y Widemann, Baltasar (2014)
  • 7. Arbeitstagung Programmiersprachen (ATPS 2014)

    Stolz, Volker, Trancón-y-Widemann, Baltasar (2014)
  • TTSS'13 - Preface

    Xue, Jinyun, Stolz, Volker (2014)
  • Support Formal Component-Based Development with UML Profile

    Li, Dan, Li, Xiaoshan, Liu, Zhiming, Stolz, Volker (2013)
  • Deadlock Checking by Data Race Detection

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2013)
  • Lock-Polymorphic Behaviour Inference for Deadlock Checking

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2013)
  • How useful are existing monitoring languages for securing Android apps?

    Steven, Arzt, Falzon, Kevin, Follner, Andreas, Rasthofer, Siegfried, Bodden, Eric, Stolz, Volker (2013)
  • Towards a Formal Integrated Model of Collaborative Healthcare Workflows

    Bertolini, Cristiano, Schäf, Martin, Stolz, Volker (2012)
  • Delta-oriented Monitor Specification

    Bodden, Eric, Falzon, Kevin, Pun, Ka I, Stolz, Volker (2012)
  • Interactive Transformations from Object-Oriented Models to Component-Based Models

    Li, Dan, Li, Xiaoshan, Liu, Zhiming, Stolz, Volker (2012)
  • Model Querying with Graphical Notation of QVT Relations

    Li, Dan, Li, Xiaoshan, Stolz, Volker (2012)
  • 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)
  • Deadlock checking by data race detection

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2012)
  • Special Issue: Harnessing Theories for Tool Support in Software

    Stolz, Volker (2012)
  • rCOS: a formal model-driven engineering method for component-based software

    Wei, Ke, Li, Xiaoshan, Liu, Zhiming, Stolz, Volker (2012)
  • 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)
  • 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)
  • Saying HelloWorld with QVTR-XSLT --- A Solution to the TTC 2011 Instructive Case

    Li, Dan, Li, Xiaoshan, Stolz, Volker (2011)
  • Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT

    Li, Dan, Li, Xiaoshan, Stolz, Volker (2011)
  • TTSS'11 - 5th International Workshop on Harnessing Theories for Tool Support in Software

    Marcel, Kyas, Sun, Meng, Stolz, Volker (2011)
  • Deadlock checking by a behavioral effect system for lock handling

    Pun, Ka I, Steffen, Martin, Stolz, Volker (2011)
  • 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)
  • 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 (2010)
  • The rCOS methodology and modeler

    Stolz, Volker (2010)
  • Preface TTSS 2009

    Stolz, Volker, Johnsen, Einar Broch (2010)
  • Preliminary Proceedings of 4th International Workshop on Harnessing Theories for Tool Support in Software TTSS'10

    Zhang, Min, Stolz, Volker (2010)