Simulation and formal verification of real time systems: A case study. - Eurico Seabra; José Machado 002; Jaime Ferreira da Silva; Filomena O. Soares; Celina P. Leão (ICINCO-SPSMC, 2007)

Real-time Systems Safety Control Considering Human Machine Interface. - José Machado 002; Eurico Seabra (ICINCO-SPSMC, 2008)

Telemedicine as a Tool for Europe-Africa Cooperation: A Practical Experience. - Manuel Dinis; Fernando Santiago; Luís Ferreira da Silva; Ricardo Ferreira; José Machado 002; Eduardo Castela (AFRICOM, 2009)

The FINS Protocol for Complex Industrial Applicattions - A Case Study. - Júlio Costa; Nuno Carvalho; Filomena O. Soares; José Machado 002 (ICINCO-RA, 2009)

Safe Controllers Design for Hibrid Plants - The Emergency Stop. - Eurico Seabra; José Machado 002 (ICINCO-SPSMC, 2009)

Teaching Kinematics and Dynamics of Multibody Mechanical System Using the Object Oriented Language Modelica. - Eurico Augusto Rodrigues Seabra; José Mendes Machado (Int. J. Online Eng., 2009)

Using Modelica Modelling Language for Physical Plant Parameters Evaluation and Optimization - A Case Study. - Eurico Seabra; José Machado 002 (ICINCO (1), 2010)

Biomedical device for spasticity quantification based on the velocity dependence of the Stretch Reflex threshold. - João Ferreira; José Machado 002; Vitor Moreira; Filomena O. Soares (ETFA, 2011)

Modeling and Simulation of IEC 61850 Requirements Applied to an Automated People Mover's Controller. - Guilherme Kunz; José Machado 002; Eduardo André Perondi (ICINCO (2), 2011)

Safe controllers design for industrial automation systems. - José Machado 002; Eurico Seabra; José Creissac Campos; Filomena O. Soares; Celina P. Leão (Comput. Ind. Eng., 2011)

Design and Development of an Industrial Network Laboratory. - Celina P. Leão; Filomena O. Soares; José Machado 002; Eurico Seabra; Helena Rodrigues 001 (Int. J. Emerg. Technol. Learn., 2011)

Design of a mechatronic system for human blood typing in emergency situations. - Vania Moreira; Ana Ferraz; Vítor H. Carvalho; Filomena O. Soares; José Machado 002 (ETFA, 2012)

Web-Assisted Laboratory for Control Education: Remote and Virtual Environments. - Celina P. Leão; Filomena O. Soares; Helena Rodrigues 001; Eurico Seabra; José Machado 002; Pedro Farinha; Sandra Costas (ImViReLL, 2012)

A systematized approach for obtaining a dependable structured specification for an industrial automation system. - José Machado 002; Eurico Seabra (INDIN, 2012)

Evaluation of the mechanical system to produce file cutting edges in a industrial machine: Theoretical and experimental approaches. - Eurico Seabra; José Machado 002; Luís Ferreira da Silva (INDIN, 2012)

A multidisciplinary experience in Remote Physiological Systems laboratory. - Carla Barros; Celina Pinto Leão; Filomena O. Soares; Graça Minas; José Machado 002 (EDUCON, 2013)

Remote physiological data acquisition: From the human body to electromechanical simulators. - Carla Barros; Celina Pinto Leão; Filomena O. Soares; Graça Minas; Catarina Meireles; Diogo Lemos; José Machado 002 (exp.at, 2013)

HiL simulation workbench for testing and validating PLC programs. - José Machado 002; Eurico Seabra (INDIN, 2013)

Mechatronic medical device for wrist rehabilitation. - Eurico Seabra; Luís Ferreira da Silva; Paulo Flores 002; José Machado 002; Mai Hung Vu; Maria M. Martins; Ricardo Campos 002 (INDIN, 2013)

RePhyS: A Multidisciplinary Experience in Remote Physiological Systems Laboratory. - Carla Barros; Celina Pinto Leão; Filomena O. Soares; Graça Minas; José Machado 002 (Int. J. Online Biomed. Eng., 2013)

E-health decision support system for differential diagnosis. - Roxana Cucu; Camelia Avram; Adina Astilean; Ionut-Gabriel Farcas; José Machado 002 (AQTR, 2014)

Cloud-based framework for advanced maintenance tasks. - R. J. Ferreira; José Machado 002; Harry Thomas Rose (INDIN, 2015)

The Conceptual Design of a Mechatronic System to Handle Bedridden Elderly Individuals. - Bruno Silva; José Machado 002; Filomena O. Soares; Vítor H. Carvalho; Demétrio Matos; Karolina Bezerra (Sensors, 2016)

Optimized punches geometry for paper punching systems: An industrial approach. - Luis Figueiredo; João Sousa; José Machado 002; João Pedro Mendonça 001 (CoDIT, 2017)

Methods time measurement on the optimization of a productive process: A case study. - Marcos Roberto; Adriana Araujo; Maria Leonilde Varela; José Machado 002; João Pedro Mendonça 001 (CoDIT, 2017)

E-ducAtion: Multidisciplinary platform to support the teaching/learning process in Portuguese 1st cycle schools. - Luis Dias; Filomena O. Soares; Vítor H. Carvalho; José Machado 002 (EDUCON, 2017)

Smartbath: Water temperature control system. - Karolina Bezerra; Lidia González; José Machado 002; Vítor H. Carvalho; Filomena O. Soares; Demétrio Matos (ICE/ITMC, 2017)

Design, implementation and preliminary tests of E-ducation platform. - Luis Dias; Filomena O. Soares; Vítor H. Carvalho; José Machado 002; Celina P. Leão (ICE/ITMC, 2017)

Acoustic simulation of a steering sensor for geometric design optimization. - Luis Figueiredo; Marco Dourado; Seyyed M. M. Sabet; Antonio Pereira; José Machado 002; Irene Brito; Francisco Pinto (ICE/ITMC, 2017)

Rocker outsole shoes and margin of stability during walking: A preliminary study. - Banafshe Ghomian; Sina Mehdizadeh; Rokhsareh Aghili; Roozbeh Naemi; Hassan Jafari; José Machado 002; Luís F. Silva; Pedro Lobarinhas; Hassan Saeedi (ICE/ITMC, 2017)

Brain computer interface systems using non-invasive electroencephalogram signal: A literature review. - Sunil Kalagi; José Machado 002; Vítor H. Carvalho; Filomena O. Soares; Demétrio Matos (ICE/ITMC, 2017)

Innovative coupling system for industrial vehicles: An AGV oriented approach and development a new coupling system for improving trailer trajectory accuracy of AGV vehicles. - Davide Pereira; José Machado 002; João Pedro Mendonça 001 (ICE/ITMC, 2017)

Job shop schedules analysis in the context of industry 4.0. - R. A. Sousa; Maria Leonilde R. Varela; Cláudio Alves; José Machado 002 (ICE/ITMC, 2017)

Cycle Time Reduction in Deck Roller Assembly Production Unit with Value Stream Mapping Analysis. - Chaitanya Gangala; Mishank Modi; Vijaya Kumar Manupati; Maria Leonilde Rocha Varela; José Machado 002; Justyna Trojanowska (WorldCIST (3), 2017)

The Tool Supporting Decision Making Process in Area of Job-Shop Scheduling. - Justyna Trojanowska; Maria Leonilde Rocha Varela; José Machado 002 (WorldCIST (3), 2017)

Blood type classification using computer vision and machine learning. - Ana Ferraz; José Henrique Brito; Vítor H. Carvalho; José Machado 002 (Neural Comput. Appl., 2017)

Using timed automata for modeling, simulating and verifying networked systems controller's specifications. - Guilherme Kunz; José Machado 002; Eduardo André Perondi (Neural Comput. Appl., 2017)

Bath-Ambience - A Mechatronic System for Assisting the Caregivers of Bedridden People. - Karolina Bezerra; José Machado 002; Vítor H. Carvalho; Marcelo Castro; Pedro Costa; Demétrio Matos; Filomena O. Soares (Sensors, 2017)

Sensors and Actuators on Determining Parameters for Being Considered in Selection of Elastomers for Biomimetic Hands. - Vlad Cârlescu; Dumitru N. Olaru; Gheorghe Prisacaru; Cezar Oprisan; José Machado 002 (Sensors, 2017)

A Formal Methodology for Accomplishing IEC 61850 Real-Time Communication Requirements. - Guilherme Kunz; José Machado 002; Eduardo André Perondi; Valeriy Vyatkin (IEEE Trans. Ind. Electron., 2017)

Modelling and Simulation of a Straight Line Motion Mechanism for Industrial Application. - João Sousa; Joel Galvao; José Machado 002; João Pedro Mendonça 001; Toni Machado; Pedro Silva (CoDIT, 2018)

Production Flow Improvement in a Textile Industry. - Jose J. Lopes; Maria Leonilde R. Varela; Justyna Trojanowska; José Machado 002 (ICITS, 2018)

A Text Mining Based Supervised Learning Algorithm for Classification of Manufacturing Suppliers. - Vijaya Kumar Manupati; M. D. Akhtar; Maria Leonilde R. Varela; Goran D. Putnik; Justyna Trojanowska; José Machado 002 (WorldCIST (3), 2018)

Automatic Assist in Estimating the Production Capacity of Final Machining for Cast Iron Machine Parts. - Robert Sika; Michal Rogalewicz; Justyna Trojanowska; Lukasz Gmyrek; Przemyslaw Rauchut; Tomasz Kasprzyk; Maria Leonilde R. Varela; José Machado 002 (WorldCIST (3), 2018)

Wireless Terahertz System Architectures for Networks Beyond 5G. - Alexandros-Apostolos A. Boulogeorgos; Angeliki Alexiou; Dimitrios Kritharidis; Alexandros Katsiotis; Georgia D. Ntouni; Joonas Kokkoniemi; Janne J. Lehtomäki; Markku J. Juntti; Dessy Yankova; Ahmed Mokhtar; Jean-Charles Point; José Machado 002; et al. (CoRR, 2018)

Collaborative framework for virtual organisation synthesis based on a dynamic multi-criteria decision model. - António Arrais-Castro; Maria Leonilde R. Varela; Goran D. Putnik; Rita A. Ribeiro; José Machado 002; Luís Ferreira 001 (Int. J. Comput. Integr. Manuf., 2018)

Modeling of Dynamic Behavior of AGV systems. - João Veiga; João Sousa; José Machado 002; João Pedro Mendonça 001; Toni Machado; Pedro Silva (CoDIT, 2019)

Ethernet Transmission over a 100 Gb/s Real-Time Terahertz Wireless Link. - Carlos Castro; Robert Elschner; José Machado 002; Thomas Merkle; Colja Schubert; Ronald Freund (GLOBECOM Workshops, 2019)

Simulation of Vertical and Horizontal Integration of Cyber-Physical Systems. - Victor Lukoki; Leonilde Varela; José Machado 002 (CoDIT, 2020)

Literature review on autonomous production control methods. - Luís Miguel Martins; Maria Leonilde Rocha Varela; Nuno O. Fernandes; Silvio Carmo-Silva; José Machado 002 (Enterp. Inf. Syst., 2020)

Application of artificial neural networks to predict mechanical behaviour of cork-rubber composites. - Helena Lopes; Susana P. Silva; José Machado 002 (Neural Comput. Appl., 2021)

Integrated process planning and scheduling in networked manufacturing systems for I4.0: a review and framework proposal. - Maria Leonilde R. Varela; Goran D. Putnik; Vijaya Kumar Manupati; Gadhamsetty Rajyalakshmi; Justyna Trojanowska; José Machado 002 (Wirel. Networks, 2021)

An innovative approach for resource sharing and scheduling in a sustainable distributed manufacturing system. - Veera Babu Ramakurthi; Vijaya Kumar Manupati; José Machado 002; Leonilde Rocha Varela; Erukala Suresh Babu (Adv. Eng. Informatics, 2022)

A generic interface and a framework designed for industrial metrology integration for the Internet of Things. - João Sousa; João Pedro Mendonça 001; José Machado 002 (Comput. Ind., 2022)

Solving the problem of scheduling the production process based on heuristic algorithms. - Dagmara Lapczynska; Konrad Lapczynski; Anna Burduk; José Machado 002 (J. Univers. Comput. Sci., 2022)

Development of an Innovative Mechatronic Binder Machine. - João Sousa; Luis Figueiredo; Carlos Ventura; João Pedro Mendonça 001; José Machado 002 (Sensors, 2022)

A Novel Route to Optimize Placement Equipment Kinematics by Coupling Capacitive Accelerometers. - João Veiga; Susana Lima; Luís Silva; Vitor Hugo Pimenta Carneiro; Mário Pinhão; Arminda Manuela Gonçalves; Maria Teresa Malheiro; Álvaro Miguel Sampaio; José Meireles; António J. Pontes; José Machado 002 (Sensors, 2022)

Temperature Control Laboratory (TCLab): Demonstration of Use in Portugal. - Paulo Moura Oliveira; Alberto Cardoso; Filomena O. Soares; José Machado 002; João Sá; Helena Lopes; Vinícius Silva (exp.at, 2023)

Using Object Detection Technology to Identify Defects in Clothing for Blind People. - Daniel Rocha; Leandro Pinto; José Machado 002; Filomena O. Soares; Vítor H. Carvalho (Sensors, 2023)

Integration of Artificial Vision and Image Processing into a Pick and Place Collaborative Robotic System. - Adriano A. Santos; Cas Schreurs; António Ferreira Da Silva; Filipe Pereira; Manuel C. Felgueiras; António M. Lopes 001; José Machado 002 (J. Intell. Robotic Syst., 2024)