Synchronisation Issues of RT CORBA Threads. - Mário de Sousa; Adriano Carvalho 001 (PDPTA, 1999)

Mapping Synchronisation Protocols onto RT CORBA. - Mário de Sousa; Adriano Carvalho 001 (DOA, 2000)

An IEC 61131-3 compiler for the MatPLC. - Mário de Sousa; Adriano Carvalho 001 (ETFA (1), 2003)

Programming with the IEC 61131-3 Languages and the MatPLC. - Mário de Sousa; Adriano Carvalho 001 (The Industrial Information Technology Handbook, 2005)

Framework for management of replicated IEC 61499 applications. - Adriano A. Santos; Mário de Sousa (ETFA, 2008)

Restricting IEC 61131-3 programming languages for use on high integrity applications. - Mário de Sousa (ETFA, 2008)

A middleware to support dynamic reconfiguration of real-time networks. - Ricardo Marau; Luís Almeida 001; Mário de Sousa; Paulo Pedreiras (ETFA, 2010)

Replication in distributed systems using IEC 61499 standard. - Adriano A. Santos; Mário de Sousa (ETFA, 2010)

Analyzing the compatibility between ISA 88 and IEC 61499. - Mário de Sousa (ETFA, 2010)

Proposed corrections to the IEC 61131-3 standard. - Mário de Sousa (Comput. Stand. Interfaces, 2010)

Data-type checking of IEC61131-3 ST and IL applications. - Mário de Sousa (ETFA, 2012)

On adding IEC61131-3 support to ROS based robots. - Mário de Sousa; Héber M. Sobreira (ETFA, 2013)

Fair bandwidth sharing among virtual machines in a multi-criticality scope. - Stefan Groesbrink; Luís Almeida 001; Mário de Sousa; Stefan M. Petters (SIGBED Rev., 2013)

Guaranteeing replica determinism on IEC 61499. - Mário de Sousa (ETFA, 2014)

Towards certifiable adaptive reservations for hypervisor-based virtualization. - Stefan Groesbrink; Luís Almeida 001; Mário de Sousa; Stefan M. Petters (RTAS, 2014)

Ambiguities in IEC 61131-3 ST and IL expression semantics. - Mário de Sousa (INDIN, 2015)

Multiply and conquer: A replication framework for building fault tolerant industrial applications. - Mário de Sousa; Christos Chrysoulas; Aydin E. Homay (INDIN, 2015)

Exploiting voting strategies in partially replicated IEC 61499 applications. - Mário de Sousa; Christos Chrysoulas; Aydin E. Homay (WFCS, 2015)

Tolerating partial failures on IEC 61499 applications. - Mário de Sousa; Christos Chrysoulas; Aydin E. Homay (SIGBED Rev., 2015)

Multi-cast authentication framework for distributed control systems based on IEC 61499. - Aydin E. Homay; Mário de Sousa (ETFA, 2016)

Internal inconsistencies in the third edition of the IEC 61131-3 international standard. - Bruno Goncalves Silva; Mário de Sousa (ETFA, 2016)

Nash equilibrium for proactive anti-jamming in IEEE 802.15.4e (Emerging wireless sensor actuator technologies for I4.0). - Aydin E. Homay; Mário de Sousa; Luís Almeida 001 (INDIN, 2017)

Algorithm and tool for LD to SFC conversion with state-space method. - Vitor Lopes; Mário de Sousa (INDIN, 2017)

Multi-agent Based Uncoordinated Channel Hopping in the IEEE 802.15.4e. - Aydin E. Homay; Mário de Sousa; Luís Almeida 001; António Martins; Eugénio Oliveira (PAAMS (Special Sessions), 2017)

Replication Strategies for Distributed IEC 61499 Applications. - Adriano A. Santos; Mário de Sousa (IECON, 2018)

An IEC 61499 Replication for Distributed Control Applications. - Adriano A. Santos; Antonio F. Silva; Mário de Sousa; Pessoa Magalhaes (INDIN, 2018)

The Beremiz PLC: Adding Support for Industrial Communication Protocols. - Mário de Sousa (ETFA, 2019)

A Survey: Microservices Architecture in Advanced Manufacturing Systems. - Aydin E. Homay; Alois Zoitl; Mário de Sousa; Martin Wollschlaeger (INDIN, 2019)

Granularity Cost Analysis for Function Block as a Service. - Aydin E. Homay; Alois Zoitl; Mário de Sousa; Martin Wollschlaeger; Christos Chrysoulas (INDIN, 2019)

Authentication Layer for IEC 61113-3 Applications. - Aydin E. Homay; Christos Chrysoulas; Mário de Sousa (NTMS, 2019)

IEC 61131-3 Front-End for the LLVM Compiler Family. - Tiago Catalão; Mário de Sousa (ETFA, 2020)

Service Granularity in Industrial Automation and Control Systems. - Aydin E. Homay; Mário de Sousa; Alois Zoitl; Martin Wollschlaeger (ETFA, 2020)

A security and authentication layer for SCADA/DCS applications. - Aydin E. Homay; Christos Chrysoulas; Brahim El Boudani; Mário de Sousa; Martin Wollschlaeger (Microprocess. Microsystems, 2021)

Coupling and Decoupling in IEC 61499 and IEC 61131-3 Applications. - Aydin E. Homay; Mário de Sousa; Alois Zoitl; Martin Wollschlaeger (ETFA, 2022)

Impact of Modularization and Coupling on the Complexity of Industrial Control and Automation Systems. - Aydin E. Homay; Martin Wollschlaeger; Mário de Sousa; Alois Zoitl (ETFA, 2022)

Implementing and Deploying an ML Pipeline for IoT Intrusion Detection with Node-RED. - Yimin Zhang; Barikisu Asulba; Nuno Schumacher; Mário de Sousa; Pedro F. Souto; Luís Almeida 001; Pedro M. Santos 002; Nuno Martins; Joana Sousa (CPS-IoT Week Workshops, 2023)

Broker-Less OPC UA PubSub Communication Model Performance Analysis. - Aydin E. Homay; Christos Chrysoulas; Tess Watt; Martin Wollschlaeger; Mário de Sousa; Leandros Maglaras (ICT, 2024)

Chaotic Pendulum in Industrial Control and Automation Software. - Aydin E. Homay; Mário de Sousa; Martin Wollschlaeger (INDIN, 2024)

Application of Granularity Patterns in Industrial Automation Software. - Aydin E. Homay; Martin Wollschlaeger; Mário de Sousa (INDIN, 2024)

Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs. - Yimin Zhang; Mário de Sousa (INDIN, 2024)

Axiomatic Software Architecture. - Aydin E. Homay; Mário de Sousa (ICSA Companion, 2025)