Vassev E, Hinchey M.  2012.  Knowledge Representation with KnowLang - The marXbot Case Study. Proceedings of the 11th IEEE International Conference on Cybernetic Intelligent SystemsProceedings of the 11th IEEE International Conference on Cybernetic Intelligent Systems.

Wang X, Conboy K, Cawley O.  2012.  “Leagile” software development: An experience report analysis of the application of lean approaches in agile software development. Journal of Systems and Software. 85

Buglione L, von Wangenheim CGresse, McCaffery F, Hauck JCarlo Ross.  2012.  The LEGO Strategy: Guidelines for a Profitable Deployment. 19th EuroSPI Conference19th EuroSPI Conference.

Fitzgerald B, Kesan J, Russo B, Shaikh M, Succi G.  2012.  Lessons Learned from the Adoption of Open Source Software. European Financial Review.

Andres OP, Murphy J, Sullivan P..  2012.  Leverage of Extended Information to Enhance the Performance of JEE Systems. Information Technology and Telecommunications Conference (IT&T)Information Technology and Telecommunications Conference (IT&T).

Butterfield A.  2012.  The Logic of UTP2. 4th Unifying Theories of Programming Symposium4th Unifying Theories of Programming Symposium.

Heras F., Morgado A., Marques-Silva J.  2012.  Lower Bounds and Upper Bounds for MaxSAT. Learning and Intelligent OptimizatioN Conference LION 6Learning and Intelligent OptimizatioN Conference LION 6.

Taylor A, Galvan-Lopez E, Clarke S, Cahill V.  2012.  Management and Control of Energy Usage and Price using Participatory Sensing Data. 3rd International Workshop on Agent Technologies for Energy Systems (ATES), at AAMAS 2012.

Polzer A, Merschen D, Botterweck G, Pleuss A, Thomas J, Hedenetz B, Kowalewski S.  2012.  Managing complexity and variability of a model-based embedded software product line. Innovations in Systems and Software Engineering. 8

Rubin J., Kirshin A., Chechik M., Botterweck G.  2012.  Managing Forked Product Variants. 16th International Software Product Line Conference (SPLC 2012)16th International Software Product Line Conference (SPLC 2012).

Yilmaz M, O'Connor R.V.  2012.  A Market Based Approach for Resolving Resource Constrained Task Allocation Problems in a Software Development Process. EuroSPI 2012EuroSPI 2012.

Morgado A., Liffiton M., Marques-Silva J.  2012.  MaxSAT-Based MCS Enumeration. Eighth Haifa Verification Conference (HVC 2012)Eighth Haifa Verification Conference (HVC 2012).

O’Hara N, Slot M, Marinescu D, Curn J, Yang D, Asplund M, Bouroche M, Clarke S, Cahill V.  2012.  Mddsvsim: An integrated traffic simulation platform for autonomous vehicle research. First International Workshop on Vehicular Tra c Management for Smart Cities (VTM 2012).

Jordan H, Collier R.  2012.  Measuring Quality: A Cornerstone of Theory in Software Engineering. Semat Workshop on a General Theory of Software Engineering.

Casey V, McCaffery F.  2012.  Medi SPICE and the Development of a Process Reference Model for Inclusion in IEC 62304. ICSOFT 2012 the 7th International Conference on Software Paradigm TrendsICSOFT 2012 the 7th International Conference on Software Paradigm Trends.

McCaffery F, Casey V, Sivakumar MS, Coleman G, Donnelly P, Burton J.  2012.  Medical Device Software Traceability. Software and Systems TraceabilitySoftware and Systems Traceability.

Hinchey M, Vassev E.  2012.  Method of improving system performance and survivability through changing function. Patent Number #8,275,724

Bayley I, Flood D, Harrison R, Martin C.  2012.  Mobi-Test: A Cross-Platform Tool for Testing Mobile Applications. The Seventh International Conference on Software Engineering Advances (ICSEA 2012)The Seventh International Conference on Software Engineering Advances (ICSEA 2012).

Wu Y, Huang G, Song H, Zhan Y.  2012.  Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System. International Conference on Model Driven Engineering Languages and Systems (MODELS2012)International Conference on Model Driven Engineering Languages and Systems (MODELS2012).

Linehan E, O’Toole E, Clarke S.  2012.  Model-Driven Automation for Simulation-Based Functional Verification. ACM Transactions on Design Automation of Electronic Systems. 17

Pleuss A, Botterweck G, Dhungana D, Polzer A, Kowalewski S.  2012.  Model-driven support for product line evolution on feature level. Journal of Systems and Software. 85

Schubanz M, Pleuss A, Botterweck G, Lewerentz C.  2012.  Modeling Rationale over Time to support Product Line Evolution Planning. Sixth International Workshop on Variability Modelling of Software-intensive Systems.

Ali N, Chen F, Solis C.  2012.  Modelling Support for Mobile Ambients in Service Oriented Architecture. IEEE International Conference on Mobile Services (MS 2012)IEEE International Conference on Mobile Services (MS 2012).

Hava A, Ghamri-Doudane Y, Murphy J.  2012.  On monitoring overhead impact in wireless mesh networks. 8th International Wireless Communications and Mobile Computing Conference (IWCMC)8th International Wireless Communications and Mobile Computing Conference (IWCMC).

Hinchey M, Vassev E.  2012.  Multi-Agent Systems – Theory, Approaches and NASA Applications. Software Agents, Agent Systems and Their ApplicationsSoftware Agents, Agent Systems and Their Applications. 32