Mário Jorge Rodrigues de Sousa


AuthID: R-000-CXB

Confirmed Publications: 24



1
TITLE: Nash equilibrium for Proactive Anti-jamming in IEEE 802.15.4e (Emerging wireless sensor actuator technologies for 14.0)
AUTHORS: Aydin Homay; Mario de Sousa ; Luis Almeida ;
PUBLISHED: 2017, SOURCE: 15th IEEE International Conference on Industrial Informatics (INDIN) in 2017 IEEE 15TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS DBLP CrossRef
2
TITLE: Ambiguities in IEC 61131-3 ST and IL Expression Semantics
AUTHORS: Mario de Sousa ;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS CrossRef: 2
3
TITLE: Exploiting Voting Strategies in Partially Replicated IEC 61499 Applications
AUTHORS: Mario de Sousa ; Christos Chrysoulas; Aydin E Homay;
PUBLISHED: 2015, SOURCE: IEEE World Conference on Factory Communication Systems (WFCS) in 2015 IEEE WORLD CONFERENCE ON FACTORY COMMUNICATION SYSTEMS (WFCS), VOLUME: 2015-July
INDEXED IN: Scopus WOS CrossRef
4
TITLE: Multiply and Conquer: A Replication Framework for Building Fault Tolerant Industrial Applications
AUTHORS: Mario de Sousa ; Christos Chrysoulas; Aydin E Homay;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS CrossRef
5
TITLE: Guaranteeing replica determinism on IEC 61499
AUTHORS: De Sousa, M ;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus CrossRef: 4
6
TITLE: Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization
AUTHORS: Groesbrink, Stefan; Almeida, Luis ; de Sousa, Mario ; Petters, Stefan M.;
PUBLISHED: 2014, SOURCE: 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, ISSUE: October
INDEXED IN: Scopus WOS DBLP CrossRef
7
TITLE: On adding IEC61131-3 support to ROS based robots
AUTHORS: De Sousa, M ; Sobreira, H ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 18th International Conference on Emerging Technologies and Factory Automation, ETFA 2013 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
INDEXED IN: Scopus CrossRef
8
TITLE: On analyzing the semantics of IEC61131 -3 ST and IL applications
AUTHORS: de Sousa, M ;
PUBLISHED: 2013, SOURCE: Lecture Notes in Mechanical Engineering, VOLUME: 7
INDEXED IN: Scopus CrossRef
9
TITLE: Data-type checking of IEC61131-3 ST and IL applications
AUTHORS: De Sousa, M ;
PUBLISHED: 2012, SOURCE: 2012 IEEE 17th International Conference on Emerging Technologies and Factory Automation, ETFA 2012 in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
INDEXED IN: Scopus CrossRef: 4
IN MY: ORCID
10
TITLE: Data-Type Checking of IEC61131-3 ST and IL Applications
AUTHORS: Mario de Souza ;
PUBLISHED: 2012, SOURCE: 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA)
INDEXED IN: WOS
Page 1 of 3. Total results: 24.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service