Found 298 results
Filters: First Letter Of Last Name is B [Clear All Filters]
UTCP: Compositional Semantics for Shared-Variable Concurrency. 20th Brazilian Symposium on Formal Methods .
.
2017. UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models. 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE).
.
2016. Towards the adoption of formal techniques for kernel qualification. European Space Agency, (Special Publication) ESA SP. SP-732
.
2015. Saoith{\'ın: A Theorem Prover for UTP. 3rd International Symposium UTP 2010 Unifying Theories of Programming3rd International Symposium UTP 2010 Unifying Theories of Programming.
.
2010. UTPCalc - A calculator for UTP Predicates. The 6th International Symposium on Unifying Theories of ProgrammingThe 6th International Symposium on Unifying Theories of Programming.
.
2017. The Inner and Outer Algebras of Unified Concurrency. Unifying Theories of Programming.
.
2019. Towards Formal Verification of a Separation Microkernel. DASIA 2013, annual Eurospace conferenceDASIA 2013, annual Eurospace conference.
.
2013. Concurrent Models of Flash Memory Device Behaviour. Proceedings of Brazilian Symposium on Formal Methods SBMF 2009Proceedings of Brazilian Symposium on Formal Methods SBMF 2009.
.
2009. The Logic of UTP2. 4th Unifying Theories of Programming Symposium4th Unifying Theories of Programming Symposium.
.
2012. .
2009. A Risk Management Capability Model for use in Medical Device Companies. 4th Workshop on Software Quality.
.
2006. Software Risk Management in Medical Device Systems. International Conference on Software Process 2008 (ICSP 2008)International Conference on Software Process 2008 (ICSP 2008).
.
2008. Burns, T., Pearlmutter, B. & McDonald, J. (2019). MouldingNet: deep-learning for 3D object reconstruction. IMVIP 2019: Irish Machine Vision & Image Processing, Technological University Dublin, Dublin, Ireland, August 28-30. doi:10.21427/synp-mr39 . Irish Machine Vision and Image Processing Conference.
.
2019. MouldingNet: deep-learning for 3D object reconstruction. Irish Machine Vision and Image Processing Conference.
.
2019. Safety Critical Software Development – Extending Quality Management System Practices to Achieve Compliance with Regulatory Requirements. Software Process Improvement and Capability Determination: 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, ProceedingsSoftware Process Improvement and Capability Determination: 16th International Conference, SPICE 2016, Dublin.
.
2016. Safety Critical Software Development – Extending Quality Management System Practices to Achieve Compliance with Regulatory Requirements. 16th International Conference, SPICE 201616th International Conference, SPICE 2016.
.
2016. Approach to the development of a Unified Framework for Safety Critical Software Development. Computer Standards & Interfaces. 54, Part 3
.
2017. Hybriding CMMI and Requirement Engineering Maturity & Capability Models – Applying the LEGO Approach for Improving Estimates. 7th International Conference on Software Paradigm Trends7th International Conference on Software Paradigm Trends.
.
2012. FIRST: Common-sense Process Scopes for Starting a Process Improvement Program. Software Process Improvement and Capability dEtermination (SPICE)Software Process Improvement and Capability dEtermination (SPICE).
.
2012. The LEGO Maturity & Capability Model Approach. Proceedings of 5WCSQ, 5th World Congress on Software QualityProceedings of 5WCSQ, 5th World Congress on Software Quality.
.
2011. The LEGO Strategy: Guidelines for a Profitable Deployment. 19th EuroSPI Conference19th EuroSPI Conference.
.
2012. Risk Management: Achieving Higher Maturity Capability Levels through the LEGO Approach. 2016 Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement (IWSM-MENSURA).
.
2016. Leveraging Reuse-related Maturity Issues for Achieving Higher Maturity & Capability Level. the International Conference on Software Reuse ICSR 2013the International Conference on Software Reuse ICSR 2013.
.
2013. Towards Realistic Sampling: Generating Dependencies in a Relational Database. ACM ICUIMC’13ACM ICUIMC’13.
.
2013. VFDS: Very Fast Database Sampling System. the 14th IEEE Internation Conference on Information Reuse and Integrationthe 14th IEEE Internation Conference on Information Reuse and Integration.
.
2013.