Cited By
View all- Jahić JDoganci VGehring H(2022)CASA: An Approach for Exposing and Documenting Concurrency-Related Software PropertiesEmbedded Computer Systems: Architectures, Modeling, and Simulation10.1007/978-3-031-15074-6_9(139-154)Online publication date: 14-Aug-2022
- Cornaglia AViehl ABringmann O(2022)Accurate LLVM IR to Binary CFGs Mapping for Simulation of Optimized Embedded SoftwareEmbedded Computer Systems: Architectures, Modeling, and Simulation10.1007/978-3-031-04580-6_1(3-15)Online publication date: 27-Apr-2022
- Jahić JBauer TKuhn TWehn NAntonino P(2020)FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency BugsIntelligent Computing10.1007/978-3-030-52249-0_5(54-74)Online publication date: 4-Jul-2020