( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Hardware-Assisted Online Data Race Detection.

, , , и . Formal Methods in Outer Space, том 13065 из Lecture Notes in Computer Science, стр. 108-126. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Volker Stolz

Volker Stolz

Violetta Stolz

Sandra Stolz

Wulf Stolz

 

Другие публикации лиц с тем же именем

Empowering Multilevel DSMLs with Integrated Runtime Verification., , , , и . CoRR, (2020)NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series., , и . COMPSAC, стр. 334-339. IEEE, (2023)I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking., , , и . The Logic of Software. A Tasting Menu of Formal Methods, том 13360 из Lecture Notes in Computer Science, стр. 1-18. Springer, (2022)7. Arbeitstagung Programmiersprachen (ATPS 2014)., и . Software Engineering, том P-227 из LNI, стр. 205-206. GI, (2014)On Distributed Runtime Verification by Aggregate Computing., , , и . VORTEX@ECOOP/ISSTA, том 302 из EPTCS, стр. 47-61. (2018)Operational semantics of a weak memory model with channel synchronization., , и . J. Log. Algebraic Methods Program., (2019)Distributed runtime verification by past-CTL and the field calculus., , , , и . J. Syst. Softw., (2022)Preface - Selected papers from the 23rd Brazilian Symposium on Formal Methods - SBMF 2020., и . Sci. Comput. Program., (2022)Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems., , , и . Trans. Petri Nets Other Model. Concurr., (2018)Visualization and Abstractions for Execution Paths in Model-Based Software Testing., , , и . IFM, том 11918 из Lecture Notes in Computer Science, стр. 474-492. Springer, (2019)