Publications

Buglione L, McCaffery F, Hauck JCarlo Ross, von Wangenheim CGresse.  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).

McHugh F, Acton T.  2012.  First Steps in Innovative Tool Support for Decision Making in Agile Software Development. International Journal of Innovations in Business. 1

Asplund M, Manzoor A, Bouroche M, Clarke S, Cahill V.  2012.  A Formal Approach to Autonomous Vehicle Coordination. 18th International Symposium on Formal Methods (FM)18th International Symposium on Formal Methods (FM).

Vassev E, Hinchey M.  2012.  Formal Specification as High-Level Programming: The ASSL Approach. Patterns, Programming and EverythingPatterns, Programming and Everything.

Popescu R, Staikopoulos A, Liu P, Brogi A, Clarke S.  2012.  A Formalised, Taxonomy-Driven Approach to Cross-Layer Application Adaptation. ACM Transactions on Autonomous and Adaptive System. 7

Vassev E, Hinchey M.  2012.  Fundamentals of Designing Complex Aerospace Software Systems. Complex Systems Design & ManagementComplex Systems Design & Management.

Dorling A, McCaffery F.  2012.  The Gameification of SPICE. 12th International Conference on Software Process Improvement and Capability dEtermination (SPICE 2012)12th International Conference on Software Process Improvement and Capability dEtermination (SPICE 2012).

Lopez T, Petre M, Nuseibeh B.  2012.  Getting at Ephemeral Flaws. Proceedings of 5th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE 2012) co-located with ICSE 2012.

Ahmad A, Jamshidi P, Arshad M., Pahl C.  2012.  Graph-based Implicit Knowledge Discovery from Architecture Change Logs. Seventh Workshop on SHAring and Reusing architectural Knowledge - SHARK 2012 (at WICSA/ECSA’2012).

Ahmad A, Jamshidi P, Pahl C.  2012.  Graph-based Pattern Identification from Architecture Change Logs. International Workshop on System/Software Architectures IWSSA’2012 (at CAiSE 2012).

Shokry H, El-Boghdadi H.  2012.  On Heuristic Solutions to the Simple Offset Assignment Problem in Address-Code Optimization. ACM Transactions on Embedded Systems Computing. 11

Brahmi IHoriya, Djahel S, Ghamri-Doudane Y.  2012.  A Hidden Markov Model based Scheme for Efficient and Fast Dissemination of Safety Messages in VANETs. IEEE Globecom 2012IEEE Globecom 2012.

Brahmi I-H, Djahel S, Ghamri-Doudane Y.  2012.  A Hidden Markov Model based Scheme for Efficient and Fast Dissemination of Safety Messages in VANETs. IEEE Globecom 2012IEEE Globecom 2012.

Hamilton G.  2012.  A Hierarchy of Program Transfprmers. Third International Workshop on Metacomputation.

Clarke P, O'Connor R.V, Yilmaz M.  2012.  A hierarchy of SPI activities for software SMEs: results from ISO/IEC 12207-based SPI assessments. Software Process Improvement and Capability dEtermination (SPICE)Software Process Improvement and Capability dEtermination (SPICE).

Sweetman R, O’Dwyer O, Conboy K.  2012.  How to Manage Effectively in a Multi-Project Environment. The Engineers Journal. 66

Letombe F., Marques-Silva J.  2012.  Hybrid Incremental Algorithms for Boolean Satisfiability. International Journal on Artificial Intelligence Tools. 21

Yang H, Willis A, deRoeck A, Nuseibeh B.  2012.  A hybrid model for automatic emotion recognition in suicide notes. Biomedical Informatics Insights. 5

Buglione L, Hauck JCarlo Ross, von Wangenheim CGresse, McCaffery F.  2012.  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.

Lane M, Fitzgerald B, Agerfalk P.  2012.  Identifying lean software development values. Proceedings of 21st European Conference on Information Systems (ECIS)Proceedings of 21st European Conference on Information Systems (ECIS).

Regan G, McCaffery F, McDaid K, Flood D.  2012.  Impact of Standards on the Role and Application of Traceability in the Medical Device Domain. EuroSPI 2012EuroSPI 2012.

Casey V, McCaffery F.  2012.  Implementation of a Lightweight Assessment Method for Medical Device Software. EuroSPI 2012EuroSPI 2012.

Morgado A., Heras F., Marques-Silva J.  2012.  Improvements to Core-Guided Binary Search for MaxSAT. 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).

Chen H., Marques-Silva J.  2012.  Improvements to Satisfiability-Based Boolean Function Bi-Decomposition. VLSI-SoC: Advanced Research for System on Chip (Best Papers of VLSI-SoC 2011)VLSI-SoC: Advanced Research for System on Chip (Best Papers of VLSI-SoC 2011).

Ghaith S, Cinnéide MÓ.  2012.  Improving Software Security using Search-Based Refactoring. 4th International Symposium on Search-Based Software Engineering (SSBSE’12)4th International Symposium on Search-Based Software Engineering (SSBSE’12).