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:
- EU H2020 project "COEMS - Continuous Observation of Embedded Multicore Systems"
- AURORA bilateral project "SecuTrace" NO/FR (2020-2022)
- DIKU/CAPES bilateral project "Modern Refactoring" NO/BR (2017-2021)
- DAT153 "Mobile Application Development"
- DAT355 "Model-driven Software Engineering and Reliable Software Systems"
- PCS954 "Model Checking and Software Verification"
- DAT159 "Refactoring"
- Software Engineering
- Testing & Monitoring
- Runtime Verification
- Formal Methods
- Smart Software System (S3) IoT research lab
- Software Engineering
Publikasjonar
-
Runtime Verification of Timed Petri Nets
-
Evaluation of K-Means Time Series Clustering Based on Z-Normalization and NP-Free
-
Preface: Special issue on Theoretical Aspects of Computing
-
Enforced Dependencies for Active Objects
-
NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series
-
Modular Soundness Checking of Feature Model Evolution Plans
-
Coverage visualization and analysis of net inscriptions in coloured Petri net models
-
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking
-
A Notion of Equivalence for Refactorings with Abstract Execution
-
Runtime Verification
-
Preface – Selected papers from the 23rd Brazilian Symposium on Formal Methods – SBMF 2020
-
Distributed runtime verification by past-CTL and the field calculus
-
MC/DC Test Cases Generation Based on BDDs
-
Hardware-Assisted Online Data Race Detection
-
Adaptive distributed monitors of spatial properties for cyber–physical systems
-
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
-
Multi-objective Search for Model-based Testing
-
Theoretical Aspects of Computing – ICTAC 2020
-
Formal Methods: Foundations and Applications
-
Refactoring and Active Object Languages
-
Operational semantics of a weak memory model with channel synchronization
-
Generating test cases satisfying MC/DC from BDDs
-
Visualization and abstractions for execution paths in model-based software testing
-
On Distributed Runtime Verification by Aggregate Computing
-
Non-intrusive MC/DC measurement based on traces
-
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
-
Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems
-
Can we rely on a software-defined society? The role of formal methods.
-
COEMS
-
Static analysis for dynamic data race detection with TeSSLa
-
Stream-based dynamic data race detection
-
A tool for the convergence of multilevel modelling approaches
-
Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems
-
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets
-
COST Action IC1402 Runtime Verification Beyond Monitoring
-
Operational Semantics of a Weak Memory Model with Channel Synchronization
-
An Approach to Flexible Multilevel Modelling
-
Preface
-
Advances in Service-Oriented and Cloud Computing
-
Operational Semantics of a Weak Memory Model with Channel Synchronization
-
Analyzing Changes on Configurable Systems with #ifdefs
-
Coordination and Amalgamation of Multilevel Coupled Model Transformations
-
Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems
-
Multilevel modelling with multecore a contribution to the MULTI 2017 challenge
-
Operational Semantics of a Weak Memory Model inspired by Go
-
COEMS — open traces from the industry
-
Application of Model-based Testing on a Quorum-based Distributed Storage
-
Joint Pre-Proceedings of the Workshops Associated with ESOCC 2017
-
An operational semantics for a weak memory model with buffered writes, message passing, and goroutines
-
Integration of Runtime Verification into Metamodeling
-
Multilevel Behavioural Metamodelling
-
Forord til NIK 2016 og UDIT 2016
-
MultEcore: Combining the best of fixed-level and multilevel metamodelling
-
Safer Refactorings with Assertions
-
Effect-Polymorphic Behaviour Inference for Deadlock Checking
-
Information flow analysis for Go
-
Safer refactorings
-
Leveraging DTrace for runtime verification
-
A Property Specification Language for Runtime Verification of Executable Models
-
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014
-
Behaviour Inference for Deadlock Checking
-
TTSS'13 - Preface
-
7. Arbeitstagung Programmiersprachen (ATPS 2014)
-
Erlang-style error recovery for concurrent objects with cooperative scheduling
-
Fault Model Design Space for Cooperative Concurrency
-
Search-based composed refactorings
-
Automated transformations from UML behavior models to contracts
-
Deadlock checking by data race detection
-
Effect-Polymorphic Behaviour Inference for Deadlock Checking
-
Lock-Polymorphic Behaviour Inference for Deadlock Checking
-
Support Formal Component-Based Development with UML Profile
-
Deadlock Checking by Data Race Detection
-
How useful are existing monitoring languages for securing Android apps?
-
Deadlock checking by data race detection
-
Special Issue: Harnessing Theories for Tool Support in Software
-
Delta-oriented Monitor Specification
-
Towards a Formal Integrated Model of Collaborative Healthcare Workflows
-
Interactive Transformations from Object-Oriented Models to Component-Based Models
-
Model Querying with Graphical Notation of QVT Relations
-
rCOS: a formal model-driven engineering method for component-based software
-
Deadlock Checking by a Behavioral Effect System for Lock Handling
-
Behaviour Inference for Deadlock Checking
-
Deadlock Checking by Data Race Detection
-
Saying HelloWorld with QVTR-XSLT --- A Solution to the TTC 2011 Instructive Case
-
Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT
-
Polymorphic behavioural lock effects for deadlock checking (extended abstract)
-
Interactive Transformations from Object-Oriented Models to Component-Based Models
-
TTSS'11 - 5th International Workshop on Harnessing Theories for Tool Support in Software
-
Preface 4th International Workshop on Harnessing Theories for Tool Support in Software (TTSS)
-
Deadlock checking by a behavioral effect system for lock handling
-
Towards a Formal Integrated Model of Collaborative Healthcare Workflows
-
Interactive Transformations from Object-Oriented Models to Component-Based Models
-
QVT-based model transformation using XSLT
-
Preliminary Proceedings of 4th International Workshop on Harnessing Theories for Tool Support in Software TTSS'10
-
Component-Based Model Driven Design
-
The rCOS Modeler - from Software Engineering to Verification
-
The rCOS methodology and modeler
-
Preface TTSS 2009
-
The rCOS methodology and modeler