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).

Ahmad A, Pahl C.  2012.  Pat-Evol: Pattern-Driven Reuse in Architecture-Based Evolution for Service Software. ERCIM News. 88

Ahmad A, Jamshidi P, Pahl C.  2012.  Pattern-driven Reuse in Architecture-centric Evolution for Service Software. 7th International Conference on Software Paradigm Trends ICSOFT7th International Conference on Software Paradigm Trends ICSOFT.

Lohan G, Conboy K, Acton T.  2012.  A Performance Management Model for Agile Information Systems Development Teams. 21st International Conference on Information Systems Development (ISD)21st International Conference on Information Systems Development (ISD).

Karakehayov Z, Vassev E.  2012.  Power Management Formalism for Embedded Software. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.

Biggar P, deVries E, Gregg D.  2012.  A practical solution for achieving language compatibility in scripting language compilers. Science of Computer Programming. 77

Tun TThan, Bandara AK, Price BA, Yu Y, Haley C, Omoronyia I, Nuseibeh B.  2012.  Privacy Arguments: Analysing Selective Disclosure Requirements for Mobile Applications. 20th IEEE International Requirements Engineering Conference (RE).

Bresciani R, Butterfield A.  2012.  A probabilistic theory of designs based on distributions. 4th Unifying Theories of Programming Symposium4th Unifying Theories of Programming Symposium.

Richardson I, Casey V, McCaffery F, Burton J, Beecham S.  2012.  A Process Framework for Global Software Engineering Teams. Information Software Technology (IST). 54

O'Leary P, de Almeida ESantana, Richardson I.  2012.  The Pro-PD Process Model for Product Derivation within Software Product Lines. Information and Software Technology. 54

Hamilton G, Jones N.D..  2012.  Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation. Perspectives of Systems Informatics, Lecture Notes in Computer Science. 7162

Chen H., Janota M, Marques-Silva J.  2012.  QBF-Based Boolean Function Bi-Decomposition. DATE 2012 : Design, Automation and Test in EuropeDATE 2012 : Design, Automation and Test in Europe.

Noll J., Beecham S, Seichter D.  2012.  A Qualitative Method for Mining Open Source Software Repositories. Proceedings of the 8th International Conference on Open Source SystemsProceedings of the 8th International Conference on Open Source Systems.

Conboy K, Fitzgerald G, Mathiassen L.  2012.  Qualitative Methods Research in Information Systems: Motivations, Themes, and Contributions. European Journal of Information Systems. 21

Song H, Gallagher M, Clarke S.  2012.  Rapid GUI Development on Legacy Systems: An Runtime Model-Based Solution. 7th International Workshop on Models@run.time (MRT2012).

Purcell M, Vasudevan A, Gregg D.  2012.  Real time sensor signal capture from a harsh environment. 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).