Publications

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

Galvan-Lopez E, Harris C, Dusparic I, Clarke S, Cahill V.  2012.  Reduced Electricity Costs in a Dynamic Environment. 3rd IEEE International Conference on Smart Grid Communications3rd IEEE International Conference on Smart Grid Communications.

Cawley O, Wang X, Richardson I.  2012.  Regulated Software Development - an Onerous Transformation. 2nd International symposium Foundations of Health Information Engineering and Systems FHIES 20122nd International symposium Foundations of Health Information Engineering and Systems FHIES 2012.

Vassev E, Hinchey M.  2012.  Representing Knowledge in Robotic Systems with KnowLang. Leveraging Applications of Formal Methods, Verification, and ValidationLeveraging Applications of Formal Methods, Verification, and Validation.

Salehie M, Pasquale L, Omoronyia I, Ali R, Nuseibeh B.  2012.  Requirements-driven Adaptive Security:Protecting Variable Assets at Runtime. Proceedings of 20th International Requirements Engineering Conference (RE’12)Proceedings of 20th International Requirements Engineering Conference (RE’12).

Richardson I, Paulish D, Verner J.  2012.  Research Directions for Global Software Engineering – where to next?, Guest Editors’ Introduction Journal of Software: Evolution and Process. 24

Rohmer T, Nafaa H, Nakib A.  2012.  On Resource Allocation Strategies in Managed Peer-assisted VOD Streaming Systems. The Seventeenth IEEE Symposium on Computers and Communications (IEEE ISCC’12)The Seventeenth IEEE Symposium on Computers and Communications (IEEE ISCC’12).

Jordan H, Russell S., O’Hare G., Collier R.  2012.  Reuse by Inheritance in Agent Programming Languages. Intelligent Distributed Computing VIntelligent Distributed Computing V.

Clarke P, O'Connor R.V.  2012.  A robust approach to examining business success in software development companies. Proceedings of the ASQ International Conference on Software QualityProceedings of the ASQ International Conference on Software Quality.

Pasquale L, Salehie M, Ali R, Omoronyia I, Nuseibeh B.  2012.  On the Role of Primary and Secondary Assets in Adaptive Security An Application in Smart Grids. 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

Botterweck G, Pleuss A.  2012.  S2T2-Configurator: Interactive Support for Configuration of Large Feature Models. 8th European Conference on Modelling Foundations and Applications (ECMFA 2012) Tools Track8th European Conference on Modelling Foundations and Applications (ECMFA 2012) Tools Track.

Ghafari M, Jamshidi P, Shahbazi S, Haghighi H.  2012.  Safe Stopping of Running Component Based Distributed Systems: Challenges and Research Gaps. Adaptive and Reconfigurable Service-oriented and Component-based Applications and ArchitecturesAdaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures.

Pasquale L, Menghi C, Salehie M, Cavallaro L, Omoronyia I, Nuseibeh B.  2012.  SecurTAS A Tool for Engineering Adaptive Security. 20th International Symposium on Foundations of Software Engineering FSE 201220th International Symposium on Foundations of Software Engineering FSE 2012.