| Modeling and testing a family of surgical robots: an experience report N Mansoor, JA Saddler, B Silva, H Bagheri, MB Cohen, S Farritor Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 24 | 2018 |
| Synthesis of assurance cases for software certification H Bagheri, E Kang, N Mansoor Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 10 | 2020 |
| An Empirical Study Assessing Software Modeling in Alloy N Mansoor, H Bagheri, E Kang, B Sharif IEEE/ACM 11th International Conference on Formal Methods in Software Engineering, 2023 | 7 | 2023 |
| An Empirical Assessment on Merging and Repositioning of Static Analysis Alarms N Mansoor, T Muske, A Serebrenik, B Sharif International Working Conference on Source Code Analysis & Manipulation (SCAM), 2022 | 4 | 2022 |
| Humans in Empirical Software Engineering Studies: An Experience Report B Sharif, N Mansoor 2022 1st Workshop on Advances in Human-Centric Experiments in Software …, 2022 | 3 | 2022 |
| SAINTDroid: Scalable, Automated Incompatibility Detection for Android BVR Silva, C Stevens, N Mansoor, W Srisa-An, T Yu, H Bagheri 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems …, 2022 | 2 | 2022 |
| How Developers and Tools Categorize Sentiment in Stack Overflow Questions - A Pilot Study N Mansoor, CS Peterson, B Sharif 2021 Sixth International Workshop on Emotion Awareness in Software …, 2021 | 2 | 2021 |
| Empirical Assessment of Program Comprehension Styles in Programming Language Paradigms N Mansoor 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), 2021 | 1 | 2021 |
| Assessing the Effect of Programming Language and Task Type on Eye Movements of Computer Science Students N Mansoor, CS Peterson, MD Dodd, B Sharif ACM Transactions on Computing Education 24 (1), 1-38, 2024 | | 2024 |
| Computing Education AM Shin, AM Kazerouni, N Mansoor, CS Peterson, MD Dodd, B Sharif, ... ACM Transactions on 24 (1), 2024 | | 2024 |
| An Empirical Assessment of Formal Models and Static Analysis Alarms in the Context of Defect Detection N Mansoor The University of Nebraska-Lincoln, 2022 | | 2022 |
| Formal Modeling and Analysis of a Family of Surgical Robots N Mansoor University of Nebraska-Lincoln, 2019 | | 2019 |
Hamid BagheriUniversity of Nebraska-LincolnVerified email at mit.edu
