Publications

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

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