Volker Stolz

Affiliations:
  • Western Norway University of Applied Sciences (HVL), Bergen, Norway
  • University of Oslo, Norway (former)


According to our database1, Volker Stolz authored at least 81 papers between 2004 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Coverage visualization and analysis of net inscriptions in coloured Petri net models.
Innov. Syst. Softw. Eng., March, 2024

Evaluation of k-means time series clustering based on z-normalization and NP-Free.
CoRR, 2024

Enforced Dependencies for Active Objects.
Proceedings of the Active Object Languages: Current Research Trends, 2024

2023
Modular Soundness Checking of Feature Model Evolution Plans.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series.
Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022
Preface - Selected papers from the 23rd Brazilian Symposium on Formal Methods - SBMF 2020.
Sci. Comput. Program., 2022

Distributed runtime verification by past-CTL and the field calculus.
J. Syst. Softw., 2022

Predictive Semantics for Past-CTL Runtime Monitors.
CoRR, 2022

A Notion of Equivalence for Refactorings with Abstract Execution.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking.
Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021
Adaptive distributed monitors of spatial properties for cyber-physical systems.
J. Syst. Softw., 2021

MC/DC Test Cases Generation Based on BDDs.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Hardware-Assisted Online Data Race Detection.
Proceedings of the Formal Methods in Outer Space, 2021

2020
Empowering Multilevel DSMLs with Integrated Runtime Verification.
CoRR, 2020

Coverage Analysis of Net Inscriptions in Coloured Petri Net Models.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020

Multi-objective Search for Model-based Testing.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Refactoring and Active Object Languages.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

2019
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model.
J. Log. Algebraic Methods Program., 2019

Operational semantics of a weak memory model with channel synchronization.
J. Log. Algebraic Methods Program., 2019

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.
CoRR, 2019

Non-Intrusive MC/DC Measurement Based on Traces.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Visualization and Abstractions for Execution Paths in Model-Based Software Testing.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018
Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems.
Trans. Petri Nets Other Model. Concurr., 2018

An Approach to Flexible Multilevel Modelling.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018

On Distributed Runtime Verification by Aggregate Computing.
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018

MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

COST Action IC1402 Runtime Verification Beyond Monitoring.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Stream-based dynamic data race detection.
Proceedings of the 31st Norsk Informatikkonferanse, 2018

A tool for the convergence of multilevel modelling approaches.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

2017
A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462).
Dagstuhl Reports, 2017

COEMS - open traces from the industry.
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

Multilevel Modelling with MultEcore: A Contribution to the MULTI 2017 Challenge.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Application of Model-based Testing on a Quorum-based Distributed Storage.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2016
Effect-polymorphic behaviour inference for deadlock checking.
J. Log. Algebraic Methods Program., 2016

Leveraging DTrace for Runtime Verification.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Forord til NIK 2016 og UDIT 2016.
Proceedings of the 29th Norsk Informatikkonferanse, 2016

MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling.
Proceedings of the 3rd International Workshop on Multi-Level Modelling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016

Safer Refactorings.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Information Flow Analysis for Go.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2014
Deadlock checking by data race detection.
J. Log. Algebraic Methods Program., 2014

Automated transformations from UML behavior models to contracts.
Sci. China Inf. Sci., 2014

Behaviour Inference for Deadlock Checking.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

FIXML to Java, C# and C++ Transformations with QVTR-XSLT.
Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

7. Arbeitstagung Programmiersprachen (ATPS 2014).
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Search-based composed refactorings.
Proceedings of the 27th Norsk Informatikkonferanse, 2014

Fault Model Design Space for Cooperative Concurrency.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013
Special Issue: Harnessing theories for tool support in software.
Innov. Syst. Softw. Eng., 2013

Preface.
Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

How Useful Are Existing Monitoring Languages for Securing Android Apps?
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Support Formal Component-Based Development with UML Profile.
Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012
Model querying with graphical notation of QVT relations.
ACM SIGSOFT Softw. Eng. Notes, 2012

Deadlock checking by a behavioral effect system for lock handling.
J. Log. Algebraic Methods Program., 2012

rCOS: a formal model-driven engineering method for component-based software.
Frontiers Comput. Sci. China, 2012

Delta-Oriented Monitor Specification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011
QVT-based model transformation using XSLT.
ACM SIGSOFT Softw. Eng. Notes, 2011

Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Towards a Formal Integrated Model of Collaborative Healthcare Workflows.
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

Interactive Transformations from Object-Oriented Models to Component-Based Models.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010
Robustness testing for software components.
Sci. Comput. Program., 2010

Temporal Assertions with Parametrized Propositions.
J. Log. Comput., 2010

An integrated multi-view model evolution framework.
Innov. Syst. Softw. Eng., 2010

Preface.
Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010

2009
Refinement and verification in component-based model-driven design.
Sci. Comput. Program., 2009

Preface.
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

rCOS: Theory and Tool for Component-Based Model Driven Development.
Proceedings of the Fundamentals of Software Engineering, 2009

Specification and Validation of Behavioural Protocols in the rCOS Modeler.
Proceedings of the Fundamentals of Software Engineering, 2009

2008
Preface.
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008

A Component-Based Access Control Monitor.
Proceedings of the Leveraging Applications of Formal Methods, 2008

2007
Temporal assertions for sequential and concurrent programs.
PhD thesis, 2007

Integrating Refinement into Software Development Tools.
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Preface.
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Temporal Assertions with Parametrised Propositions.
Proceedings of the Runtime Verification, 7th International Workshop, 2007

A Refinement Driven Component-Based Design.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Modelling with Relational Calculus of Object and Component Systems - rCOS.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

Harnessing rCOS for Tool Support - The CoCoME Experience.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006
MSCan - A Tool for Analyzing MSC Specifications.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Tracechecks: Defining Semantic Interfaces with Temporal Logic.
Proceedings of the Software Composition - 5th International Symposium, 2006

2005
Temporal Assertions using AspectJ.
Proceedings of the Fifth Workshop on Runtime Verification, 2005

2004
Runtime Verification of Concurrent Haskell Programs.
Proceedings of the Fourth Workshop on Runtime Verification, 2004


  Loading...