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

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

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.

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

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.

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.

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

Matheus C, Boran A, Carr D, Collier R, Kroon B, Murdoch O, O’Hare G, O’Grady M.  2012.  Semantic Network Monitoring and Control over Heterogeneous Network Models and Protocols. 8th International Conference, AMT 20128th International Conference, AMT 2012.

Matheus C, Boran A, Carr D, Collier R, Kroon B, Murdoch O, O’Hare G, O’Grady M.  2012.  Semantic Network Monitoring and Control over Heterogeneous Network Models and Protocols. 8th International Conference, AMT 20128th International Conference, AMT 2012.

O’Hare G.M.P, Muldoon C, O’Grady MJ, Collier R, Murdoch O, Carr D.  2012.  Sensor Web Interaction. International Journal on Artificial Intelligence Tools. 21

O’Hare G.M.P, Muldoon C, O’Grady MJ, Collier R, Murdoch O, Carr D.  2012.  Sensor Web Interaction. International Journal on Artificial Intelligence Tools. 21

Carroll N, Richardson I, Whelan E.  2012.  Service Science: An Actor-Network Theory Approach. International Journal of Actor-Network Theory and Technological Innovation (IJANTTI). 4

Carroll N, Richardson I, Whelan E.  2012.  Service Science: Exploring Complex Agile Service Networks through Organisational Network Analysis. Agile and Lean Service-Oriented Development: Foundations Theory and PracticeAgile and Lean Service-Oriented Development: Foundations Theory and Practice.

Clarke P, O'Connor R.V.  2012.  The situational factors that affect the software development process: Towards a comprehensive reference framework. Journal of Information and Software Technology. 54

Cordeiro L., Fischer B, Marques-Silva J.  2012.  SMT-based bounded model checking for embedded ANSI-C software. IEEE Transactions on Software Engineering. 38

Hugh MMc, McCaffery F, Casey V.  2012.  Software Process Improvement to Assist Medical Device Software Development Organisations to Comply with the Amendments to the Medical Device Directive. IET Software. 6

Janota M, Klieber W., Marques-Silva J, Clarke E..  2012.  Solving QBF with Counterexample Guided Refinement. The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012)The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012).

Groba C, Clarke S.  2012.  Synchronising service compositions in dynamic ad hoc environments. IEEE International Conference on Mobile Services (MS)IEEE International Conference on Mobile Services (MS).

Yilmaz M, O'Connor R.V, Clarke P.  2012.  A Systematic Approach to the Comparison of Roles in the Software Development Processes. Proceedings 12th International Conference on Software Process Improvement and Capability dEterminationProceedings 12th International Conference on Software Process Improvement and Capability dEtermination.

Hall T, Beecham S, Bowes D, Gray D, Counsell S.  2012.  A Systematic Literature Review on Fault Prediction Performance in Software Engineering. IEEE Transactions on Software Engineering (TSE). 38

Chen H., Marques-Silva J.  2012.  TG-Pro: A SAT-based ATPG System, System Description. Journal on Satisfiability, Boolean Modeling and Computation. 8