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 ;
SOURCE: 15th IEEE International Conference on Industrial Informatics (INDIN) in 2017 IEEE 15TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PUBLISHED: 2017
INDEXED IN: Scopus WOS CrossRef
2
TITLE: Ambiguities in IEC 61131-3 ST and IL Expression Semantics
AUTHORS: Mario de Sousa ;
SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PUBLISHED: 2015
INDEXED IN: Scopus WOS CrossRef
3
TITLE: Exploiting Voting Strategies in Partially Replicated IEC 61499 Applications
AUTHORS: Mario de Sousa ; Christos Chrysoulas; Aydin E Homay;
SOURCE: IEEE World Conference on Factory Communication Systems (WFCS) in 2015 IEEE WORLD CONFERENCE ON FACTORY COMMUNICATION SYSTEMS (WFCS), VOLUME: 2015-July, PUBLISHED: 2015
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;
SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PUBLISHED: 2015
INDEXED IN: Scopus WOS CrossRef
5
TITLE: Guaranteeing replica determinism on IEC 61499
AUTHORS: De Sousa, M ;
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, PUBLISHED: 2014
INDEXED IN: Scopus CrossRef
6
TITLE: Towards certifiable adaptive reservations for hypervisor-based virtualization
AUTHORS: Groesbrink, S; Almeida, L; De Sousa, M ; Petters, SM;
SOURCE: 2014 20th IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2014 in Real-Time Technology and Applications - Proceedings, VOLUME: 2014-October, ISSUE: October, PUBLISHED: 2014
INDEXED IN: Scopus CrossRef
7
TITLE: On adding IEC61131-3 support to ROS based robots
AUTHORS: De Sousa, M ; Sobreira, H ;
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, PUBLISHED: 2013
INDEXED IN: Scopus CrossRef
8
TITLE: On analyzing the semantics of IEC61131 -3 ST and IL applications
AUTHORS: de Sousa, M ;
SOURCE: Lecture Notes in Mechanical Engineering, VOLUME: 7, PUBLISHED: 2013
INDEXED IN: Scopus CrossRef
9
TITLE: Data-type checking of IEC61131-3 ST and IL applications
AUTHORS: De Sousa, M ;
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, PUBLISHED: 2012
INDEXED IN: Scopus CrossRef
IN MY: ORCID
10
TITLE: Data-Type Checking of IEC61131-3 ST and IL Applications
AUTHORS: Mario de Souza ;
SOURCE: 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), PUBLISHED: 2012
INDEXED IN: WOS
Page 1 of 3. Total results: 24.