Triangulation Research Dissemination Methods: A Three Pronged Approach to Close the Research/Practice Divide. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018. How Best to Teach Global Software Engineering? Educators Are Divided IEEE Software. 34
.
2017. Introduction to the EASE 2016 special section:evidence-based software engineering: past, present, and future. Information and Software Technology.
.
2017. Preparing Tomorrow's Software Engineers for Work in a Global Environment. IEEE Software. 34
.
2017. Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering. Proceedings of the 20th International Conference on Evaluation and Assessment in Software EngineeringProceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering.
.
2016. Assessing the Strength of Global Teaming practices: A pilot study. 10th International Conference on Global Software Engineering10th International Conference on Global Software Engineering.
.
2015. Extending Survivability Models for Global Software Development with Media Synchronicity Theory. ICGSE 2015ICGSE 2015.
.
2015. .
2015. Linking a state-rich process algebra to a state-free process algebra to verify software / hardware implementations. FIT’10: International Conference on Frontiers of Information Technology ProceedingsFIT’10: International Conference on Frontiers of Information Technology Proceedings.
.
2010. Modelling Flash Devices with FDR: Progress and Limits. FIT’10: International Conference on Frontiers of Information Technology ProceedingsFIT’10: International Conference on Frontiers of Information Technology Proceedings.
.
2010. From semi to fully autonomous vehicles: New emerging risks and ethico-legal challenges for human-machine interactions. Transportation Research Part F: Traffic Psychology and Behaviour. 63:153-164.
.
2019. Towards Efficient MUS Extraction. AI Communications. 25
.
2012. On Computing Minimal Equivalent Subformulas. 18th International Conference on Principles and Practice of Constraint Programming (CP 2012)18th International Conference on Principles and Practice of Constraint Programming (CP 2012).
.
2012. On Efficient Computation of Variable MUSes. The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012).
.
2012. MUSer2: An Efficient MUS Extractor, System Description. Journal on Satisfiability, Boolean Modeling and Computation.
.
2012. Tight Worst-Case Bounds for Polynomial Loop Programs . International Conference on Foundations of Software Science and Computation Structures .
.
2019. Tight Polynomial Worst-Case Bounds for Loop Programs . Logical Methods in Computer Science. Volume 16, Issue 2
.
2020. Tight Polynomial Worst-Case Bounds for Loop Programs . Logical Methods in Computer Science. 16(2)
.
2020. Tight Polynomial Bounds for Loop Programs in Polynomial Space. Logical Methods in Computer Science. 17
.
2021. PrimAndroid: Privacy Policy Modelling and Analysis for Android Applications. Proceedings of 12th IEEE International Symposium on Policies for Distributed Systems and Networks (Policy 2011).
.
2011. AI in My Life: AI, Ethics & Privacy Workshops for 15-16-Year-Olds. 13th ACM Web Science Conference 2021.
.
2021. Simulating and Evaluating a Real-World ElasticSearch System Using the RECAP DES Simulator. Future Internet. 13
.
2021. Public attitudes towards privacy in COVID-19 times in the Republic of Ireland: A pilot study. Information Security Journal A Global Perspective.
.
2021. Simulating Resource Management across the Cloud-to-Thing Continuum: A Survey and Future Directions. Future Internet. 12:95.
.
2020. .
2020.