Found 40 results
Filters: Author is Tiziana Margaria [Clear All Filters]
Authentication scheme for Unmanned Aerial Vehicles based Internet of Vehicles networks. Egyptian Informatics Journal. 23:83-93.
.
2022. DSL-based Interoperability and Integration in the Smart Manufacturing Digital Thread. Electronic Communications of the EASST.
.
2022. Exploiting optimised communities in directed weighted graphs for link prediction. Online Social Networks and Media. 31:100222.
.
2022. A GDPR-Compliant Framework for IoT-Based Personal Health Records Using Blockchain. 2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS).
.
2021. PETchain: A Blockchain-Based Privacy Enhancing Technology. IEEE Access. 9:41129-41143.
.
2021. Model-Driven-Design of NREn Bridging Application: Case Study AfgREN. 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC).
.
2020. Preserving Patients' Privacy in Medical IoT Using Blockchain. Edge Computing – EDGE 2020.
.
2020. Towards Explainability in Machine Learning: The Formal Methods Way. IT Professional. 22:8-12.
.
2020. XMDD as Key Enabling Technology for Integration of Large scale eLearning Based on NRENs. 2020 IEEE 20th International Conference on Advanced Learning Technologies (ICALT).
.
2020. The ASSL Approach to Formal Specification of Self-managing Systems. Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. :268–296.
.
2019. Towards an Understanding of Value Creation in Agile Software Development. Proceedings of the XV Brazilian Symposium on Information Systems.
.
2019. .
2018. .
2018.
Continuous Model-Driven Engineering. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018. Simplicity as a Driver for Agile Innovation. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018. .
2018. Analyzing ambient assisted living solutions: A research perspective. 2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS).
.
2017. A fully model-based approach to the design of the SEcube: community web app. 2017 12th International Conference on Design Technology of Integrated Systems In Nanoscale Era (DTIS).
.
2017. Modeling Directly Executable Processes for Healthcare Professionals with XMDD. Service Business Model Innovation in Healthcare and Hospital Management: Models, Strategies, ToolsService Business Model Innovation in Healthcare and Hospital Management: Models, Strategies, Tools.
.
2017. .
2017. Automatic Workflow Composition in the Geospatial Domain: An Application on Sea-Level Rise Impacts Analysis. 19th AGILE International Conference on Geographic Information Science19th AGILE International Conference on Geographic Information Science.
.
2016. Comprehensible people recognition using the Kinect's face and skeleton model. 2016 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR).
.
2016. Constraints-Driven Automatic Geospatial Service Composition: Workflows for the Analysis of Sea-Level Rise Impacts. Computational Science and Its Applications – ICCSA 2016: 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IIIComputational Science and Its Applications – ICCSA 2016: 16th International Conference, Beijing, China, July 4.
.
2016. Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework. Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development.
.
2016. Heterogeneous Semantics and Unifying Theories. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}.
.
2016.