2024
User-centred design of clinical dashboards for guided iCBT.
Innov. Syst. Softw. Eng., September, 2024
A Model-Based Framework for News Content Analysis.
Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024
A Model-Based Framework for Exploring Conflict Dynamics.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
2023
A Validated Learning Approach to Healthcare Process Analysis Through Contextual and Temporal Filtering.
Trans. Petri Nets Other Model. Concurr., 2023
Visual User-Generated Content Verification in Journalism: An Overview.
IEEE Access, 2023
Evaluating the Effectiveness of GPT Large Language Model for News Classification in the IPTC News Ontology.
IEEE Access, 2023
Towards a Multi-dimensional Health Data Analysis Framework.
Proceedings of the Bridging the Gap Between AI and Reality, 2023
Challenges for AI in Healthcare Systems.
Proceedings of the Bridging the Gap Between AI and Reality, 2023
Intelligent Tracing and Process Improvement of Pathology Workflows using Character Recognition.
Proceedings of the 3rd International Health Data Workshop (HEDA 2023) co-located with Software Technologies: Applications and Foundations (STAF 2023), 2023
2022
Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data.
IEEE Access, 2022
Analysis of Patient Pathways with Contextual Process Mining.
Proceedings of The International Health Data Workshop co-located with 10th International Conference on Petrinets (Petri Nets 2022), 2022
2021
Privacy preserving distributed extremely randomized trees.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Scalable Privacy-Preserving Distributed Extremely Randomized Trees for Structured Data With Multiple Colluding Parties.
Proceedings of the IEEE International Conference on Acoustics, 2021
Monitoring Motor Activity Data for Detecting Patients' Depression Using Data Augmentation and Privacy-Preserving Distributed Learning.
Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021
Diversity-Aware Anonymization for Structured Health Data.
Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021
2020
Reusable Data Visualization Patterns for Clinical Practice.
Proceedings of the Systems Modelling and Management - First International Conference, 2020
A Model Based Slicing Technique for Process Mining Healthcare Information.
Proceedings of the Systems Modelling and Management - First International Conference, 2020
Adaptation of IDPT System Based on Patient-Authored Text Data using NLP.
Proceedings of the 33rd IEEE International Symposium on Computer-Based Medical Systems, 2020
2019
A Model Driven Approach to the Design of a Gamified e-Learning System for Clinical Guidelines.
Proceedings of the MEDINFO 2019: Health and Wellbeing e-Networks for All, 2019
An architectural design for self-reporting e-health systems.
Proceedings of the 1st International Workshop on Software Engineering for Healthcare, 2019
A GraphQL approach to Healthcare Information Exchange with HL7 FHIR.
Proceedings of the 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019) / The 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2019) / Affiliated Workshops, 2019
A Model Driven Approach to the Development of Gamified Interactive Clinical Practice Guidelines.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019
Model-Driven Automatic Question Generation for a Gamified Clinical Guideline Training System.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2019
2018
Analysis and Evaluation of Conformance Preserving Graph Transformation Rules.
Proceedings of the Model-Driven Engineering and Software Development, 2018
Static Analysis of Conformance Preserving Model Transformation Rules.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
2017
A Model Driven Engineering Approach for Heterogeneous Model Composition.
Proceedings of the Model-Driven Engineering and Software Development, 2017
Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
2016
Diagrammatic Development of Domain Specific Modelling Languages with WebDPF.
Int. J. Inf. Syst. Model. Des., 2016
A Heuristic Approach for Resolving the Class Responsibility Assignment Case.
Proceedings of the 9th Transformation Tool Contest, 2016
WebDPF: A Web-based Metamodelling and Model Transformation Environment.
Proceedings of the MODELSWARD 2016, 2016
Towards a categorical approach for meta-modelling epistemic game theory.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016
A Bottom up Approach for Synchronous User Interaction Design and Workflow Modelling.
Proceedings of the 7th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2016)/The 6th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2016)/Affiliated Workshops, 2016
An MDE Approach for Modelling and Reasoning About Multi-agent Systems.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016
2015
Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications.
Proceedings of the 28th Norsk Informatikkonferanse, 2015
A Diagrammatic Approach to Model Completion.
Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015
2014
A Flexible Metamodelling Approach for Healthcare Systems.
Proceedings of the 2nd European Workshop on Practical Aspects of Health Informatics, 2014
Co-ordination of Multiple Metamodels, with Application to Healthcare Systems.
Proceedings of the 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2014)/ The 4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2014)/ Affiliated Workshops, 2014
User-Friendly UIs for the Execution of Clinical Practice Guidelines.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014
2013
A User-friendly Tool for Model Checking Healthcare Workflows.
Proceedings of the 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013) and the 3rd International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH), 2013
A scalable ontology reasoner via incremental materialization.
Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013
2012
A Model Slicing Method for Workflow Verification.
Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012
T<sub>□</sub>: A Domain Specific Language for Rapid Workflow Development.
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Model Driven Workflow Development with T<sub>□</sub>.
Proceedings of the Advanced Information Systems Engineering Workshops, 2012
2011
Modeling and Verifying Timed Compensable Workflows and an Application to Health Care.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
Model Checking Workflow Monitors and Its Application to a Pain Management Process.
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011
NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery.
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011
2010
YAWL2DVE: An Automated Translator for Workflow Verification.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010
Compensable WorkFlow Nets.
Proceedings of the Formal Methods and Software Engineering, 2010
An Automated Translator for Model Checking Time Constrained Workflow Systems.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010