Algoritmi | User | António Miguel Ribeiro dos Santos Rosado da Cruz
António Miguel Ribeiro dos Santos Rosado da Cruz
António Miguel Ribeiro dos Santos Rosado da Cruz
At LASI
Other with PhD
Member of the CALG R&D Unit
Academic Degree
PhD
Current Position
Coordinating Professor at Instituto Superior de Tecnologia e Gestão do Instituto Politécnico de Viana do Castelo
Personal Webpage
Personal Email
miguel.cruz@estg.ipvc.ptOrcid
0000-0003-3883-1160Researcher ID
B-3246-2014FCT Public Key
J0392207SZ5H
Ciência ID
Google Scholar
About Me
António Miguel Rosado da Cruz has a PhD in Informatics Engineering from the University of Porto, since 2011, and is PMP certified since 2014. He has almost 30 years of work experience in the areas of Software Engineering, 11 of which working in the software industry. He is Adjunct Professor in the Polytechnic Institute of Viana do Castelo, since 2016 (he has been invited professor between 2005 and 2016); coordinator of the Master Program in Informatics Engineering; integrated member of the ADIT-Lab applied research center; and, member collaborator of the ALGORITMI research center. He has published several articles in conferences, scientific journals and book chapters. He has edited two scientific books’ projects. He works in and coordinates funded research projects and projects with companies, and has also supervised several Master’s thesis. His research interests are in the areas of Software Engineering and Architectures, Software Integration, Model-driven Development, Model Transformation, Code Generation and Cloud computing.
Publications (60)
Fruit and Vegetables Blockchain-Based Traceability Platform
Computers
2024 | journal-article
A Traceability Platform for Monitoring Environmental and Social Sustainability in the Textile and Clothing Value Chain: Towards a Digital Passport for Textiles and Clothing
Sustainability (Switzerland)
2024 | journal-article
An Overview of Blockchain for Industry 5.0: Towards Human-Centric, Sustainable and Resilient Applications
IEEE Access
2024 | journal-article
STVgoDigital: A Digital Product Passport Solution
Communications in Computer and Information Science
2024 | conference-paper
A Traceability Platform for Monitoring Environmental and Social Sustainability in the Textile and Clothing Value Chain: Towards a Digital Passport for T&C
2023 | preprint
Blockchain-Based Applications for Disrupting and Accelerating Innovation in Organizations and Society
2023 | book-chapter
Eco-Gamification Platform to Promote Consumers’ Engagement in the Textile and Clothing Circular Value Chain
Sustainability
2023 | journal-article
A Review on Adopting Blockchain and IoT Technologies for Fostering the Circular Economy in the Electrical and Electronic Equipment Value Chain
Sustainability
2023 | journal-article
Eco-Gamification Platform to Promote Consumers’ Engagement in the Textile and Clothing Circular Value Chain
2023 | preprint
A Review on Adopting Blockchain and IoT Technologies for Fostering CE in the EEE Value Chain
2023 | preprint
Blockchain-based applications for disrupting and accelerating innovation in organizations and society
Supporting Technologies and the Impact of Blockchain on Organizations and Society
2023 | book-chapter
Digital solutions for engaging end-consumers in the circular economy of the textile and clothing value chain - A systematic review
Cleaner and Responsible Consumption
2023 | journal-article
Forecasting Short-Term Indoor Radon: A Machine Learning Approach Using LSTM Networks
Iberian Conference on Information Systems and Technologies, CISTI
2023 | conference-paper
Hybrid Building Occupancy Estimation using Thermal Imaging and Environmental Sensing
Proceedings of the IEEE International Conference on Industrial Technology
2023 | conference-paper
Towards a Blockchain-based Traceability Platform for the Fruit and Vegetables Value Chain
Iberian Conference on Information Systems and Technologies, CISTI
2023 | conference-paper
IoT and Blockchain Technologies for Process Traceability in the Shipbuilding Industry
Iberian Conference on Information Systems and Technologies, CISTI
2022 | conference-paper
Smart Contract and Web DApp for Traceability in the Olive Oil Production chain
Iberian Conference on Information Systems and Technologies, CISTI
2022 | conference-paper
Towards circular economy in the textiles and clothing value chain through blockchain technology and IoT: A review
Waste Management and Research
2022 | journal-article
Tracing Sustainability Indicators in the Textile and Clothing Value Chain using Blockchain Technology
Iberian Conference on Information Systems and Technologies, CISTI
2022 | conference-paper
A Blockchain-based platform for reliably tracing political contacts,Plataforma baseada na Blockchain para Rastreamento de Contactos Políticos de forma Confiável
Iberian Conference on Information Systems and Technologies, CISTI
2021 | conference-paper
Nice Payer-A software platform for registering Debtors with Past Due Debts,Nice Payer-Plataforma de Software Para Registo de Devedores com Dívidas Vencidas
Iberian Conference on Information Systems and Technologies, CISTI
2021 | conference-paper
Towards a smart & sustainable campus: An application-oriented architecture to streamline digitization and strengthen sustainability in academia
Sustainability (Switzerland)
2021 | journal-article
Traceability system for quality monitoring in the fishery and aquaculture value chain
Journal of Agriculture and Food Research
2021 | journal-article
Using Blockchain to Trace PDO/PGI/TSG Products
International Conference on Enterprise Information Systems, ICEIS - Proceedings
2021 | conference-paper
Artificial Intelligence Applied to Software Testing: A Literature Review
Iberian Conference on Information Systems and Technologies, CISTI
2020 | conference-paper
Blockchain-based traceability of carbon footprint: A solidity smart contract for ethereum
ICEIS 2020 - Proceedings of the 22nd International Conference on Enterprise Information Systems
2020 | conference-paper
Blockchain-based traceability platforms as a tool for sustainability
ICEIS 2020 - Proceedings of the 22nd International Conference on Enterprise Information Systems
2020 | conference-paper
Design Science Research for IS/IT Projects: Focus on Digital Transformation
Iberian Conference on Information Systems and Technologies, CISTI
2020 | conference-paper
EA in the Digital Transformation of Higher Education Institutions
Iberian Conference on Information Systems and Technologies, CISTI
2020 | conference-paper
Time2Play - Multi-sided platform for sports facilities: A disruptive digital platform
ICEIS 2020 - Proceedings of the 22nd International Conference on Enterprise Information Systems
2020 | conference-paper
User Experience in Kiosk Application for Traceability of Fishery Products
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | conference-paper
Using blockchain to implement traceability on fishery value chain
ICSOFT 2020 - Proceedings of the 15th International Conference on Software Technologies
2020 | conference-paper
Zeroconf Network Retail Kiosk for Fish Products Traceability
Iberian Conference on Information Systems and Technologies, CISTI
2020 | conference-paper
A food value chain integrated business process and domain models for product traceability and quality monitoring: Pattern models for food traceability platforms
ICEIS 2019 - Proceedings of the 21st International Conference on Enterprise Information Systems
2019 | conference-paper
Analysis of a traceability and quality monitoring platform for the fishery and aquaculture value Chain
Iberian Conference on Information Systems and Technologies, CISTI
2019 | conference-paper
Deriving integrated software design models from BPMN business process models
ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies
2019 | conference-paper
Enterprise architecture as a tool for digital transformation
Atas da Conferencia da Associacao Portuguesa de Sistemas de Informacao
2019 | conference-paper
New Perspectives on Information Systems Modeling and Design
{IGI
2019 | edited-book
On the design of a platform for traceability in the fishery and aquaculture value chain
Iberian Conference on Information Systems and Technologies, CISTI
2019 | conference-paper
RnMonitor: A WebGIS-based platform for expedite in situ deployment of IoT edge devices and effective Radon Risk Management
5th IEEE International Smart Cities Conference, ISC2 2019
2019 | conference-paper
On the design of a Human-in-The-Loop Cyber-Physical System for online monitoring and active mitigation of indoor Radon gas concentration
2018 IEEE International Smart Cities Conference, ISC2 2018
2018 | conference-paper
International Journal of Information System Modeling and Design (IJISMD) Volume 8, Issue 1, January - March 2017
International Journal of Information System Modeling and Design (IJISMD)
2017 | journal-issue
SPMDSL language model: Onto a DSL for agile use case driven software project's management
ICEIS 2017 - Proceedings of the 19th International Conference on Enterprise Information Systems
2017 | conference-paper
Cloud and mobile: A future together
Modern Software Engineering Methodologies for Mobile and Cloud Environments
2016 | book-chapter
Model-driven development of data-centered mobile applications: A case study for android
Modern Software Engineering Methodologies for Mobile and Cloud Environments
2016 | book
Modern software engineering methodologies for mobile and cloud environments
Modern Software Engineering Methodologies for Mobile and Cloud Environments
2016 | book
Preface
Modern Software Engineering Methodologies for Mobile and Cloud Environments
2016 | book
Use case and user interface patterns for data oriented applications
Communications in Computer and Information Science
2015 | conference-paper
A pattern language for use case modeling
MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
2014 | conference-paper
Refining use cases through temporal relations
ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends
2014 | conference-paper
An architectural model for customizing the business logic of SaaS applications
ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies
2013 | conference-paper
Migration to Windows Azure - Analysis and Comparison
4th Conference of Enterprise Information Systems - Aligning Technology, Organizations and People (Centeris 2012)
2012 | journal-article
A metamodel-based approach for automatic user interface generation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | conference-paper
Automatic Generation of User Interface Models and Prototypes from Domain and Use Case Models
User Interfaces
2010 | other
Automatic generation of user interfaces from rigorous domain and use case models
2010 | dissertation-thesis
Automatic generation of user interface models and prototypes from domain and use case models
ICSOFT 2009 - 4th International Conference on Software and Data Technologies, Proceedings
2009 | conference-paper
Automatic generation of interactive prototypes for domain model validation
ICSOFT 2008 - Proceedings of the 3rd International Conference on Software and Data Technologies
2008 | conference-paper
Automatic generation of user interfaces from domain and use case models
QUATIC 2007 - 6th International Conference on the Quality of Information and Communications Technology
2007 | conference-paper
Deriving default user interfaces from domain contracts
Novas Perspectivas em Sistemas e Tecnologias de Informacao - Actas da 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2007
2007 | conference-paper
From algebras to objects: Generation and composition
Journal of Universal Computer Science
2005 | journal-article
Fruit and Vegetables Blockchain-Based Traceability Platform
Computers
2024 | journal-article
A Traceability Platform for Monitoring Environmental and Social Sustainability in the Textile and Clothing Value Chain: Towards a Digital Passport for Textiles and Clothing
Sustainability (Switzerland)
2024 | journal-article
An Overview of Blockchain for Industry 5.0: Towards Human-Centric, Sustainable and Resilient Applications
IEEE Access
2024 | journal-article
STVgoDigital: A Digital Product Passport Solution
Communications in Computer and Information Science
2024 | conference-paper
A Traceability Platform for Monitoring Environmental and Social Sustainability in the Textile and Clothing Value Chain: Towards a Digital Passport for T&C
2023 | preprint
Blockchain-Based Applications for Disrupting and Accelerating Innovation in Organizations and Society
2023 | book-chapter
Eco-Gamification Platform to Promote Consumers’ Engagement in the Textile and Clothing Circular Value Chain
Sustainability
2023 | journal-article
A Review on Adopting Blockchain and IoT Technologies for Fostering the Circular Economy in the Electrical and Electronic Equipment Value Chain
Sustainability
2023 | journal-article
Eco-Gamification Platform to Promote Consumers’ Engagement in the Textile and Clothing Circular Value Chain
2023 | preprint
A Review on Adopting Blockchain and IoT Technologies for Fostering CE in the EEE Value Chain
2023 | preprint
Blockchain-based applications for disrupting and accelerating innovation in organizations and society
Supporting Technologies and the Impact of Blockchain on Organizations and Society
2023 | book-chapter
Digital solutions for engaging end-consumers in the circular economy of the textile and clothing value chain - A systematic review
Cleaner and Responsible Consumption
2023 | journal-article
Forecasting Short-Term Indoor Radon: A Machine Learning Approach Using LSTM Networks
Iberian Conference on Information Systems and Technologies, CISTI
2023 | conference-paper
Hybrid Building Occupancy Estimation using Thermal Imaging and Environmental Sensing
Proceedings of the IEEE International Conference on Industrial Technology
2023 | conference-paper
Towards a Blockchain-based Traceability Platform for the Fruit and Vegetables Value Chain
Iberian Conference on Information Systems and Technologies, CISTI
2023 | conference-paper
IoT and Blockchain Technologies for Process Traceability in the Shipbuilding Industry
Iberian Conference on Information Systems and Technologies, CISTI
2022 | conference-paper
Smart Contract and Web DApp for Traceability in the Olive Oil Production chain
Iberian Conference on Information Systems and Technologies, CISTI
2022 | conference-paper
Towards circular economy in the textiles and clothing value chain through blockchain technology and IoT: A review
Waste Management and Research
2022 | journal-article
Tracing Sustainability Indicators in the Textile and Clothing Value Chain using Blockchain Technology
Iberian Conference on Information Systems and Technologies, CISTI
2022 | conference-paper
A Blockchain-based platform for reliably tracing political contacts,Plataforma baseada na Blockchain para Rastreamento de Contactos Políticos de forma Confiável
Iberian Conference on Information Systems and Technologies, CISTI
2021 | conference-paper
Nice Payer-A software platform for registering Debtors with Past Due Debts,Nice Payer-Plataforma de Software Para Registo de Devedores com Dívidas Vencidas
Iberian Conference on Information Systems and Technologies, CISTI
2021 | conference-paper
Towards a smart & sustainable campus: An application-oriented architecture to streamline digitization and strengthen sustainability in academia
Sustainability (Switzerland)
2021 | journal-article
Traceability system for quality monitoring in the fishery and aquaculture value chain
Journal of Agriculture and Food Research
2021 | journal-article
Using Blockchain to Trace PDO/PGI/TSG Products
International Conference on Enterprise Information Systems, ICEIS - Proceedings
2021 | conference-paper
Artificial Intelligence Applied to Software Testing: A Literature Review
Iberian Conference on Information Systems and Technologies, CISTI
2020 | conference-paper
Blockchain-based traceability of carbon footprint: A solidity smart contract for ethereum
ICEIS 2020 - Proceedings of the 22nd International Conference on Enterprise Information Systems
2020 | conference-paper
Blockchain-based traceability platforms as a tool for sustainability
ICEIS 2020 - Proceedings of the 22nd International Conference on Enterprise Information Systems
2020 | conference-paper
Design Science Research for IS/IT Projects: Focus on Digital Transformation
Iberian Conference on Information Systems and Technologies, CISTI
2020 | conference-paper
EA in the Digital Transformation of Higher Education Institutions
Iberian Conference on Information Systems and Technologies, CISTI
2020 | conference-paper
Time2Play - Multi-sided platform for sports facilities: A disruptive digital platform
ICEIS 2020 - Proceedings of the 22nd International Conference on Enterprise Information Systems
2020 | conference-paper
User Experience in Kiosk Application for Traceability of Fishery Products
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020 | conference-paper
Using blockchain to implement traceability on fishery value chain
ICSOFT 2020 - Proceedings of the 15th International Conference on Software Technologies
2020 | conference-paper
Zeroconf Network Retail Kiosk for Fish Products Traceability
Iberian Conference on Information Systems and Technologies, CISTI
2020 | conference-paper
A food value chain integrated business process and domain models for product traceability and quality monitoring: Pattern models for food traceability platforms
ICEIS 2019 - Proceedings of the 21st International Conference on Enterprise Information Systems
2019 | conference-paper
Analysis of a traceability and quality monitoring platform for the fishery and aquaculture value Chain
Iberian Conference on Information Systems and Technologies, CISTI
2019 | conference-paper
Deriving integrated software design models from BPMN business process models
ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies
2019 | conference-paper
Enterprise architecture as a tool for digital transformation
Atas da Conferencia da Associacao Portuguesa de Sistemas de Informacao
2019 | conference-paper
New Perspectives on Information Systems Modeling and Design
{IGI
2019 | edited-book
On the design of a platform for traceability in the fishery and aquaculture value chain
Iberian Conference on Information Systems and Technologies, CISTI
2019 | conference-paper
RnMonitor: A WebGIS-based platform for expedite in situ deployment of IoT edge devices and effective Radon Risk Management
5th IEEE International Smart Cities Conference, ISC2 2019
2019 | conference-paper
On the design of a Human-in-The-Loop Cyber-Physical System for online monitoring and active mitigation of indoor Radon gas concentration
2018 IEEE International Smart Cities Conference, ISC2 2018
2018 | conference-paper
International Journal of Information System Modeling and Design (IJISMD) Volume 8, Issue 1, January - March 2017
International Journal of Information System Modeling and Design (IJISMD)
2017 | journal-issue
SPMDSL language model: Onto a DSL for agile use case driven software project's management
ICEIS 2017 - Proceedings of the 19th International Conference on Enterprise Information Systems
2017 | conference-paper
Cloud and mobile: A future together
Modern Software Engineering Methodologies for Mobile and Cloud Environments
2016 | book-chapter
Model-driven development of data-centered mobile applications: A case study for android
Modern Software Engineering Methodologies for Mobile and Cloud Environments
2016 | book
Modern software engineering methodologies for mobile and cloud environments
Modern Software Engineering Methodologies for Mobile and Cloud Environments
2016 | book
Preface
Modern Software Engineering Methodologies for Mobile and Cloud Environments
2016 | book
Use case and user interface patterns for data oriented applications
Communications in Computer and Information Science
2015 | conference-paper
A pattern language for use case modeling
MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
2014 | conference-paper
Refining use cases through temporal relations
ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends
2014 | conference-paper
An architectural model for customizing the business logic of SaaS applications
ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies
2013 | conference-paper
Migration to Windows Azure - Analysis and Comparison
4th Conference of Enterprise Information Systems - Aligning Technology, Organizations and People (Centeris 2012)
2012 | journal-article
A metamodel-based approach for automatic user interface generation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | conference-paper
Automatic Generation of User Interface Models and Prototypes from Domain and Use Case Models
User Interfaces
2010 | other
Automatic generation of user interfaces from rigorous domain and use case models
2010 | dissertation-thesis
Automatic generation of user interface models and prototypes from domain and use case models
ICSOFT 2009 - 4th International Conference on Software and Data Technologies, Proceedings
2009 | conference-paper
Automatic generation of interactive prototypes for domain model validation
ICSOFT 2008 - Proceedings of the 3rd International Conference on Software and Data Technologies
2008 | conference-paper
Automatic generation of user interfaces from domain and use case models
QUATIC 2007 - 6th International Conference on the Quality of Information and Communications Technology
2007 | conference-paper
Deriving default user interfaces from domain contracts
Novas Perspectivas em Sistemas e Tecnologias de Informacao - Actas da 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2007
2007 | conference-paper
From algebras to objects: Generation and composition
Journal of Universal Computer Science
2005 | journal-article