Cited By
View all- Barros MRamos MGomes ACunha APereira JAlmeida P(2023)An Experimental Evaluation of Tools for Grading Concurrent Programming ExercisesFormal Techniques for Distributed Objects, Components, and Systems10.1007/978-3-031-35355-0_1(3-20)Online publication date: 10-Jun-2023
- Jahić JKumar VJung MWirrer GWehn NKuhn T(2019)Rapid Identification of Shared Memory in Multithreaded Embedded Systems with Static SchedulingWorkshop Proceedings of the 48th International Conference on Parallel Processing10.1145/3339186.3339195(1-8)Online publication date: 5-Aug-2019
- Lidbury CDonaldson A(2017)Dynamic race detection for C++11ACM SIGPLAN Notices10.1145/3093333.300985752:1(443-457)Online publication date: 1-Jan-2017
- Show More Cited By