Reasoning with Contextual Requirements: Detecting Inconsistency and Conflicts. Information and Software Technology (IST) Journal.
.
2013. Requirements-driven Deployment: Customizing the Requirements Model for the Host Environment. Journal of Software and Systems Modelling.
.
2014. An Interactive and Dynamic Search-Based Approach to Software Refactoring Recommendations. IEEE Transactions on Software Engineering. :1-1.
.
2018. .
2019. A Novel Outlier Detection Method for Multivariate Data. IEEE Transactions on Knowledge and Data Engineering. :1-1.
.
2020. .
2019. BigDataNetSim: A Simulator for Data and Process Placement in Large Big Data Platforms. IEEE/ACM 22nd International Symposium on Distributed Simulation and Real Time Applications (DS-RT.
.
2018. On Evidence Preservation Requirements for Forensic-ready Systems. Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering.
.
2017. I’ve Seen This Before: Sharing Cyber-Physical Incident Knowledge. 1st International Workshop on Security Awareness from Design to Deployment (SEAD’18).
.
2018. Incidents Are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems. IEEE Transactions on Software Engineering. PP:1-1.
.
2020. I'Ve Seen This Before: Sharing Cyber-physical Incident Knowledge. Proceedings of the 1st International Workshop on Security Awareness from Design to Deployment.
.
2018. On the Automated Management of Security Incidents in Smart Spaces. IEEE Access. PP:1-1.
.
2019. .
2022. Software Engineering Challenges for Investigating Cyber-Physical Incidents. 2017 IEEE/ACM 3rd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS).
.
2017. .
2023. .
2020. Software Engineering Issues: An exploratory study into the development of Health Information Systems for people with Mild Intellectual and Developmental Disability. 2020 IEEE First International Workshop on Requirements Engineering for Well-Being, Aging, and Health (REWBAH).
.
2020. Barriers to the Access and use of Health Information by Individuals with Intellectual and Developmental Disability IDD: A Review of the Literature. 2018 IEEE International Conference on Healthcare Informatics (ICHI).
.
2018. Optimal Stable Model Search: Algorithms and Implementation. Journal of Logic and Computation. Journal of Logic and Computation.
.
2015. Automatic Vectorization of Interleaved Data Revisited. ACM Transactions on Architecture and Code Optimization. 12(4)
.
2015. Vectorization of Multibyte Floating Point Data Formats. Proceedings of the 2016 International Conference on Parallel Architectures and Compilation.
.
2016. High-Performance Low-Memory Lowering: GEMM-based Algorithms for DNN Convolution. 2020 IEEE 32nd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD).
.
2020. Optimal DNN Primitive Selection with Partitioned Boolean Quadratic Programming. Proceedings of the 2018 International Symposium on Code Generation and Optimization.
.
2018. Scalar Arithmetic Multiple Data: Customizable Precision for Deep Neural Networks. CoRR. abs/1809.10572
.
2018. Efficient Multibyte Floating Point Data Formats Using Vectorization. IEEE Transactions on Computers. 66:2081-2096.
.
2017.