author-photo

Tiziana Margaria

University of Limerick
University of Potsdam
University of Göttingen

388

Papers

4449

Citations

Citation Trend

Filter By

Papers (388) Sort By

Journal Conference Others

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017 - International Journal on Software Tools for Technology Transfer

2022 International Journal on Software Tools for Technology Transfer
- Axel Legay
- Tiziana Margaria
Show All
- Source
- Cite
- Save
Citations (0)
Health-id: A blockchain-based decentralized identity management for remote healthcare

2021 Healthcare
Show All
- Source
- Cite
- Save
Citations (4)
Integrating External Services in DIME.

2021 ISoLA | Leveraging Applications of Formal Methods
- Hafiz Ahmad Awais Chaudhary
- Tiziana Margaria
Show All
- Source
- Cite
- Save
Citations (0)
Transcribathons as Practice-Based Learning for Historians and Computer Scientists

2021 COMPSAC | Computer Software and Applications Conference
Show All
- Source
- Cite
- Save
Citations (0)
Towards Living Canvases

2021 ISoLA | Leveraging Applications of Formal Methods
Show All
- Source
- Cite
- Save
Citations (1)
Historical Civil Registration Record Transcription Using an eXtreme Model Driven Approach

2021
Show All
- Source
- Cite
- Save
Citations (1)
DSLs for Model Driven Development of Secure Interoperable Automation Systems with EdgeX Foundry

2021 FDL | Forum on specification and Design Languages
Show All
- Source
- Cite
- Save
Citations (0)
The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS

2021 ISoLA | Leveraging Applications of Formal Methods
Show All
- Source
- Cite
- Save
Citations (4)
DSLs and middleware platforms in a model-driven development approach for secure predictive maintenance systems in smart factories

2021 ISoLA | Leveraging Applications of Formal Methods
Show All
- Source
- Cite
- Save
Citations (3)
Detecting nuisance calls over internet telephony using caller reputation

2021 Electronics
Show All
- Source
- Cite
- Save
Citations (1)