Publications

Chen H., Marques-Silva J.  2012.  Improvements to Satisfiability-Based Boolean Function Bi-Decomposition. VLSI-SoC: Advanced Research for System on Chip (Best Papers of VLSI-SoC 2011)VLSI-SoC: Advanced Research for System on Chip (Best Papers of VLSI-SoC 2011).

Ghaith S, Cinnéide MÓ.  2012.  Improving Software Security using Search-Based Refactoring. 4th International Symposium on Search-Based Software Engineering (SSBSE’12)4th International Symposium on Search-Based Software Engineering (SSBSE’12).

Clarke P, O'Connor R.V.  2012.  The influence of SPI on business success in software SMEs: An empirical study. Journal of Systems and Software. 85

Hugh MMc, McCaffery F, Casey V.  2012.  Integrating Agile Practices with a Medical Device Software Development Lifecycle. EuroSPI 2012EuroSPI 2012.

Hugh MMc, McCaffery F, Casey V.  2012.  Integrating Agile Practices with Plan-Driven Medical Device Software Development. The 13th International Conference on Agile Software Development: XP 2012 Doctoral Symposium.

Riordan NO, Acton T, Conboy K, Golden W.  2012.  it’s about time: investigating the temporal parameters of decision making in agile teams. Proceedings of the 21st International Conference on Information Systems DevelopmentProceedings of the 21st International Conference on Information Systems Development.

Wang X, Conboy K, Cawley O.  2012.  “Leagile” software development: An experience report analysis of the application of lean approaches in agile software development. Journal of Systems and Software. 85

Wang X, Conboy K, Cawley O.  2012.  “Leagile” software development: An experience report analysis of the application of lean approaches in agile software development. Journal of Systems and Software. 85

Taylor A, Galvan-Lopez E, Clarke S, Cahill V.  2012.  Management and Control of Energy Usage and Price using Participatory Sensing Data. 3rd International Workshop on Agent Technologies for Energy Systems (ATES), at AAMAS 2012.

Taylor A, Galvan-Lopez E, Clarke S, Cahill V.  2012.  Management and Control of Energy Usage and Price using Participatory Sensing Data. 3rd International Workshop on Agent Technologies for Energy Systems (ATES), at AAMAS 2012.

Rubin J., Kirshin A., Chechik M., Botterweck G.  2012.  Managing Forked Product Variants. 16th International Software Product Line Conference (SPLC 2012)16th International Software Product Line Conference (SPLC 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).

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

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.

McCaffery F, Casey V, Sivakumar MS, Coleman G, Donnelly P, Burton J.  2012.  Medical Device Software Traceability. Software and Systems TraceabilitySoftware and Systems Traceability.

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

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

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

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

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.