


Остановите войну!
for scientists:
Volker Stolz
Person information

- affiliation: University of Oslo, Norway
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j26]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) - 2021
- [j25]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) - [c45]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 - [c44]Faustin Ahishakiye
, José-Ignacio Requeno Jarabo
, Lars Michael Kristensen, Volker Stolz:
MC/DC Test Cases Generation Based on BDDs. SETTA 2021: 178-197 - 2020
- [c43]Volker Stolz, Violet Ka I Pun, Rohit Gheyi:
Refactoring and Active Object Languages. ISoLA (2) 2020: 138-158 - [c42]Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz:
Multi-objective Search for Model-based Testing. QRS 2020: 130-141 - [c41]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 - [e4]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] - [e3]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] - [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)
2010 – 2019
- 2019
- [j24]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) - [j23]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) - [c40]Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz:
Visualization and Abstractions for Execution Paths in Model-Based Software Testing. IFM 2019: 474-492 - [c39]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 - [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) - 2018
- [j22]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) - [j21]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) - [c38]Daniel Schnetzer Fava, Martin Steffen, Volker Stolz:
Operational Semantics of a Weak Memory Model with Channel Synchronization. FM 2018: 258-276 - [c37]Fernando Macías, Adrian Rutle, Volker Stolz:
A tool for the convergence of multilevel modelling approaches. MoDELS (Workshops) 2018: 633-642 - [c36]Svetlana Jaksic, Dan Li, Ka I Pun, Volker Stolz:
Stream-based dynamic data race detection. NIK 2018 - [c35]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 - [c34]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 - [c33]Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli:
On Distributed Runtime Verification by Aggregate Computing. VORTEX@ECOOP/ISSTA 2018: 47-61 - [e2]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] - 2017
- [c32]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 - [c31]Fernando Macías, Adrian Rutle, Volker Stolz:
Multilevel Modelling with MultEcore: A Contribution to the MULTI 2017 Challenge. MoDELS (Satellite Events) 2017: 269-273 - [c30]Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz:
COEMS - open traces from the industry. RV-CuBES 2017: 96-105 - [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) - 2016
- [j20]Ka I Pun, Martin Steffen, Volker Stolz:
Effect-polymorphic behaviour inference for deadlock checking. J. Log. Algebraic Methods Program. 85(6): 1234-1267 (2016) - [c29]Eric Bodden
, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert:
Information Flow Analysis for Go. ISoLA (1) 2016: 431-445 - [c28]Anna Maria Eilertsen
, Anya Helene Bagge
, Volker Stolz:
Safer Refactorings. ISoLA (1) 2016: 517-531 - [c27]Fernando Macías, Adrian Rutle, Volker Stolz:
MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling. MULTI@MoDELS 2016: 66-75 - [c26]Lars Michael Kristensen, Birgit Rognebakke Krogstie, Volker Stolz:
Forord til NIK 2016 og UDIT 2016. NIK 2016 - [c25]Carl Martin Rosenberg, Martin Steffen, Volker Stolz:
Leveraging DTrace for Runtime Verification. RV 2016: 318-332 - 2014
- [j19]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) - [j18]Jinyun Xue, Volker Stolz:
Preface. Electron. Notes Theor. Comput. Sci. 309: 1-2 (2014) - [j17]Ka I Pun, Martin Steffen, Volker Stolz:
Deadlock checking by data race detection. J. Log. Algebraic Methods Program. 83(5-6): 400-426 (2014) - [c24]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 - [c23]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 - [c22]Erlend Kristiansen, Volker Stolz:
Search-based composed refactorings. NIK 2014 - [c21]Volker Stolz, Baltasar Trancón y Widemann:
7. Arbeitstagung Programmiersprachen (ATPS 2014). Software Engineering 2014: 205-206 - [c20]Ka I Pun, Martin Steffen, Volker Stolz:
Effect-Polymorphic Behaviour Inference for Deadlock Checking. SEFM 2014: 50-64 - [c19]Li Dan, Danning Li, Xiaoshan Li, Volker Stolz:
FIXML to Java, C# and C++ Transformations with QVTR-XSLT. TTC@STAF 2014: 27-31 - [c18]Ka I Pun, Martin Steffen, Volker Stolz:
Behaviour Inference for Deadlock Checking. TASE 2014: 106-113 - [e1]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] - 2013
- [j16]Volker Stolz:
Special Issue: Harnessing theories for tool support in software. Innov. Syst. Softw. Eng. 9(1): 1-2 (2013) - [c17]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference 2013: 191-200 - [c16]Ka I Pun, Martin Steffen, Volker Stolz:
Deadlock Checking by Data Race Detection. FSEN 2013: 34-50 - [c15]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 - 2012
- [j15]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) - [j14]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) - [j13]Dan Li, Xiaoshan Li, Volker Stolz:
Model querying with graphical notation of QVT relations. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012) - [c14]Eric Bodden
, Kevin Falzon, Ka I Pun, Volker Stolz:
Delta-Oriented Monitor Specification. ISoLA (1) 2012: 162-177 - 2011
- [j12]Min Zhang, Volker Stolz:
Preface. Electron. Notes Theor. Comput. Sci. 274: 1-2 (2011) - [j11]Dan Li, Xiaoshan Li, Volker Stolz:
QVT-based model transformation using XSLT. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - [c13]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS 2011: 97-114 - [c12]Cristiano Bertolini, Martin Schäf, Volker Stolz:
Towards a Formal Integrated Model of Collaborative Healthcare Workflows. FHIES 2011: 57-74 - [c11]Dan Li, Xiaoshan Li, Volker Stolz:
Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT. TTC 2011: 54-69 - [c10]Dan Li, Xiaoshan Li, Volker Stolz:
Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case. TTC 2011: 223-236 - 2010
- [j10]Einar Broch Johnsen
, Volker Stolz:
Preface. Electron. Notes Theor. Comput. Sci. 266: 1-2 (2010) - [j9]Volker Stolz:
An integrated multi-view model evolution framework. Innov. Syst. Softw. Eng. 6(1-2): 13-20 (2010) - [j8]Volker Stolz:
Temporal Assertions with Parametrized Propositions. J. Log. Comput. 20(3): 743-757 (2010) - [j7]Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz:
Robustness testing for software components. Sci. Comput. Program. 75(10): 879-897 (2010)
2000 – 2009
- 2009
- [j6]Jianhua Zhao, Volker Stolz:
Preface. Electron. Notes Theor. Comput. Sci. 243: 1-2 (2009) - [j5]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) - [c9]Zhiming Liu, Charles Morisset, Volker Stolz:
rCOS: Theory and Tool for Component-Based Model Driven Development. FSEN 2009: 62-80 - [c8]Zhenbang Chen, Charles Morisset, Volker Stolz:
Specification and Validation of Behavioural Protocols in the rCOS Modeler. FSEN 2009: 387-401 - 2008
- [j4]Geguang Pu, Volker Stolz:
Preface. Electron. Notes Theor. Comput. Sci. 207: 1-2 (2008) - [j3]Lu Yang, Volker Stolz:
Integrating Refinement into Software Development Tools. Electron. Notes Theor. Comput. Sci. 207: 69-88 (2008) - [c7]Zhiming Liu, Charles Morisset, Volker Stolz:
A Component-Based Access Control Monitor. ISoLA 2008: 339-353 - 2007
- [b1]Volker Stolz:
Temporal assertions for sequential and concurrent programs. RWTH Aachen University, Germany, 2007, pp. 1-133 - [c6]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 - [c5]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 - [c4]Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn:
A Refinement Driven Component-Based Design. ICECCS 2007: 277-289 - [c3]Volker Stolz:
Temporal Assertions with Parametrised Propositions. RV 2007: 176-187 - 2006
- [j2]Volker Stolz, Eric Bodden
:
Temporal Assertions using AspectJ. Electron. Notes Theor. Comput. Sci. 144(4): 109-124 (2006) - [c2]Eric Bodden, Volker Stolz:
Tracechecks: Defining Semantic Interfaces with Temporal Logic. SC@ETAPS 2006: 147-162 - [c1]Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz:
MSCan - A Tool for Analyzing MSC Specifications. TACAS 2006: 455-458 - 2005
- [j1]Volker Stolz, Frank Huch:
Runtime Verification of Concurrent Haskell Programs. Electron. Notes Theor. Comput. Sci. 113: 201-216 (2005)
Coauthor Index
aka: Violet Ka I Pun

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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2022-06-25 01:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint