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

Belov A, Marques-Silva J.  2012.  MUSer2: An Efficient MUS Extractor, System Description. Journal on Satisfiability, Boolean Modeling and Computation.

Chen H., Marques-Silva J.  2012.  New and Improved Models for SAT-Based Bi-Decomposition. ACM Great Lakes Symposium on VLSI 2012ACM Great Lakes Symposium on VLSI 2012.

Drury M, Conboy K, Power K.  2012.  Obstacles to decision making in Agile software development teams. Journal of Systems and Software. 85

Drury M, Conboy K, Power K.  2012.  Obstacles to Decision Making in Agile Software Development Teams. J. Syst. Softw.. 85

Morgan L, Feller J, Finnegan P.  2012.  Open Source Innovation Networks: Exploring High and Low-density Models. the 16th Pacific Asia Conference on information Systemsthe 16th Pacific Asia Conference on information Systems.

Sharkey U, Acton T, Conboy K.  2012.  Optimal Experience in Online Shopping: The Influence of Flow. European Conference of Information Systems (ECIS)European Conference of Information Systems (ECIS).

Ali R, Griggio A, Franzen A, Dalpiaz F, Giorgini P.  2012.  Optimizing Monitoring Requirements in Self-Adaptive Systems. The 17th International Conference on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD’12)The 17th International Conference on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD’12).

Janota M, Lynce I, Manquinho V., Marques-Silva J.  2012.  PackUp: Tools for Package Upgradability Solving, System Description. Journal on Satisfiability, Boolean Modeling and Computation. 8

Cfarku D, Taher Y, Haque R, van den Heuvel W-jan, Papazoglou MP.  2012.  PAEAN- A Risk-Mitigation Framework for Business Transaction at Run-time. 13th International Conference on Electronic Commerce and Web Technologies - EC-Web 201213th International Conference on Electronic Commerce and Web Technologies - EC-Web 2012.

Ahmad A, Pahl C.  2012.  Pat-Evol: Pattern-drive Reuse in Architecture-based Evolution for Service Software. 5th International Conference of the ERCIM WG on Computing & Statistics (ERCIM 2012)5th International Conference of the ERCIM WG on Computing & Statistics (ERCIM 2012).