Mário de Sousa

Orcid: 0000-0002-3009-3290

According to our database1, Mário de Sousa authored at least 35 papers between 1999 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Impact of Modularization and Coupling on the Complexity of Industrial Control and Automation Systems.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

Coupling and Decoupling in IEC 61499 and IEC 61131-3 Applications.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021
A security and authentication layer for SCADA/DCS applications.
Microprocess. Microsystems, November, 2021

2020
Service Granularity in Industrial Automation and Control Systems.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

IEC 61131-3 Front-End for the LLVM Compiler Family.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019
Authentication Layer for IEC 61113-3 Applications.
Proceedings of the 10th IFIP International Conference on New Technologies, 2019

Granularity Cost Analysis for Function Block as a Service.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

A Survey: Microservices Architecture in Advanced Manufacturing Systems.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

The Beremiz PLC: Adding Support for Industrial Communication Protocols.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2018
An IEC 61499 Replication for Distributed Control Applications.
Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Replication Strategies for Distributed IEC 61499 Applications.
Proceedings of the IECON 2018, 2018

2017
Multi-agent Based Uncoordinated Channel Hopping in the IEEE 802.15.4e.
Proceedings of the Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection, 2017

Algorithm and tool for LD to SFC conversion with state-space method.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Nash equilibrium for proactive anti-jamming in IEEE 802.15.4e (Emerging wireless sensor actuator technologies for I4.0).
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

2016
Internal inconsistencies in the third edition of the IEC 61131-3 international standard.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Multi-cast authentication framework for distributed control systems based on IEC 61499.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015
Tolerating partial failures on IEC 61499 applications.
SIGBED Rev., 2015

Exploiting voting strategies in partially replicated IEC 61499 applications.
Proceedings of the IEEE World Conference on Factory Communication Systems, 2015

Multiply and conquer: A replication framework for building fault tolerant industrial applications.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Ambiguities in IEC 61131-3 ST and IL expression semantics.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

2014
Towards certifiable adaptive reservations for hypervisor-based virtualization.
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Guaranteeing replica determinism on IEC 61499.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
Fair bandwidth sharing among virtual machines in a multi-criticality scope.
SIGBED Rev., 2013

On adding IEC61131-3 support to ROS based robots.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012
Data-type checking of IEC61131-3 ST and IL applications.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2010
Proposed corrections to the IEC 61131-3 standard.
Comput. Stand. Interfaces, 2010

Analyzing the compatibility between ISA 88 and IEC 61499.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Replication in distributed systems using IEC 61499 standard.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

A middleware to support dynamic reconfiguration of real-time networks.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2008
Restricting IEC 61131-3 programming languages for use on high integrity applications.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Framework for management of replicated IEC 61499 applications.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2005
Programming with the IEC 61131-3 Languages and the MatPLC.
Proceedings of the Industrial Information Technology Handbook, 2005

2003
An IEC 61131-3 compiler for the MatPLC.
Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2000
Mapping Synchronisation Protocols onto RT CORBA.
Proceedings of the International Symposium on Distributed Objects and Applications, 2000

1999
Synchronisation Issues of RT CORBA Threads.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999


  Loading...