Bowes D, Hall T, Beecham S.  2012.  SLuRp a tool to help large complex systematic literature reviews deliver valid and rigorous results. The 2nd International Workshop on Evidential Assessment of Software Technologies (EAST 2012) (co-located with ESEM 2012).

Lane S, Bucchiarone A, Richardson I.  2012.  SOAdapt: A Process Reference Model for Developing Adaptable Service-Based Applications. Information and Software Technology. 54

Basri S, O'Connor R.V.  2012.  Software Development Team Dynamics in SPI: A VSE Context. 19th Asia-Pacific Software Engineering Conference (APSEC 2012)19th Asia-Pacific Software Engineering Conference (APSEC 2012).

Ventresque A, Bragard Q, Liu ES, Nowak D, Murphy L, Theodoropoulos G, Liu Q.  2012.  SParTSim: A Space Partitioning Guided by Road Network for Distributed Traffic Simulations. IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT)IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT).

Basri S, O'Connor R.V.  2012.  A Study of Knowledge Management Process Practices in Very Small Software Companies. American Journal of Economics and Business Administration. 3

Basri S, O'Connor R.V.  2012.  A Study of Software Development Team Dynamics in SPI. International Conference on Information, Business and Education Technology (ICIBET 2012)International Conference on Information, Business and Education Technology (ICIBET 2012).

Hall T, Beecham S, Bowes D, Gray D, Counsell S.  2012.  A Systematic Literature Review on Fault Prediction Performance in Software Engineering. IEEE Transactions on Software Engineering (TSE). 38

Hall T, Beecham S, Bowes D, Gray D, Counsell S.  2012.  A Systematic Literature Review on Fault Prediction Performance in Software Engineering. IEEE Transactions on Software Engineering (TSE). 38

Portillo-Rodríguez J., Vizcaíno A., Piattini M., Beecham S.  2012.  Tools used in Global Software Engineering: a Systematic Mapping Review. Journal of Information and Software Technology. 54

Bonfe M., Boriero F., Dodi R., Fiorini P., Morandi A., Muradore R., Pasquale L, Sanna A., Secchi C..  2012.  Towards Automated Surgical Robotics: A Requirements Engineering Approach. Proceedings of the 4th International Conference on Biomedical Robotics and BiomechatronicsProceedings of the 4th International Conference on Biomedical Robotics and Biomechatronics.

Bonfe M., Boriero F., Dodi R., Fiorini P., Morandi A., Muradore R., Pasquale L, Sanna A., Secchi C..  2012.  Towards Automated Surgical Robotics: A Requirements Engineering Approach. Proceedings of the 4th International Conference on Biomedical Robotics and BiomechatronicsProceedings of the 4th International Conference on Biomedical Robotics and Biomechatronics.

Belov A, Lynce I, Marques-Silva J.  2012.  Towards Efficient MUS Extraction. AI Communications. 25

Manzoor A, Asplund M, Bouroche M, Clarke S, Cahill V.  2012.  Trust evaluation for participatory sensing. 9th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services9th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services.

Bordeaux L., Janota M, Marques-Silva J, Marquis P..  2012.  On Unit-Refutation Complete Formulae with Existentially Quantified Variables. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012).

Pleuss A, Hauptmann B, Dhugana D, Botterweck G.  2012.  User Interface Engineering for Software Product Lines – The Dilemma between Automation and Usability. Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2012)Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2012).

Bresciani R, Butterfield A.  2012.  A UTP semantics of pGCL as a homogeneous relation. Integrated Formal Methods 2012Integrated Formal Methods 2012.

Bresciani R, Butterfield A.  2012.  A UTP semantics of pGCL as a homogeneous relation. Integrated Formal Methods 2012Integrated Formal Methods 2012.

Pullum L, Cui X, Vassev E, Hinchey M, Rouff C, Buskens R.  2012.  Verification of Adaptive Systems. Infotech@Aerospace Conference 2012Infotech@Aerospace Conference 2012.

Pleuss A, Botterweck G.  2012.  Visualization of variability and configuration options. STTT (International Journal on Software Tools for Technology Transfer).

Bhandal C, Bouroche M, Hughes A.  2011.  An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker. Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference onEmbedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on.

Bhandal C, Bouroche M, Hughes A.  2011.  An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker. Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference onEmbedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on.

Rosik J, LeGear A, Buckley J, Babar MAli, Connolly D..  2011.  Assessing architectural drift in commercial software development: a case study. Software: Practice and Experience. 41(1)

Rosik J, LeGear A, Buckley J, Babar MAli, Connolly D..  2011.  Assessing architectural drift in commercial software development: a case study. Software: Practice and Experience. 41(1)

Vassev E, Hinchey M, Balasubramaniam D, Dobson S.  2011.  An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. Proceedings of the 34th annual IEEE Software Engineering Workshop.

Cinnéide MÓ, Boyle D, Moghadam IHemati.  2011.  Automated Refactoring for Testability. ICST Workshop on Refactoring and Testing.