Publications

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.

Trubin IA, Ghaith S.  2012.  SEDS-Lite: Using Open Source Tools (R, BIRT, MySQL) to Report and Analyze Performance Data. Computer Measurement Group (CMG) ConferenceComputer Measurement Group (CMG) Conference.

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

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.

Baresi L, Guinea S., Pasquale L.  2012.  Service-Oriented Dynamic Software Product Lines with DyBPEL. IEEE Computer. 45

Bhattacherjee A, Fitzgerald B.  2012.  Shaping the Future of ICT Research: Methods and Approaches. IFIP WG 8.2 Working ConferenceIFIP WG 8.2 Working Conference.