Mário Jorge Rodrigues de Sousa


AuthID: R-000-CXB

Publicações Confirmadas: 24



1
TÍTULO: Nash equilibrium for Proactive Anti-jamming in IEEE 802.15.4e (Emerging wireless sensor actuator technologies for 14.0)
AUTORES: Aydin Homay; Mario de Sousa ; Luis Almeida ;
PUBLICAÇÃO: 2017, FONTE: 15th IEEE International Conference on Industrial Informatics (INDIN) in 2017 IEEE 15TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
2
TÍTULO: Ambiguities in IEC 61131-3 ST and IL Expression Semantics
AUTORES: Mario de Sousa ;
PUBLICAÇÃO: 2015, FONTE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID
3
TÍTULO: Exploiting Voting Strategies in Partially Replicated IEC 61499 Applications
AUTORES: Mario de Sousa ; Christos Chrysoulas; Aydin E Homay;
PUBLICAÇÃO: 2015, FONTE: IEEE World Conference on Factory Communication Systems (WFCS) in 2015 IEEE WORLD CONFERENCE ON FACTORY COMMUNICATION SYSTEMS (WFCS), VOLUME: 2015-July
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
4
TÍTULO: Multiply and Conquer: A Replication Framework for Building Fault Tolerant Industrial Applications
AUTORES: Mario de Sousa ; Christos Chrysoulas; Aydin E Homay;
PUBLICAÇÃO: 2015, FONTE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID
5
TÍTULO: Guaranteeing replica determinism on IEC 61499
AUTORES: De Sousa, M ;
PUBLICAÇÃO: 2014, FONTE: 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014 in 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014
INDEXADO EM: Scopus CrossRef: 6
NO MEU: ORCID
6
TÍTULO: Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization
AUTORES: Groesbrink, Stefan; Almeida, Luis ; de Sousa, Mario ; Petters, Stefan M.;
PUBLICAÇÃO: 2014, FONTE: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) as part of the Cyber-Physical Systems Week in 2014 IEEE 20TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS), VOLUME: 2014-October, NÚMERO: October
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID
7
TÍTULO: On adding IEC61131-3 support to ROS based robots
AUTORES: De Sousa, M ; Sobreira, H ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 18th International Conference on Emerging Technologies and Factory Automation, ETFA 2013 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
INDEXADO EM: Scopus CrossRef: 2 Handle
NO MEU: ORCID
8
TÍTULO: On analyzing the semantics of IEC61131 -3 ST and IL applications
AUTORES: de Sousa, M ;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Mechanical Engineering, VOLUME: 7
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
9
TÍTULO: Data-type checking of IEC61131-3 ST and IL applications
AUTORES: De Sousa, M ;
PUBLICAÇÃO: 2012, FONTE: 2012 IEEE 17th International Conference on Emerging Technologies and Factory Automation, ETFA 2012 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
INDEXADO EM: Scopus CrossRef: 8
NO MEU: ORCID
10
TÍTULO: Data-Type Checking of IEC61131-3 ST and IL Applications
AUTORES: Mario de Souza ;
PUBLICAÇÃO: 2012, FONTE: 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA)
INDEXADO EM: WOS
Página 1 de 3. Total de resultados: 24.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service