Volker Stolz - RankMe

103 papers A 2B 9C 10Misc 3Journal 29Unranked 41

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	ECOOP Workshop Post-Proceedings. J. Object Technol. Clément Aubert, Volker Stolz
2025	J	`jnl`	Modular soundness checking of feature model evolution plans. Theor. Comput. Sci. Crystal Chang Din, Charaf Eddine Dridi, Ida Sandberg Motzfeldt, Violet Ka I Pun, Volker Stolz, Ingrid Chieh Yu
2025	—	`conf`	Resource Contracts for Active Objects. SBMF Charaf Eddine Dridi, Violet Ka I Pun, Volker Stolz
2025	—	`conf`	Toward Digital-Twin-Assisted Data Acquisition in Underwater Acoustic Sensor Networks. ANT/EDI40 Ivan Spajic, Lars Michael Kristensen, Volker Stolz
2024	—	`conf`	Automated Clone Elimination in Python Tests. ISoLA (4) Sebastian Kingston, Violet Ka I Pun, Volker Stolz
2024	J	`jnl`	Coverage visualization and analysis of net inscriptions in coloured Petri net models. Innov. Syst. Softw. Eng. Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
2024	—	`ch.`	Enforced Dependencies for Active Objects. Active Object Languages: Current Research Trends Violet Ka I Pun, Volker Stolz
2024	C	`conf`	Evaluation of K-Means Time Series Clustering Based on Z-Normalization and NP-Free. ICPRAM Ming-Chang Lee, Jia-Chun Lin, Volker Stolz
2024	J	`jnl`	Evaluation of k-means time series clustering based on z-normalization and NP-Free. CoRR Ming-Chang Lee, Jia-Chun Lin, Volker Stolz
2024	—	`conf`	Runtime Verification of Timed Petri Nets. PNSE@Petri Nets José Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel
2023	C	`conf`	Modular Soundness Checking of Feature Model Evolution Plans. ICTAC Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
2023	B	`conf`	NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series. COMPSAC Ming-Chang Lee, Jia-Chun Lin, Volker Stolz
2023	J	`jnl`	NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series. CoRR Ming-Chang Lee, Jia-Chun Lin, Volker Stolz
2022	—	`conf`	A Notion of Equivalence for Refactorings with Abstract Execution. ISoLA (2) Ole Jørgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz
2022	J	`jnl`	Distributed runtime verification by past-CTL and the field calculus. J. Syst. Softw. Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Gianluca Torta, Mirko Viroli
2022	—	`conf`	I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. The Logic of Software. A Tasting Menu of Formal Methods Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
2022	J	`jnl`	Predictive Semantics for Past-CTL Runtime Monitors. CoRR Giorgio Audrito, Volker Stolz, Gianluca Torta
2022	J	`jnl`	Preface - Selected papers from the 23rd Brazilian Symposium on Formal Methods - SBMF 2020. Sci. Comput. Program. Gustavo Carvalho, Volker Stolz
2022	B	`ed.`	Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings RV Thao Dang, Volker Stolz
2021	J	`jnl`	Adaptive distributed monitors of spatial properties for cyber-physical systems. J. Syst. Softw. Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Volker Stolz, Mirko Viroli
2021	—	`conf`	Hardware-Assisted Online Data Race Detection. Formal Methods in Outer Space Faustin Ahishakiye, José Ignacio Requeno Jarabo, Violet Ka I Pun, Volker Stolz
2021	Misc	`conf`	MC/DC Test Cases Generation Based on BDDs. SETTA Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
2020	C	`conf`	Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. VECoS Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
2020	J	`jnl`	Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. CoRR Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
2020	J	`jnl`	Empowering Multilevel DSMLs with Integrated Runtime Verification. CoRR Fernando Macías, Adrian Rutle, Volker Stolz, Torben Scheffel, Malte Schmitz
2020	—	`ed.`	Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings SBMF Gustavo Carvalho, Volker Stolz
2020	C	`conf`	Multi-objective Search for Model-based Testing. QRS Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
2020	—	`conf`	Refactoring and Active Object Languages. ISoLA (2) Volker Stolz, Violet Ka I Pun, Rohit Gheyi
2020	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings ICTAC Violet Ka I Pun, Volker Stolz, Adenilso Simão
2019	J	`jnl`	Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model. J. Log. Algebraic Methods Program. Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
2019	J	`jnl`	COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR 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
2019	Misc	`conf`	Non-Intrusive MC/DC Measurement Based on Traces. TASE Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma
2019	J	`jnl`	Operational semantics of a weak memory model with channel synchronization. J. Log. Algebraic Methods Program. Daniel Schnetzer Fava, Martin Steffen, Volker Stolz
2019	B	`conf`	Visualization and Abstractions for Execution Paths in Model-Based Software Testing. IFM Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz
2018	—	`conf`	A tool for the convergence of multilevel modelling approaches. MoDELS (Workshops) Fernando Macías, Adrian Rutle, Volker Stolz
2018	—	`ed.`	Advances in Service-Oriented and Cloud Computing - Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers ESOCC Workshops Zoltán Ádám Mann, Volker Stolz
2018	J	`jnl`	An Approach to Flexible Multilevel Modelling. Enterp. Model. Inf. Syst. Archit. Fernando Macías, Adrian Rutle, Volker Stolz, Roberto Rodríguez-Echeverría, Uwe Wolter
2018	B	`conf`	COST Action IC1402 Runtime Verification Beyond Monitoring. RV Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
2018	C	`conf`	MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. VECoS Rui Wang, Lars Michael Kristensen, Volker Stolz
2018	J	`jnl`	Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems. Trans. Petri Nets Other Model. Concurr. Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
2018	—	`conf`	On Distributed Runtime Verification by Aggregate Computing. VORTEX@ECOOP/ISSTA Giorgio Audrito, Ferruccio Damiani, Volker Stolz, Mirko Viroli
2018	B	`conf`	Operational Semantics of a Weak Memory Model with Channel Synchronization. FM Daniel Schnetzer Fava, Martin Steffen, Volker Stolz
2018	—	`conf`	Stream-based dynamic data race detection. NIK Svetlana Jaksic, Dan Li, Ka I Pun, Volker Stolz
2017	J	`jnl`	A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). Dagstuhl Reports Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz
2017	—	`conf`	Application of Model-based Testing on a Quorum-based Distributed Storage. PNSE @ Petri Nets Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
2017	—	`conf`	COEMS - open traces from the industry. RV-CuBES Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz
2017	—	`conf`	Multilevel Modelling with MultEcore: A Contribution to the MULTI 2017 Challenge. MoDELS (Satellite Events) Fernando Macías, Adrian Rutle, Volker Stolz
2016	J	`jnl`	Effect-polymorphic behaviour inference for deadlock checking. J. Log. Algebraic Methods Program. Ka I Pun, Martin Steffen, Volker Stolz
2016	—	`conf`	Forord til NIK 2016 og UDIT 2016. NIK Lars Michael Kristensen, Birgit Rognebakke Krogstie, Volker Stolz
2016	—	`conf`	Information Flow Analysis for Go. ISoLA (1) Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert
2016	B	`conf`	Leveraging DTrace for Runtime Verification. RV Carl Martin Rosenberg, Martin Steffen, Volker Stolz
2016	—	`conf`	MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling. MULTI@MoDELS Fernando Macías, Adrian Rutle, Volker Stolz
2016	—	`conf`	Safer Refactorings. ISoLA (1) Anna Maria Eilertsen, Anya Helene Bagge, Volker Stolz
2014	C	`conf`	7. Arbeitstagung Programmiersprachen (ATPS 2014). Software Engineering Volker Stolz, Baltasar Trancón y Widemann
2014	J	`jnl`	Automated transformations from UML behavior models to contracts. Sci. China Inf. Sci. Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
2014	Misc	`conf`	Behaviour Inference for Deadlock Checking. TASE Ka I Pun, Martin Steffen, Volker Stolz
2014	J	`jnl`	Deadlock checking by data race detection. J. Log. Algebraic Methods Program. Ka I Pun, Martin Steffen, Volker Stolz
2014	B	`conf`	Effect-Polymorphic Behaviour Inference for Deadlock Checking. SEFM Ka I Pun, Martin Steffen, Volker Stolz
2014	—	`conf`	Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. ISoLA (2) Georg Göri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz
2014	—	`conf`	FIXML to Java, C# and C++ Transformations with QVTR-XSLT. TTC@STAF Li Dan, Danning Li, Xiaoshan Li, Volker Stolz
2014	—	`conf`	Fault Model Design Space for Cooperative Concurrency. ISoLA (2) Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro
2014	C	`ed.`	Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 25.-26. Februar 2014 in Kiel, Deutschland. Software Engineering (Workshops) 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
2014	—	`ed.`	Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013 TTSS Jinyun Xue, Volker Stolz
2014	—	`conf`	Search-based composed refactorings. NIK Erlend Kristiansen, Volker Stolz
2013	—	`conf`	Deadlock Checking by Data Race Detection. FSEN Ka I Pun, Martin Steffen, Volker Stolz
2013	C	`conf`	How Useful Are Existing Monitoring Languages for Securing Android Apps? Software Engineering (Workshops) Steven Arzt, Kevin Falzon, Andreas Follner, Siegfried Rasthofer, Eric Bodden, Volker Stolz
2013	—	`conf`	Preface. TTSS Jinyun Xue, Volker Stolz
2013	J	`jnl`	Special Issue: Harnessing theories for tool support in software. Innov. Syst. Softw. Eng. Volker Stolz
2013	—	`conf`	Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
2012	J	`jnl`	Deadlock checking by a behavioral effect system for lock handling. J. Log. Algebraic Methods Program. Ka I Pun, Martin Steffen, Volker Stolz
2012	—	`conf`	Delta-Oriented Monitor Specification. ISoLA (1) Eric Bodden, Kevin Falzon, Ka I Pun, Volker Stolz
2012	J	`jnl`	Model querying with graphical notation of QVT relations. ACM SIGSOFT Softw. Eng. Notes Dan Li, Xiaoshan Li, Volker Stolz
2012	J	`jnl`	rCOS: a formal model-driven engineering method for component-based software. Frontiers Comput. Sci. China Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz
2011	—	`ed.`	4th International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2010, Shanghai, China, November 15, 2010 TTSS Min Zhang, Volker Stolz
2011	—	`conf`	Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
2011	J	`jnl`	QVT-based model transformation using XSLT. ACM SIGSOFT Softw. Eng. Notes Dan Li, Xiaoshan Li, Volker Stolz
2011	—	`conf`	Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case TTC Dan Li, Xiaoshan Li, Volker Stolz
2011	—	`conf`	Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT TTC Dan Li, Xiaoshan Li, Volker Stolz
2011	—	`conf`	Towards a Formal Integrated Model of Collaborative Healthcare Workflows. FHIES Cristiano Bertolini, Martin Schäf, Volker Stolz
2010	J	`jnl`	An integrated multi-view model evolution framework. Innov. Syst. Softw. Eng. Volker Stolz
2010	—	`conf`	Preface. TTSS Min Zhang, Volker Stolz
2010	—	`ed.`	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 TTSS Einar Broch Johnsen, Volker Stolz
2010	J	`jnl`	Robustness testing for software components. Sci. Comput. Program. Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz
2010	J	`jnl`	Temporal Assertions with Parametrized Propositions. J. Log. Comput. Volker Stolz
2009	—	`conf`	Preface. TTSS Einar Broch Johnsen, Volker Stolz
2009	—	`ed.`	Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2008, Istanbul, Turkey, August 30, 2008 TTSS Jianhua Zhao, Volker Stolz
2009	J	`jnl`	Refinement and verification in component-based model-driven design. Sci. Comput. Program. Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan
2009	—	`conf`	Specification and Validation of Behavioural Protocols in the rCOS Modeler. FSEN Zhenbang Chen, Charles Morisset, Volker Stolz
2009	—	`conf`	rCOS: Theory and Tool for Component-Based Model Driven Development. FSEN Zhiming Liu, Charles Morisset, Volker Stolz
2008	C	`conf`	A Component-Based Access Control Monitor. ISoLA Zhiming Liu, Charles Morisset, Volker Stolz
2008	—	`conf`	Preface. TTSS Jianhua Zhao, Volker Stolz
2008	—	`ed.`	Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, TTSS 2007, Macau, September 22-23, 2007 TTSS Geguang Pu, Volker Stolz
2007	B	`conf`	A Refinement Driven Component-Based Design. ICECCS Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn
2007	—	`conf`	Harnessing rCOS for Tool Support - The CoCoME Experience. Formal Methods and Hybrid Real-Time Systems Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang
2007	—	`conf`	Integrating Refinement into Software Development Tools. TTSS Lu Yang, Volker Stolz
2007	—	`conf`	Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 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
2007	—	`conf`	Preface. TTSS Geguang Pu, Volker Stolz
2007	B	`conf`	Temporal Assertions with Parametrised Propositions. RV Volker Stolz
2007	—	`—`	Temporal assertions for sequential and concurrent programs. Volker Stolz
2006	A	`conf`	MSCan - A Tool for Analyzing MSC Specifications. TACAS Benedikt Bollig, Carsten Kern, Markus Schlütter, Volker Stolz
2006	A	`conf`	Tracechecks: Defining Semantic Interfaces with Temporal Logic. SC Eric Bodden, Volker Stolz
2005	—	`conf`	Temporal Assertions using AspectJ. RV@CAV Volker Stolz, Eric Bodden
2004	—	`conf`	Runtime Verification of Concurrent Haskell Programs. RV@ETAPS Volker Stolz, Frank Huch