Volker Stolz

According to our database, Volker Stolz authored at least 83 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

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

Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz

Innov. Syst. Softw. Eng., March, 2024

Automated Clone Elimination in Python Tests.

Sebastian Kingston, Violet Ka I Pun, Volker Stolz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

Evaluation of K-Means Time Series Clustering Based on Z-Normalization and NP-Free.

Ming-Chang Lee, Jia-Chun Lin, Volker Stolz

Proceedings of the 13th International Conference on Pattern Recognition Applications and Methods, 2024

Runtime Verification of Timed Petri Nets.

José Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel

Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

Enforced Dependencies for Active Objects.

Violet Ka I Pun, Volker Stolz

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

Modular Soundness Checking of Feature Model Evolution Plans.

Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz

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.

Ming-Chang Lee, Jia-Chun Lin, Volker Stolz

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.

Gustavo Carvalho, Volker Stolz

Sci. Comput. Program., 2022

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

Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Gianluca Torta, Mirko Viroli

J. Syst. Softw., 2022

Predictive Semantics for Past-CTL Runtime Monitors.

Giorgio Audrito, Volker Stolz, Gianluca Torta

CoRR, 2022

A Notion of Equivalence for Refactorings with Abstract Execution.

Ole Jørgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

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

Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Adaptive distributed monitors of spatial properties for cyber-physical systems.

Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli

J. Syst. Softw., 2021

MC/DC Test Cases Generation Based on BDDs.

Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Hardware-Assisted Online Data Race Detection.

Faustin Ahishakiye, José Ignacio Requeno Jarabo, Violet Ka I Pun, Volker Stolz

Proceedings of the Formal Methods in Outer Space, 2021

2020

Empowering Multilevel DSMLs with Integrated Runtime Verification.

Fernando Macías, Adrian Rutle, Volker Stolz, Torben Scheffel, Malte Schmitz

CoRR, 2020

Coverage Analysis of Net Inscriptions in Coloured Petri Net Models.

Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020

Multi-objective Search for Model-based Testing.

Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Refactoring and Active Object Languages.

Volker Stolz, Violet Ka I Pun, Rohit Gheyi

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.

Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz

J. Log. Algebraic Methods Program., 2019

Operational semantics of a weak memory model with channel synchronization.

Daniel Schnetzer Fava, Martin Steffen, Volker Stolz

J. Log. Algebraic Methods Program., 2019

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

Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz

CoRR, 2019

Non-Intrusive MC/DC Measurement Based on Traces.

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

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Visualization and Abstractions for Execution Paths in Model-Based Software Testing.

Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

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

Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz

Trans. Petri Nets Other Model. Concurr., 2018

An Approach to Flexible Multilevel Modelling.

Fernando Macías, Adrian Rutle, Volker Stolz, Roberto Rodríguez-Echeverría, Uwe Wolter

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018

On Distributed Runtime Verification by Aggregate Computing.

Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli

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.

Rui Wang, Lars Michael Kristensen, Volker Stolz

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

COST Action IC1402 Runtime Verification Beyond Monitoring.

Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz

Proceedings of the Runtime Verification - 18th International Conference, 2018

Stream-based dynamic data race detection.

Svetlana Jaksic, Dan Li, Ka I Pun, Volker Stolz

Proceedings of the 31st Norsk Informatikkonferanse, 2018

A tool for the convergence of multilevel modelling approaches.

Fernando Macías, Adrian Rutle, Volker Stolz

Proceedings of MODELS 2018 Workshops: ModComp, 2018

2017

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

Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz

Dagstuhl Reports, 2017

COEMS - open traces from the industry.

Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

Multilevel Modelling with MultEcore: A Contribution to the MULTI 2017 Challenge.

Fernando Macías, Adrian Rutle, Volker Stolz

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

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

Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2016

Effect-polymorphic behaviour inference for deadlock checking.

Ka I Pun, Martin Steffen, Volker Stolz

J. Log. Algebraic Methods Program., 2016

Leveraging DTrace for Runtime Verification.

Carl Martin Rosenberg, Martin Steffen, Volker Stolz

Proceedings of the Runtime Verification - 16th International Conference, 2016

Forord til NIK 2016 og UDIT 2016.

Lars Michael Kristensen, Birgit Rognebakke Krogstie, Volker Stolz

Proceedings of the 29th Norsk Informatikkonferanse, 2016

MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling.

Fernando Macías, Adrian Rutle, Volker Stolz

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.

Anna Maria Eilertsen, Anya Helene Bagge, Volker Stolz

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

Information Flow Analysis for Go.

Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert

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

2014

Deadlock checking by data race detection.

Ka I Pun, Martin Steffen, Volker Stolz

J. Log. Algebraic Methods Program., 2014

Automated transformations from UML behavior models to contracts.

Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz

Sci. China Inf. Sci., 2014

Behaviour Inference for Deadlock Checking.

Ka I Pun, Martin Steffen, Volker Stolz

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

FIXML to Java, C# and C++ Transformations with QVTR-XSLT.

Li Dan, Danning Li, Xiaoshan Li, Volker Stolz

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).

Volker Stolz, Baltasar Trancón y Widemann

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Search-based composed refactorings.

Erlend Kristiansen, Volker Stolz

Proceedings of the 27th Norsk Informatikkonferanse, 2014

Fault Model Design Space for Cooperative Concurrency.

Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro

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.

Georg Göri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz

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.

Volker Stolz

Innov. Syst. Softw. Eng., 2013

Preface.

Jinyun Xue, Volker Stolz

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?

Steven Arzt, Kevin Falzon, Andreas Follner, Siegfried Rasthofer, Eric Bodden, Volker Stolz

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.

Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz

Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012

Model querying with graphical notation of QVT relations.

Dan Li, Xiaoshan Li, Volker Stolz

ACM SIGSOFT Softw. Eng. Notes, 2012

Deadlock checking by a behavioral effect system for lock handling.

Ka I Pun, Martin Steffen, Volker Stolz

J. Log. Algebraic Methods Program., 2012

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

Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz

Frontiers Comput. Sci. China, 2012

Delta-Oriented Monitor Specification.

Eric Bodden, Kevin Falzon, Ka I Pun, Volker Stolz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011

QVT-based model transformation using XSLT.

Dan Li, Xiaoshan Li, Volker Stolz

ACM SIGSOFT Softw. Eng. Notes, 2011

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

Dan Li, Xiaoshan Li, Volker Stolz

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT

Dan Li, Xiaoshan Li, Volker Stolz

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Towards a Formal Integrated Model of Collaborative Healthcare Workflows.

Cristiano Bertolini, Martin Schäf, Volker Stolz

Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

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

Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

Robustness testing for software components.

Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz

Sci. Comput. Program., 2010

Temporal Assertions with Parametrized Propositions.

Volker Stolz

J. Log. Comput., 2010

An integrated multi-view model evolution framework.

Volker Stolz

Innov. Syst. Softw. Eng., 2010

Preface.

Min Zhang, Volker Stolz

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.

Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan

Sci. Comput. Program., 2009

Preface.

Einar Broch Johnsen, Volker Stolz

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.

Zhiming Liu, Charles Morisset, Volker Stolz

Proceedings of the Fundamentals of Software Engineering, 2009

Specification and Validation of Behavioural Protocols in the rCOS Modeler.

Zhenbang Chen, Charles Morisset, Volker Stolz

Proceedings of the Fundamentals of Software Engineering, 2009

2008

Preface.

Jianhua Zhao, Volker Stolz

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

A Component-Based Access Control Monitor.

Zhiming Liu, Charles Morisset, Volker Stolz

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

Temporal assertions for sequential and concurrent programs.

Volker Stolz

PhD thesis, 2007

Integrating Refinement into Software Development Tools.

Lu Yang, Volker Stolz

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

Preface.

Geguang Pu, Volker Stolz

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

Temporal Assertions with Parametrised Propositions.

Volker Stolz

Proceedings of the Runtime Verification, 7th International Workshop, 2007

A Refinement Driven Component-Based Design.

Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn

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.

Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan

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.

Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

MSCan - A Tool for Analyzing MSC Specifications.

Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Tracechecks: Defining Semantic Interfaces with Temporal Logic.

Eric Bodden, Volker Stolz

Proceedings of the Software Composition - 5th International Symposium, 2006

2005

Temporal Assertions using AspectJ.

Volker Stolz, Eric Bodden

Proceedings of the Fifth Workshop on Runtime Verification, 2005

2004

Runtime Verification of Concurrent Haskell Programs.

Volker Stolz, Frank Huch

Proceedings of the Fourth Workshop on Runtime Verification, 2004