@inproceedings{'PKS+6',
title = { Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference },
author = {Poplavko, Peter and Kahil, Rany and Socci, Dario and Bensalem, Saddek and Bozga, Marius},
year = {2016},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Pa},
crossref = {DBLP:conf/isola/2016-1},
pages = {605--621},
team = {DCS, RSD},
}