| 2025 | ETFA | Converting IEC 61131-3 LD into SFC Using Large Language Model: Dataset and Testing. | Yimin Zhang, Mrio de Sousa |
| 2025 | ICSA | Axiomatic Software Architecture. | Aydin E. Homay, Mrio de Sousa |
| 2024 | INDIN | Chaotic Pendulum in Industrial Control and Automation Software. | Aydin E. Homay, Mrio de Sousa, Martin Wollschlaeger |
| 2024 | INDIN | Application of Granularity Patterns in Industrial Automation Software. | Aydin E. Homay, Martin Wollschlaeger, Mrio de Sousa |
| 2024 | INDIN | Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs. | Yimin Zhang, Mrio de Sousa |
| 2022 | ETFA | Coupling and Decoupling in IEC 61499 and IEC 61131-3 Applications. | Aydin E. Homay, Mrio de Sousa, Alois Zoitl, Martin Wollschlaeger |
| 2022 | ETFA | Impact of Modularization and Coupling on the Complexity of Industrial Control and Automation Systems. | Aydin E. Homay, Martin Wollschlaeger, Mrio de Sousa, Alois Zoitl |
| 2020 | ETFA | IEC 61131-3 Front-End for the LLVM Compiler Family. | Tiago Catalo, Mrio de Sousa |
| 2020 | ETFA | Service Granularity in Industrial Automation and Control Systems. | Aydin E. Homay, Mrio de Sousa, Alois Zoitl, Martin Wollschlaeger |
| 2019 | ETFA | The Beremiz PLC: Adding Support for Industrial Communication Protocols. | Mrio de Sousa |
| 2019 | INDIN | A Survey: Microservices Architecture in Advanced Manufacturing Systems. | Aydin E. Homay, Alois Zoitl, Mrio de Sousa, Martin Wollschlaeger |
| 2019 | INDIN | Granularity Cost Analysis for Function Block as a Service. | Aydin E. Homay, Alois Zoitl, Mrio de Sousa, Martin Wollschlaeger, Christos Chrysoulas |
| 2018 | INDIN | An IEC 61499 Replication for Distributed Control Applications. | Adriano A. Santos, Antonio F. Silva, Mrio de Sousa, Pessoa Magalhaes |
| 2018 | IECON | Replication Strategies for Distributed IEC 61499 Applications. | Adriano A. Santos, Mrio de Sousa |
| 2017 | INDIN | Nash equilibrium for proactive anti-jamming in IEEE 802.15.4e (Emerging wireless sensor actuator technologies for I4.0). | Aydin E. Homay, Mrio de Sousa, Lus Almeida |
| 2017 | INDIN | Algorithm and tool for LD to SFC conversion with state-space method. | Vitor Lopes, Mrio de Sousa |
| 2017 | PAAMS | Multi-agent Based Uncoordinated Channel Hopping in the IEEE 802.15.4e. | Aydin E. Homay, Mrio de Sousa, Lus Almeida, Antnio Martins, Eugnio Oliveira |
| 2016 | ETFA | Multi-cast authentication framework for distributed control systems based on IEC 61499. | Aydin E. Homay, Mrio de Sousa |
| 2016 | ETFA | Internal inconsistencies in the third edition of the IEC 61131-3 international standard. | Bruno Goncalves Silva, Mrio de Sousa |
| 2015 | INDIN | Ambiguities in IEC 61131-3 ST and IL expression semantics. | Mrio de Sousa |
| 2015 | INDIN | Multiply and conquer: A replication framework for building fault tolerant industrial applications. | Mrio de Sousa, Christos Chrysoulas, Aydin E. Homay |
| 2015 | WFCS | Exploiting voting strategies in partially replicated IEC 61499 applications. | Mrio de Sousa, Christos Chrysoulas, Aydin E. Homay |
| 2014 | ETFA | Guaranteeing replica determinism on IEC 61499. | Mrio de Sousa |
| 2014 | RTAS | Towards certifiable adaptive reservations for hypervisor-based virtualization. | Stefan Groesbrink, Lus Almeida, Mrio de Sousa, Stefan M. Petters |
| 2013 | ETFA | On adding IEC61131-3 support to ROS based robots. | Mrio de Sousa, Hber M. Sobreira |
| 2012 | ETFA | Data-type checking of IEC61131-3 ST and IL applications. | Mrio de Sousa |
| 2010 | ETFA | A middleware to support dynamic reconfiguration of real-time networks. | Ricardo Marau, Lus Almeida, Mrio de Sousa, Paulo Pedreiras |
| 2010 | ETFA | Replication in distributed systems using IEC 61499 standard. | Adriano A. Santos, Mrio de Sousa |
| 2010 | ETFA | Analyzing the compatibility between ISA 88 and IEC 61499. | Mrio de Sousa |
| 2008 | ETFA | Framework for management of replicated IEC 61499 applications. | Adriano A. Santos, Mrio de Sousa |
| 2008 | ETFA | Restricting IEC 61131-3 programming languages for use on high integrity applications. | Mrio de Sousa |
| 2003 | ETFA | An IEC 61131-3 compiler for the MatPLC. | Mrio de Sousa, Adriano Carvalho |
| 1999 | PDPTA | Synchronisation Issues of RT CORBA Threads. | Mrio de Sousa, Adriano Carvalho |