- Service-Oriented Architecture and Web Services
- Model-Driven Software Engineering Techniques
- Formal Methods in Verification
- Advanced Software Engineering Methodologies
- Business Process Modeling and Analysis
- Scientific Computing and Data Management
- Software Testing and Debugging Techniques
- Semantic Web and Ontologies
- Software System Performance and Reliability
- Software Engineering Research
- Machine Learning and Algorithms
- Embedded Systems Design Techniques
- Distributed and Parallel Computing Systems
- Software Engineering Techniques and Practices
- Logic, programming, and type systems
- Manufacturing Process and Optimization
- Simulation Techniques and Applications
- Software Reliability and Analysis Research
- Real-Time Systems Scheduling
- Teaching and Learning Programming
- Digital Transformation in Industry
- VLSI and Analog Circuit Testing
- Advanced Database Systems and Queries
- Research Data Management Practices
- Distributed systems and fault tolerance
University of Limerick
2015-2024
Science Foundation Ireland
2021-2024
University of Turin
2023
Lawrence Livermore National Laboratory
2022
Lero
2015-2021
I-Form Advanced Manufacturing Research Centre
2021
RWTH Aachen University
1993-2021
University of the Basque Country
2021
Liverpool John Moores University
2021
Waseda University
2021
COVID-19 has made eHealth an imperative. The pandemic been a true catalyst for remote solutions such as teleHealth. Telehealth facilitates care, diagnoses, and treatment remotely, making them more efficient, accessible, economical. However, they have centralized identity management system that restricts the interoperability of patient healthcare provider identification. Thus, creating silos users are unable to authenticate themselves beyond their application’s domain. Furthermore, consumers...
Software and hardware vendors long avoided interoperation for fear of opting out their own product lines. Yet decisive change came to the automobile industry from a holistic evolution maturation on many fronts.
Industry 4.0 is positioned at the junction of different disciplines, aiming to re-engineer processes and improve effectiveness efficiency. It taking over many industries whose traditional practices are being disrupted by advances in technology inter-connectivity. In this context, enhanced agriculture systems incorporate new components that capable generating better decision making (humidity/temperature/soil sensors, drones for plague detection, smart irrigation, etc.) also include novel crop...
The development of bioinformatics databases, algorithms, and tools throughout the last years has lead to a highly distributed world services. Without adequate management support, in silico researchers are hardly able exploit potential building complex, specialized analysis processes from these Semantic Web aims at thoroughly equipping individual data services with machine-processable meta-information, while workflow systems support construction service compositions. However, even this...
More than in other domains the heterogeneous services world bioinformatics demands for a methodology to classify and relate resources both human machine accessible manner. The Semantic Web, which is meant address exactly this challenge, currently one of most ambitious projects computer science. Collective efforts within community have already led basis standards semantic service descriptions meta-information. In combination with process synthesis planning methods, such knowledge about types...
An up-to-date personal health record (PHR) system is crucial for people's health. Achieving a reliable PHR in the e-Health and m-Health era still challenge concerning data integration from different EHRs, interoperability, enforcing that access to fully under patient's control. We address these challenges by proposing an electronic wallet (EHW) uses emergent decentralized technologies like blockchain IPFS adopts interoperability standards FHIR's APIs. The EHW stands on GDPR-compliant...
With the increasing use of smart devices and sensors, enormous amounts data are being generated continuously. The is commonly stored in centralized cloud platforms consumed by different services. indeed a valuable resource for many service providers who provide advanced features utilities to their subscribers. However, user include personal sensitive information which can be misused ways. There no way subscriber confirm that provider compliant with privacy regulations. existing enhancing...
In the pharmaceutical industry, problems like counterfeit drugs, including vaccines, and their supply chain management transparency, immutability, traceability exist. case of it becomes more difficult to standardize detect fake vaccines because public has less awareness knowledge about vaccines. Moreover, increase in online pharmacies gives opportunities for counterfeiting enter authentic system. We present transparent, immutable secure vaccine (TISVSchain), a framework based on blockchain...
We present the effects of using an efficient algorithm for behavior-based model synthesis which is specifically tailored to reactive (legacy) system behaviors. Conceptual backbone classical automata learning procedure L*, we adapt according considered application profile. The resulting L*Meal , directly synthesizes generalized Mealy from behavioral observations gathered via automated test environment, drastically outperforms deterministic finite automata. Thus it marks a milestone towards...
Summary form only given. Service-oriented design has long driven the development of telecommunications infrastructure and applications, especially intelligent network services. Applying same principles domain specificity, virtualization, loose coupling, seamless vertical integration to business processes potential lead a new generation personalized, secure, highly available Web services
CMDE has been successfully applied in several industrial projects, including telecommunication services, supply-chain management, bioinformatics, logistics, and healthcare. In all these cases, agility at the customer, user, application level proved key to aligning linking business IT. We now expect an additional boost when integrating this approach into a processor project-management environment that oversees development evolution. This will include deadline management progress reports,...