Home
  • Home
  • About Us
    • About Us
    • Management and Governance
      • Overview
      • Advisory Board
      • Executive Committee
      • Governance Committee
      • Operations Team
    • Lero Stories
    • Diversity
    • Careers
    • Logos and Guidelines
  • Research
    • Introduction
    • Blended Autonomous Vehicles
    • Empower
    • Publications
      • All Publications
      • Technical Reports
      • Public Reports
    • Lero Esports Science Research Lab
    • International Projects
    • Lero Research Activities
    • Parnas Fellowship
  • Meet the Team
    • People Directory
    • Operations Team
    • Executive Committee
  • Industry
    • Overview
    • Our Partners
    • Logitech Case Study
    • Testimonials
  • Impact & Excellence
    • Overview
    • Economic Impact
    • Spinout Companies
  • Education & Public Engagement
    • Overview
    • Education
    • Engaged Research
    • Software for All
  • News & Events
  • Open Science
    • Open Source Programme Office
    • Open Science Charter
    • Open Science Calendar of Events
  • Contact

Search form

Found 728 results
Filters: First Letter Of Last Name is H  [Clear All Filters]
2015
Bernardi G, Hennessy M.  2015.  Mutually Testing Processes. Logical Methods in Computer Science. 11(2)
Vinh PCong, Vassev E, Hinchey M.  2015.  Nature of Computation and Communication. International Conference on Nature of Computation and CommunicationInternational Conference on Nature of Computation and Communication. LNICST 144
Donnellan B, Helfert M, Kenneally J, VanderMeer D, Rothenberger M, Winter R.  2015.  New Horizons in Design Science: Broadening the Research Agenda. 10th International Conference, DESRIST 2015, Dublin10th International Conference, DESRIST 2015, Dublin.
Maccani G, Donnellan B, Helfert M.  2015.  Open Data Diffusion For Service Innovation: An Inductive Case Study On Cultural Open Data Services. The 19th Pacific Asia Conference on Information Systems (PACIS 2015)The 19th Pacific Asia Conference on Information Systems (PACIS 2015).
Richards D.,.Timulak L, O’Brien E., Hayes C., Vigano N., Sharry J., Doherty G.  2015.  A Randomized Controlled Trial of an internet-delivered treatment: its potential as a low-intensity community intervention for adults with symptoms of depression.. Behaviour Research and Therapy.
Buckley J, Ali N, English M, Rosik J, Herold S.  2015.  Real-Time Reflexion Modelling in architecture reconciliation: A multi case study. Information and Software Technology. 61
Bicocchi N, Vassev E, Zambonelli F, Hinchey M.  2015.  Reasoning On Data Streams: An Approach To Adaptation In Pervasive Systems. Nature of Computation and CommunicationNature of Computation and Communication. 144
Bicocchi N, Vassev E, Zambonelli F, Hinchey M.  2015.  Reasoning on Data Streams: An Approach to Adaptation in Pervasive Systems. Nature of Computation and Communication.
Zaman F., Hogan G., van der Meer S., Keeney J., Robitzsch S., Muntean G-M.  2015.  A Recommender System Architecture for Predictive Telecom Network Management. IEEE Communications Magazine. 53
Mjeda A, Hinchey M.  2015.  Requirement-Centric Reactive Testing for Safety-Related Automotive Software. Proceedings of the 2nd International Workshop on Requirements Engineering and Testing (RET’15), co-located with ICSE’15.
Horgan J, Donnellan B.  2015.  The Resource Based View of Cloud Computing: A Case Study. 9th European Conference on IS Management and Evaluation.
Cinnéide MÓ, Hickey S.  2015.  Search-Based Refactoring for Layered Architecture Repair: An Initial Investigation. Proceedings of the North American Search Based Software Engineering Symposium (NasBASE)Proceedings of the North American Search Based Software Engineering Symposium (NasBASE).
Carroll N, Helfert M.  2015.  Service capabilities within open innovation: Revisiting the applicability of capability maturity models. Journal of Enterprise Information Management. 28
Abeywickrama DB, Combaz J, Horky V, Keznik J, Kofron J,, Loreti M, Margheri A, Mayer P, Monreale V et al..  2015.  Tools for Ensemble Design and Runtime. Software Engineering for Collective Autonomic Systems: Results of the ASCENS Project. Lecture Notes in Computer ScienceSoftware Engineering for Collective Autonomic Systems: Results of the ASCENS Project. Lecture Notes in Computer Science.
Butterfield A, Hinchey M.  2015.  Towards the adoption of formal techniques for kernel qualification. European Space Agency, (Special Publication) ESA SP. SP-732
Sanán D, Yang L, Yongwang Z, Zhenchang x, Hinchey M.  2015.  Verifying FreeRTOS' Cyclic Doubly Linked List Implementation: From Abstract Specification to Machine Code. 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).
Hamilton G.  2015.  Verifying Temporal Properties of Reactive Systems by Transformation. Third International Workshop on Verification and Program Transformation.
Hamilton G.  2015.  Verifying Temporal Properties of Reactive Systems by Transformation. Electronic Proceedings of Theoretical Computer Science. 99
Hajebi S, Roshani E, Cardozo N, Clarke A, Clarke S.  2015.  Water Distribution Network Sectorisation Using Graph Theory & Many-Objective Optimisation. Journal of Hydroinformatics.
2016
Richards D, Murphy T, Viganò N, Timulak L, Doherty G, Sharry J, Hayes C.  2016.  Acceptability, satisfaction and perceived efficacy of “Space from Depression” an internet-delivered treatment for depression. Internet Interventions. 5
Pasquale L, Hanvey S, Mcgloin M, Nuseibeh B.  2016.  Adaptive evidence collection in the cloud using attack scenarios. Adaptive evidence collection in the cloud using attack scenarios.
Hasrouty CAl, Autefage V, Olariu C, Magoni D, Murphy J.  2016.  Arbres de diffusion pour sessions MVoIP avec flux hétérogènes. ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications.
Sánchez-Gordón M-L, O'Connor R.V, Colomo-Palacios R, Herranz E.  2016.  Bridging the Gap Between SPI and SMEs in Educational Settings: A Learning Tool Supporting ISO/IEC 29110. Systems, Software and Services Process Improvement: 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, ProceedingsSystems, Software and Services Process Improvement: 23rd European Conference, EuroSPI 2016, Graz, Austria, Septemb.
Vassev E, Hinchey M.  2016.  Capturing autonomy features for unmanned spacecraft with ARE, the autonomy requirements engineering approach. Innovations in Systems and Software Engineering. 12
Richardson I, O’Mahoney J, Howarth P, O’Connor P, Glenny L.  2016.  Connected Health: From Rural Ireland to Rural India. Workshop on Software Quality in Healthcare Systems, co-located with IEEE International Conference on Software EngineeringWorkshop on Software Quality in Healthcare Systems, co-located with IEEE International Conference on Software Engineering.

Pages

  • ‹ previous
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • next ›

For further information

To find out more information about Lero or if you are interested in engaging with us.
Contact Us
Quick links
  • Disclaimer
  • Privacy statement
  • Contact us
  • Careers
Stay In Touch
Subscribe to our
newsletter
View our latest
newsletter
Follow us



Contact
Tierney Building
University of Limerick
Ireland
Postcode : V94 NYD3
Tel: +353 61 213028 Fax: +353 61 213036 Email: info@lero.ie
euro
euro
euro

Copyright 2024  Lero