Volker Stolz

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 41

Top Venues

CoRR

J. Log. Algebraic Methods Program.

ISoLA (2)

NIK

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Ming-Chang Lee, Jia-Chun Lin, Volker Stolz
Evaluation of k-means time series clustering based on z-normalization and NP-Free. CoRR (2024)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
Coverage visualization and analysis of net inscriptions in coloured Petri net models. Innov. Syst. Softw. Eng. 20 (1) (2024)
Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
Modular Soundness Checking of Feature Model Evolution Plans. ICTAC (2023)
Ming-Chang Lee, Jia-Chun Lin, Volker Stolz
NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series. CoRR (2023)
Ming-Chang Lee, Jia-Chun Lin, Volker Stolz
NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series. COMPSAC (2023)
Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Gustavo Carvalho, Volker Stolz
Preface - Selected papers from the 23rd Brazilian Symposium on Formal Methods - SBMF 2020. Sci. Comput. Program. 220 (2022)
Giorgio Audrito, Volker Stolz, Gianluca Torta
Predictive Semantics for Past-CTL Runtime Monitors. CoRR (2022)
Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Gianluca Torta, Mirko Viroli
Distributed runtime verification by past-CTL and the field calculus. J. Syst. Softw. 187 (2022)
Ole Jørgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz
A Notion of Equivalence for Refactorings with Abstract Execution. ISoLA (2) (2022)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Violet Ka I Pun, Volker Stolz
Hardware-Assisted Online Data Race Detection. Formal Methods in Outer Space (2021)
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli
Adaptive distributed monitors of spatial properties for cyber-physical systems. J. Syst. Softw. 175 (2021)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
MC/DC Test Cases Generation Based on BDDs. SETTA (2021)
Fernando Macías, Adrian Rutle, Volker Stolz, Torben Scheffel, Malte Schmitz
Empowering Multilevel DSMLs with Integrated Runtime Verification. CoRR (2020)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. VECoS (2020)
Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
Multi-objective Search for Model-based Testing. QRS (2020)
Volker Stolz, Violet Ka I Pun, Rohit Gheyi
Refactoring and Active Object Languages. ISoLA (2) (2020)
Faustin Ahishakiye, José-Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. CoRR (2020)
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. J. Log. Algebraic Methods Program. 104 (2019)
Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma
Non-Intrusive MC/DC Measurement Based on Traces. TASE (2019)
Daniel Schnetzer Fava, Martin Steffen, Volker Stolz
Operational semantics of a weak memory model with channel synchronization. J. Log. Algebraic Methods Program. 103 (2019)
Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
Visualization and Abstractions for Execution Paths in Model-Based Software Testing. IFM (2019)
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
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR (2019)
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Rui Wang, Lars Michael Kristensen, Volker Stolz
MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. VECoS (2018)
Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli
On Distributed Runtime Verification by Aggregate Computing. VORTEX@ECOOP/ISSTA (2018)
Fernando Macías, Adrian Rutle, Volker Stolz
A tool for the convergence of multilevel modelling approaches. MoDELS (Workshops) (2018)
Daniel Schnetzer Fava, Martin Steffen, Volker Stolz
Operational Semantics of a Weak Memory Model with Channel Synchronization. FM (2018)
Svetlana Jaksic, Dan Li, Ka I Pun, Volker Stolz
Stream-based dynamic data race detection. NIK (2018)
Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
COST Action IC1402 Runtime Verification Beyond Monitoring. RV (2018)
Fernando Macías, Adrian Rutle, Volker Stolz, Roberto Rodríguez-Echeverría, Uwe Wolter
An Approach to Flexible Multilevel Modelling. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13 (2018)
Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz
A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). Dagstuhl Reports 7 (11) (2017)
Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz
COEMS - open traces from the industry. RV-CuBES (2017)
Fernando Macías, Adrian Rutle, Volker Stolz
Multilevel Modelling with MultEcore: A Contribution to the MULTI 2017 Challenge. MoDELS (Satellite Events) (2017)
Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
Application of Model-based Testing on a Quorum-based Distributed Storage. PNSE @ Petri Nets (2017)
Carl Martin Rosenberg, Martin Steffen, Volker Stolz
Leveraging DTrace for Runtime Verification. RV (2016)
Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert
Information Flow Analysis for Go. ISoLA (1) (2016)
Ka I Pun, Martin Steffen, Volker Stolz
Effect-polymorphic behaviour inference for deadlock checking. J. Log. Algebraic Methods Program. 85 (6) (2016)
Lars Michael Kristensen, Birgit Rognebakke Krogstie, Volker Stolz
Forord til NIK 2016 og UDIT 2016. NIK (2016)
Anna Maria Eilertsen, Anya Helene Bagge, Volker Stolz
Safer Refactorings. ISoLA (1) (2016)
Fernando Macías, Adrian Rutle, Volker Stolz
MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling. MULTI@MoDELS (2016)
Ka I Pun, Martin Steffen, Volker Stolz
Effect-Polymorphic Behaviour Inference for Deadlock Checking. SEFM (2014)
Georg Göri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. ISoLA (2) (2014)
Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro
Fault Model Design Space for Cooperative Concurrency. ISoLA (2) (2014)
Ka I Pun, Martin Steffen, Volker Stolz
Deadlock checking by data race detection. J. Log. Algebraic Methods Program. 83 (5-6) (2014)
Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
Automated transformations from UML behavior models to contracts. Sci. China Inf. Sci. 57 (12) (2014)
Ka I Pun, Martin Steffen, Volker Stolz
Behaviour Inference for Deadlock Checking. TASE (2014)
Volker Stolz, Baltasar Trancón y Widemann
7. Arbeitstagung Programmiersprachen (ATPS 2014). Software Engineering (2014)
Li Dan, Danning Li, Xiaoshan Li, Volker Stolz
FIXML to Java, C# and C++ Transformations with QVTR-XSLT. TTC@STAF (2014)
Jinyun Xue, Volker Stolz
Preface. Electron. Notes Theor. Comput. Sci. 309 (2014)
Erlend Kristiansen, Volker Stolz
Search-based composed refactorings. NIK (2014)
Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference (2013)
Steven Arzt, Kevin Falzon, Andreas Follner, Siegfried Rasthofer, Eric Bodden, Volker Stolz
How Useful Are Existing Monitoring Languages for Securing Android Apps? Software Engineering (Workshops) (2013)
Ka I Pun, Martin Steffen, Volker Stolz
Deadlock Checking by Data Race Detection. FSEN (2013)
Volker Stolz
Special Issue: Harnessing theories for tool support in software. Innov. Syst. Softw. Eng. 9 (1) (2013)
Eric Bodden, Kevin Falzon, Ka I Pun, Volker Stolz
Delta-Oriented Monitor Specification. ISoLA (1) (2012)
Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz
rCOS: a formal model-driven engineering method for component-based software. Frontiers Comput. Sci. China 6 (1) (2012)
Ka I Pun, Martin Steffen, Volker Stolz
Deadlock checking by a behavioral effect system for lock handling. J. Log. Algebraic Methods Program. 81 (3) (2012)
Dan Li, Xiaoshan Li, Volker Stolz
Model querying with graphical notation of QVT relations. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Dan Li, Xiaoshan Li, Volker Stolz
Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case TTC (2011)
Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS (2011)
Dan Li, Xiaoshan Li, Volker Stolz
QVT-based model transformation using XSLT. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Dan Li, Xiaoshan Li, Volker Stolz
Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT TTC (2011)
Cristiano Bertolini, Martin Schäf, Volker Stolz
Towards a Formal Integrated Model of Collaborative Healthcare Workflows. FHIES (2011)
Min Zhang, Volker Stolz
Preface. Electron. Notes Theor. Comput. Sci. 274 (2011)
Einar Broch Johnsen, Volker Stolz
Preface. Electron. Notes Theor. Comput. Sci. 266 (2010)
Volker Stolz
An integrated multi-view model evolution framework. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Volker Stolz
Temporal Assertions with Parametrized Propositions. J. Log. Comput. 20 (3) (2010)
Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz
Robustness testing for software components. Sci. Comput. Program. 75 (10) (2010)
Zhenbang Chen, Charles Morisset, Volker Stolz
Specification and Validation of Behavioural Protocols in the rCOS Modeler. FSEN (2009)
Zhiming Liu, Charles Morisset, Volker Stolz
rCOS: Theory and Tool for Component-Based Model Driven Development. FSEN (2009)
Jianhua Zhao, Volker Stolz
Preface. Electron. Notes Theor. Comput. Sci. 243 (2009)
Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan
Refinement and verification in component-based model-driven design. Sci. Comput. Program. 74 (4) (2009)
Zhiming Liu, Charles Morisset, Volker Stolz
A Component-Based Access Control Monitor. ISoLA (2008)
Geguang Pu, Volker Stolz
Preface. Electron. Notes Theor. Comput. Sci. 207 (2008)
Lu Yang, Volker Stolz
Integrating Refinement into Software Development Tools. Electron. Notes Theor. Comput. Sci. 207 (2008)
Volker Stolz
Temporal Assertions with Parametrised Propositions. RV (2007)
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
Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME (2007)
Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn
A Refinement Driven Component-Based Design. ICECCS (2007)
Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang
Harnessing rCOS for Tool Support - The CoCoME Experience. Formal Methods and Hybrid Real-Time Systems (2007)
Eric Bodden, Volker Stolz
Tracechecks: Defining Semantic Interfaces with Temporal Logic. SC@ETAPS (2006)
Volker Stolz, Eric Bodden
Temporal Assertions using AspectJ. Electron. Notes Theor. Comput. Sci. 144 (4) (2006)
Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz
MSCan - A Tool for Analyzing MSC Specifications. TACAS (2006)
Volker Stolz, Frank Huch
Runtime Verification of Concurrent Haskell Programs. Electron. Notes Theor. Comput. Sci. 113 (2005)

Volker Stolz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Volker Stolz