![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Volker Stolz
Person information
- affiliation: Western Norway University of Applied Sciences (HVL), Bergen, Norway
- affiliation (former): University of Oslo, Norway
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2007
- [b1]Volker Stolz:
Temporal assertions for sequential and concurrent programs. RWTH Aachen University, Germany, 2007, pp. 1-133
Journal Articles
- 2024
- [j20]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): 17-30 (2024) - 2022
- [j19]Giorgio Audrito
, Ferruccio Damiani, Volker Stolz, Gianluca Torta
, Mirko Viroli:
Distributed runtime verification by past-CTL and the field calculus. J. Syst. Softw. 187: 111251 (2022) - [j18]Gustavo Carvalho, Volker Stolz:
Preface - Selected papers from the 23rd Brazilian Symposium on Formal Methods - SBMF 2020. Sci. Comput. Program. 220: 102830 (2022) - 2021
- [j17]Giorgio Audrito
, Roberto Casadei
, Ferruccio Damiani
, Volker Stolz
, Mirko Viroli:
Adaptive distributed monitors of spatial properties for cyber-physical systems. J. Syst. Softw. 175: 110908 (2021) - 2019
- [j16]Daniel Schnetzer Fava
, Martin Steffen, Volker Stolz:
Operational semantics of a weak memory model with channel synchronization. J. Log. Algebraic Methods Program. 103: 1-30 (2019) - [j15]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: 254-273 (2019) - 2018
- [j14]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: 10:1-10:35 (2018) - [j13]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: 158-180 (2018) - 2016
- [j12]Ka I Pun, Martin Steffen, Volker Stolz:
Effect-polymorphic behaviour inference for deadlock checking. J. Log. Algebraic Methods Program. 85(6): 1234-1267 (2016) - 2014
- [j11]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Automated transformations from UML behavior models to contracts. Sci. China Inf. Sci. 57(12): 1-17 (2014) - [j10]Ka I Pun, Martin Steffen, Volker Stolz
:
Deadlock checking by data race detection. J. Log. Algebraic Methods Program. 83(5-6): 400-426 (2014) - 2013
- [j9]Volker Stolz:
Special Issue: Harnessing theories for tool support in software. Innov. Syst. Softw. Eng. 9(1): 1-2 (2013) - 2012
- [j8]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): 17-39 (2012) - [j7]Ka I Pun, Martin Steffen, Volker Stolz:
Deadlock checking by a behavioral effect system for lock handling. J. Log. Algebraic Methods Program. 81(3): 331-354 (2012) - [j6]Dan Li, Xiaoshan Li, Volker Stolz:
Model querying with graphical notation of QVT relations. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012) - 2011
- [j5]Dan Li, Xiaoshan Li, Volker Stolz:
QVT-based model transformation using XSLT. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - 2010
- [j4]Volker Stolz:
An integrated multi-view model evolution framework. Innov. Syst. Softw. Eng. 6(1-2): 13-20 (2010) - [j3]Volker Stolz:
Temporal Assertions with Parametrized Propositions. J. Log. Comput. 20(3): 743-757 (2010) - [j2]Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz:
Robustness testing for software components. Sci. Comput. Program. 75(10): 879-897 (2010) - 2009
- [j1]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): 168-196 (2009)
Conference and Workshop Papers
- 2024
- [c59]José Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel:
Runtime Verification of Timed Petri Nets. PNSE@Petri Nets 2024: 122-131 - [c58]Ming-Chang Lee, Jia-Chun Lin, Volker Stolz:
Evaluation of K-Means Time Series Clustering Based on Z-Normalization and NP-Free. ICPRAM 2024: 469-477 - 2023
- [c57]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: 334-339 - [c56]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: 417-437 - 2022
- [c55]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: 1-18 - [c54]Ole Jørgen Abusdal
, Eduard Kamburjan
, Violet Ka I Pun
, Volker Stolz
:
A Notion of Equivalence for Refactorings with Abstract Execution. ISoLA (2) 2022: 259-280 - 2021
- [c53]Faustin Ahishakiye
, José Ignacio Requeno Jarabo
, Violet Ka I Pun, Volker Stolz:
Hardware-Assisted Online Data Race Detection. Formal Methods in Outer Space 2021: 108-126 - [c52]Faustin Ahishakiye
, José Ignacio Requeno Jarabo
, Lars Michael Kristensen, Volker Stolz:
MC/DC Test Cases Generation Based on BDDs. SETTA 2021: 178-197 - 2020
- [c51]Volker Stolz
, Violet Ka I Pun, Rohit Gheyi:
Refactoring and Active Object Languages. ISoLA (2) 2020: 138-158 - [c50]Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
:
Multi-objective Search for Model-based Testing. QRS 2020: 130-141 - [c49]Faustin Ahishakiye
, José Ignacio Requeno Jarabo
, Lars Michael Kristensen, Volker Stolz
:
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. VECoS 2020: 68-83 - 2019
- [c48]Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz:
Visualization and Abstractions for Execution Paths in Model-Based Software Testing. IFM 2019: 474-492 - [c47]Faustin Ahishakiye
, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz
, Daniel Thoma:
Non-Intrusive MC/DC Measurement Based on Traces. TASE 2019: 86-92 - 2018
- [c46]Daniel Schnetzer Fava, Martin Steffen, Volker Stolz:
Operational Semantics of a Weak Memory Model with Channel Synchronization. FM 2018: 258-276 - [c45]Fernando Macías, Adrian Rutle, Volker Stolz:
A tool for the convergence of multilevel modelling approaches. MoDELS (Workshops) 2018: 633-642 - [c44]Svetlana Jaksic, Dan Li, Ka I Pun, Volker Stolz:
Stream-based dynamic data race detection. NIK 2018 - [c43]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: 18-26 - [c42]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: 97-113 - [c41]Giorgio Audrito, Ferruccio Damiani, Volker Stolz
, Mirko Viroli:
On Distributed Runtime Verification by Aggregate Computing. VORTEX@ECOOP/ISSTA 2018: 47-61 - 2017
- [c40]Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz:
Application of Model-based Testing on a Quorum-based Distributed Storage. PNSE @ Petri Nets 2017: 177-196 - [c39]Fernando Macías, Adrian Rutle, Volker Stolz:
Multilevel Modelling with MultEcore: A Contribution to the MULTI 2017 Challenge. MoDELS (Satellite Events) 2017: 269-273 - [c38]Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz:
COEMS - open traces from the industry. RV-CuBES 2017: 96-105 - 2016
- [c37]Eric Bodden
, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert:
Information Flow Analysis for Go. ISoLA (1) 2016: 431-445 - [c36]Anna Maria Eilertsen
, Anya Helene Bagge
, Volker Stolz
:
Safer Refactorings. ISoLA (1) 2016: 517-531 - [c35]Fernando Macías, Adrian Rutle, Volker Stolz:
MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling. MULTI@MoDELS 2016: 66-75 - [c34]Lars Michael Kristensen, Birgit Rognebakke Krogstie, Volker Stolz:
Forord til NIK 2016 og UDIT 2016. NIK 2016 - [c33]Carl Martin Rosenberg, Martin Steffen, Volker Stolz
:
Leveraging DTrace for Runtime Verification. RV 2016: 318-332 - 2014
- [c32]Georg Göri, Einar Broch Johnsen, Rudolf Schlatte
, Volker Stolz:
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. ISoLA (2) 2014: 5-21 - [c31]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: 22-36 - [c30]Erlend Kristiansen, Volker Stolz:
Search-based composed refactorings. NIK 2014 - [c29]Volker Stolz, Baltasar Trancón y Widemann:
7. Arbeitstagung Programmiersprachen (ATPS 2014). Software Engineering 2014: 205-206 - [c28]Ka I Pun, Martin Steffen, Volker Stolz:
Effect-Polymorphic Behaviour Inference for Deadlock Checking. SEFM 2014: 50-64 - [c27]Li Dan, Danning Li, Xiaoshan Li, Volker Stolz:
FIXML to Java, C# and C++ Transformations with QVTR-XSLT. TTC@STAF 2014: 27-31 - [c26]Ka I Pun, Martin Steffen, Volker Stolz:
Behaviour Inference for Deadlock Checking. TASE 2014: 106-113 - 2013
- [c25]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference 2013: 191-200 - [c24]Ka I Pun, Martin Steffen, Volker Stolz:
Deadlock Checking by Data Race Detection. FSEN 2013: 34-50 - [c23]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: 107-122 - [c22]Jinyun Xue, Volker Stolz:
Preface. TTSS 2013: 1-2 - 2012
- [c21]Eric Bodden
, Kevin Falzon, Ka I Pun, Volker Stolz:
Delta-Oriented Monitor Specification. ISoLA (1) 2012: 162-177 - 2011
- [c20]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS 2011: 97-114 - [c19]Cristiano Bertolini, Martin Schäf, Volker Stolz:
Towards a Formal Integrated Model of Collaborative Healthcare Workflows. FHIES 2011: 57-74 - [c18]Dan Li, Xiaoshan Li, Volker Stolz:
Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT. TTC 2011: 54-69 - [c17]Dan Li, Xiaoshan Li, Volker Stolz:
Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case. TTC 2011: 223-236 - 2010
- [c16]Min Zhang, Volker Stolz:
Preface. TTSS 2010: 1-2 - 2009
- [c15]Zhiming Liu, Charles Morisset, Volker Stolz:
rCOS: Theory and Tool for Component-Based Model Driven Development. FSEN 2009: 62-80 - [c14]Zhenbang Chen, Charles Morisset, Volker Stolz:
Specification and Validation of Behavioural Protocols in the rCOS Modeler. FSEN 2009: 387-401 - [c13]Einar Broch Johnsen
, Volker Stolz:
Preface. TTSS 2009: 1-2 - 2008
- [c12]Zhiming Liu, Charles Morisset, Volker Stolz:
A Component-Based Access Control Monitor. ISoLA 2008: 339-353 - [c11]Jianhua Zhao, Volker Stolz:
Preface. TTSS 2008: 1-2 - 2007
- [c10]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: 83-114 - [c9]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: 116-145 - [c8]Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn:
A Refinement Driven Component-Based Design. ICECCS 2007: 277-289 - [c7]Volker Stolz:
Temporal Assertions with Parametrised Propositions. RV 2007: 176-187 - [c6]Geguang Pu, Volker Stolz:
Preface. TTSS 2007: 1-2 - [c5]Lu Yang, Volker Stolz:
Integrating Refinement into Software Development Tools. TTSS 2007: 69-88 - 2006
- [c4]Eric Bodden, Volker Stolz:
Tracechecks: Defining Semantic Interfaces with Temporal Logic. SC@ETAPS 2006: 147-162 - [c3]Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz:
MSCan - A Tool for Analyzing MSC Specifications. TACAS 2006: 455-458 - 2005
- [c2]Volker Stolz, Eric Bodden
:
Temporal Assertions using AspectJ. RV@CAV 2005: 109-124 - 2004
- [c1]Volker Stolz, Frank Huch:
Runtime Verification of Concurrent Haskell Programs. RV@ETAPS 2004: 201-216
Parts in Books or Collections
- 2024
- [p1]Violet Ka I Pun
, Volker Stolz
:
Enforced Dependencies for Active Objects. Active Object Languages: Current Research Trends 2024: 359-374
Editorship
- 2022
- [e10]Thao Dang
, Volker Stolz
:
Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings. Lecture Notes in Computer Science 13498, Springer 2022, ISBN 978-3-031-17195-6 [contents] - 2020
- [e9]Violet Ka I Pun
, Volker Stolz
, Adenilso Simão
:
Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings. Lecture Notes in Computer Science 12545, Springer 2020, ISBN 978-3-030-64275-4 [contents] - [e8]Gustavo Carvalho
, Volker Stolz
:
Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings. Lecture Notes in Computer Science 12475, Springer 2020, ISBN 978-3-030-63881-8 [contents] - 2018
- [e7]Zoltán Ádám Mann, Volker Stolz:
Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers. Communications in Computer and Information Science 824, Springer 2018, ISBN 978-3-319-79089-3 [contents] - 2014
- [e6]Klaus Schmid, Wolfgang Böhm, Robert Heinrich, Andrea Herrmann, Anne Hoffmann, Dieter Landes, Marco Konersmann, Thomas Ruhroth, Oliver Sander, Volker Stolz, Baltasar Trancón y Widemann, Rüdiger Weißbach:
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 25.-26. Februar 2014 in Kiel, Deutschland. CEUR Workshop Proceedings 1129, CEUR-WS.org 2014 [contents] - [e5]Jinyun Xue, Volker Stolz:
Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013. Electronic Notes in Theoretical Computer Science 309, Elsevier 2014 [contents] - 2011
- [e4]Min Zhang, Volker Stolz:
4th International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2010, Shanghai, China, November 15, 2010. Electronic Notes in Theoretical Computer Science 274, Elsevier 2011 [contents] - 2010
- [e3]Einar Broch Johnsen, Volker Stolz:
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2009, Universiti Kebangsaan Malaysia (UKM), Kuala Lumpur, Malaysia, August 17, 2009. Electronic Notes in Theoretical Computer Science 266, Elsevier 2010 [contents] - 2009
- [e2]Jianhua Zhao, Volker Stolz:
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008. Electronic Notes in Theoretical Computer Science 243, Elsevier 2009 [contents] - 2008
- [e1]Geguang Pu, Volker Stolz:
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007. Electronic Notes in Theoretical Computer Science 207, Elsevier 2008 [contents]
Informal and Other Publications
- 2024
- [i7]Ming-Chang Lee, Jia-Chun Lin, Volker Stolz:
Evaluation of k-means time series clustering based on z-normalization and NP-Free. CoRR abs/2401.15773 (2024) - 2023
- [i6]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 abs/2304.06168 (2023) - 2022
- [i5]Giorgio Audrito, Volker Stolz, Gianluca Torta:
Predictive Semantics for Past-CTL Runtime Monitors. CoRR abs/2209.00538 (2022) - 2020
- [i4]Faustin Ahishakiye
, José Ignacio Requeno Jarabo
, Lars Michael Kristensen, Volker Stolz:
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. CoRR abs/2005.09806 (2020) - [i3]Fernando Macías, Adrian Rutle, Volker Stolz, Torben Scheffel, Malte Schmitz:
Empowering Multilevel DSMLs with Integrated Runtime Verification. CoRR abs/2005.11366 (2020) - 2019
- [i2]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 abs/1902.03776 (2019) - 2017
- [i1]Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz:
A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). Dagstuhl Reports 7(11): 59-85 (2017)
Coauthor Index
aka: Ka I Pun
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-27 17:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint