From post

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.

 

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

ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level., и . RV, том 7687 из Lecture Notes in Computer Science, стр. 35-41. Springer, (2012)Dynamic Validation of Contracts in Concurrent Code., , , и . EUROCAST, том 9520 из Lecture Notes in Computer Science, стр. 555-564. Springer, (2015)Discovering Concurrency Errors., , , и . Lectures on Runtime Verification, том 10457 из Lecture Notes in Computer Science, Springer, (2018)Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming., , , , , , , , , и . HCVS@ETAPS, том 344 из EPTCS, стр. 79-90. (2021)Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level., и . PADTAD, стр. 36-46. ACM, (2012)Unite: an adapter for transforming analysis tools to web services via OSLC., , , , , и . ESEC/SIGSOFT FSE, стр. 1408-1418. ACM, (2022)A Uniform Classification of Common Concurrency Errors., , , и . EUROCAST (1), том 6927 из Lecture Notes in Computer Science, стр. 519-526. Springer, (2011)A Novel Approach to Modechart Verification of Real-Time Systems., , и . EUROCAST (1), том 6927 из Lecture Notes in Computer Science, стр. 559-567. Springer, (2011)Integrating OSLC Services into Eclipse., , , , и . EUROCAST, том 13789 из Lecture Notes in Computer Science, стр. 240-249. Springer, (2022)On Monitoring C/C++ Transactional Memory Programs., , , и . MEMICS, том 8934 из Lecture Notes in Computer Science, стр. 73-87. Springer, (2014)