| Virtual-CPU scheduling in the Quest operating system M Danish, Y Li, R West 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium …, 2011 | 97 | 2011 |
| A virtualized separation kernel for mixed-criticality systems R West, Y Li, E Missimer, M Danish ACM Transactions on Computer Systems (TOCS) 34 (3), 1-41, 2016 | 66 | 2016 |
| Quest-V: A virtualized multikernel for high-confidence systems Y Li, M Danish, R West arXiv preprint arXiv:1112.5136, 2011 | 27 | 2011 |
| Units-of-measure correctness in Fortran programs M Contrastin, A Rice, M Danish, DA Orchard Computing in Science & Engineering 18 (1), 102-107, 2015 | 14 | 2015 |
| Data management for building information modelling in a real-time adaptive city platform J Brazauskas, R Verma, V Safronov, M Danish, J Merino, X Xie, I Lewis, ... arXiv preprint arXiv:2103.04924, 2021 | 12 | 2021 |
| To use or not to use proprietary street view images in (health and place) research? That is the question M Helbich, M Danish, SM Labib, B Ricker Health & Place 87, 103244, 2024 | 10 | 2024 |
| DeepDish: multi-object tracking with an off-the-shelf Raspberry Pi M Danish, J Brazauskas, R Bricheno, I Lewis, R Mortier Proceedings of the Third ACM International Workshop on Edge Systems …, 2020 | 10 | 2020 |
| RACER: Real-time automated complex event recognition in smart environments R Verma, J Brazauskas, V Safronov, M Danish, I Lewis, R Mortier Proceedings of the 29th International Conference on Advances in Geographic …, 2021 | 6 | 2021 |
| Sensert: A streaming architecture for smart building sensors R Verma, J Brazauskas, V Safronov, M Danish, J Merino, X Xie, I Lewis, ... arXiv preprint arXiv:2103.09169, 2021 | 6 | 2021 |
| Verifying spatial properties of array computations D Orchard, M Contrastin, M Danish, A Rice Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-30, 2017 | 6 | 2017 |
| DeepDish on a diet: low-latency, energy-efficient object-detection and tracking at the edge M Danish, R Verma, J Brazauskas, I Lewis, R Mortier Proceedings of the 5th International Workshop on Edge Systems, Analytics and …, 2022 | 5 | 2022 |
| Supporting software sustainability with lightweight specifications M Contrastin, M Danish, AC Rice, DA Orchard CEUR Workshop Proceedings 1686, 2016 | 5 | 2016 |
| Real-time data visualisation on the adaptive city platform J Brazauskas, R Verma, V Safronov, M Danish, I Lewis, R Mortier Proceedings of the 8th ACM International Conference on Systems for Energy …, 2021 | 4 | 2021 |
| Do we want the New Old Internet? Towards Seamless and Protocol-Independent IoT Application Interoperability V Safronov, J Brazauskas, M Danish, R Verma, I Lewis, R Mortier Proceedings of the 20th ACM Workshop on Hot Topics in Networks, 185-191, 2021 | 4 | 2021 |
| Lightning talk: Supporting software sustainability with lightweight specifications M Contrastin, M Danish, D Orchard, A Rice CEUR Workshop Proceedings, 2016 | 4 | 2016 |
| Using lightweight theorem proving in an asynchronous systems context M Danish, H Xi NASA Formal Methods Symposium, 158-172, 2014 | 4 | 2014 |
| A citizen science toolkit to collect human perceptions of urban environments using open street view images M Danish, SM Labib, B Ricker, M Helbich Computers, Environment and Urban Systems 116, 102207, 2025 | 3 | 2025 |
| Learning units-of-measure from scientific code M Danish, M Allamanis, M Brockschmidt, A Rice, D Orchard 2019 IEEE/ACM 14th International Workshop on Software Engineering for …, 2019 | 3 | 2019 |
| Incremental units-of-measure verification M Danish, D Orchard, A Rice arXiv preprint arXiv:2406.02174, 2024 | 2 | 2024 |
| Proofs for ‘Verifying Spatial Properties of Array Computations’ D Orchard, M Contrastin, M Danish, A Rice University of Cambridge, Computer Laboratory, 2017 | 2 | 2017 |