Tiziana Margaria

ORCID: 0000-0002-5547-9739
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • 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...

10.3390/healthcare9060712 article EN Healthcare 2021-06-10

10.1007/s10009-009-0111-8 article EN International Journal on Software Tools for Technology Transfer 2009-04-09

10.1007/s10009-009-0120-7 article EN International Journal on Software Tools for Technology Transfer 2009-10-01

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.

10.1109/mc.2010.177 article EN Computer 2010-06-01

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

10.3390/s24020495 article EN cc-by Sensors 2024-01-12

10.1007/s100090050003 article EN International Journal on Software Tools for Technology Transfer 1997-12-01

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

10.1186/1471-2105-10-s10-s8 article EN cc-by BMC Bioinformatics 2009-10-01

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

10.1186/2041-1480-2-s1-s5 article EN cc-by Journal of Biomedical Semantics 2011-01-01

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

10.1109/ntms49979.2021.9432661 article EN 2021-04-19

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

10.1109/access.2021.3064896 article EN cc-by IEEE Access 2021-01-01

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

10.1109/tcss.2022.3215455 article EN IEEE Transactions on Computational Social Systems 2022-11-24

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

10.1109/hldvt.2004.1431246 article EN 2004-01-01

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

10.1109/sew.2006.29 article EN Proceedings 2006-04-01

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

10.1109/mc.2009.315 article EN Computer 2009-10-01
Coming Soon ...