José Mendes Machado. Concluiu Engenharia Mecânica - Automação pela Universidade do Minho em 2006. É Professor Auxiliar na Universidade do Minho. Publicou 22 artigos em revistas especializadas e 101 trabalhos em actas de eventos, possui 4 capítulos de livros e 4 livros publicados. Possui 2 produtos registados, 1 software e outros 76 itens de produção técnica. Participou em 78 eventos no estrangeiro e 19 em Portugal. Orientou 1 tese de doutoramento e orientou 21 dissertações de mestrado, alem de ter orientado 1 trabalho de conclusão de curso de bach./licenciatura nas áreas de Engenharia Mecânica e Engenharia Electrotécnica, Electrónica e Informática. Recebeu 3 prémios e/ou homenagens. Entre 2005 e 2008 participou em 2 projectos de investigação, sendo que coordenou 1 destes. Actualmente participa em 3 projectos de investigação. Actua na área de Engenharia e Tecnologia com ênfase em Engenharia Mecânica. Nas suas actividades profissionais interagiu com 114 colaboradores em co-autorias de trabalhos científicos. No seu curriculum DeGóis os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: Grafcet, IEC 61131-3, Automated Manufactuting Systems, Autómatos Programáveis Industriais, Ladder Diagram, Sistemas a Eventos Discretos, Sistemas Automatizados de Produção e Statecharts.
Endereço de acesso a este CV: http://www.degois.pt/visualizador/curriculum.jsp?key=8018641478850138

Nome completo Full name	José Mendes Machado
Nome em citações bibliográficas Quoting name	Machado, José
Categoria profissional Position	Professor Auxiliar
Domínio científico de atuação Scientific domain	Engenharia e Tecnologia-Engenharia Mecânica.

Endereço profissional Professional address

Universidade do Minho Escola de Engenharia Departamento de Engenharia Mecânica Campus de Azurém Azurém 4800-058 Guimarães Portugal Telefone: (+351)253510223Extensão: 510223 Fax: (+351)253516007 Correio electrónico: jmachado@dem.uminho.pt

Sexo Gender

Masculino»Male

2001-2006	Doutoramento Phd
Engenharia Mecânica - Automação. Universidade do Minho, Portugal.

2001-2006	Doutoramento Phd
Electronique, Electrotechnique et Automatique (4 anos » years) . Ecole Normale Supérieure de Cachan, França.

2001	Provas de Aptidão Pedagógica/Capacidade Científica Evaluation of Pedagogic Readiness/Cientific Ability
Engenharia Mecânica - Automação. Universidade do Minho, Portugal.

1990-1995	Licenciatura Licentiate degree
Engenharia Mecânica. Universidade do Minho, Portugal.

Universidade do Minho

Jul/2006-Actual

Professor Auxiliar

Mai/2001-Jun/2006

Assistente

Dez/1997-Mai/2001

Assistente Estagiário

Indústria Metalomecânica do Ave LDA

Jun/1997-Nov/1997

Técnico Superior 1ª Classe

Empresa Técnica de Metalurgia

Jun/1996-Mai/1997

Técnico Superior 1ª Classe

Sarotos Metalúrgicos SA

Out/1995-Mai/1996

Técnico Superior 1ª Classe

MAQUISIS - Máquinas e Sistemas Automáticos SA

Mar/1995-Set/1995

Estagiário

Universidade do Minho

Mai/2001-Jun/2006	Escola de Engenharia

Participação como Investigador responsável Participation as responsible Researcher

2005-2008 SCAPS - Safety Control of Automated Production Systems

Referência do projeto»Project reference: POCTI-EME-61426-2004.

Participação como Investigador Participation as Researcher

2012-2014 RePhys - Remote physiological systems (RePhyS) laboratory-Remote physiological systems (RePhyS) laboratory

Referência do projeto»Project reference: PTDC/CPE-PEC/122329/2010.

2006-2010 REVVIS – Reunião de Especialistas em Verificação e Validação de Software

Referência do projeto»Project reference: REVVIS.

2006-2010 WALC – Assisted Laboratory for Control Engineering on-line Education (WALC-Laboratório Assistido pela Web para o Ensino de Engenharia de Controlo)

Referência do projeto»Project reference: PTDC/ESC/68069/2006.

2007-2008 Aplicações técnicas de não-tecidos agulhados

Referência do projeto»Project reference: C/ Empresa Groz-Beckert.

Compreende Understandig	Português (Bem), Inglês (Bem), Francês (Bem).
Fala Speaking	Português (Bem), Inglês (Bem), Francês (Bem).
Lê Reading	Português (Bem), Inglês (Bem), Francês (Bem).
Escreve Writing	Português (Bem), Inglês (Razoavelmente), Francês (Razoavelmente).

1993	School Merit Award, University of Minho.
1994	School Merit Award, University of Minho.
1995	Award "Universidade do Minho - Best Mechanical Engineering Student", University of Minho.

2010- Actual	IEEE - Institute of Electrical and Electronics Engineers, Membro.
2005- Actual	Associação Portuguesa de Controlo Automático, Membro.
2004- Actual	International Federation of Automatic Control - IFAC, Outros (especifique). Membro.

Livros publicados/organizados ou edições Published/organized books or Editions

1.	Machado, José. 2006. Influence de la prise en compte dun modèle du processus en vérification formelle des Systèmes à Evénements Discrets. ed. 0. Universidade do Minho: Universidade do Minho.

2.	Machado, José. 2006. Influence de la prise en compte dun modèle du processus en vérification formelle des Systèmes à Evénements Discrets. ed. 0. École Normale Supér. de Cachan: École Normale Supér. de Cachan.

3.	Machado, José. 2001. Síntese e implementação do comando de Sistemas Automatizados de Produção utilizando Statecharts e as linguagens IEC 61 131-3. ed. 0. Universidade do Minho: Universidade do Minho.

4.	Machado, José. 2001. Concepção e Realização do Comando Operacional de Sistemas Industriais de Eventos Discretos. ed. 0. Universidade do Minho: Universidade do Minho.

Capítulos de livros publicados Published book chapters

1.	Seabra, Eurico; Machado, Jose. 2012. A Systematized Approach to Obtain Dependable Controller Specifications for Hybrid Plants.  In Automation, ed. Florian Kongoli, 487 - 506. ISBN: 978-953-51-0685-2. Croatia: InTech.

2.	Leão, Celina P; Soares, Filomena; Rodrigues, Helena; Seabra, Eurico; Machado, José; Farinha, Pedro; Costa, Sandra. 2012. Web-Assisted Laboratory for Control Education: Remote and Virtual Environments.  In The Impact of Virtual, Remote, and Real Logistics Labs, ed. Dieter UckelmannBernd Scholz-ReiterIngrid RüggeBonghee HongAntonio Rizzi, 62 - 72. ISBN: 978-3-642-28815-9. Berlin, Heidelberg: Springer Berlin Heidelberg.

3.	Seabra, Eurico; Machado, José; Flores, Paulo. 2009. Design and Development of a Tribometer for Dental Applications.  In Selected Proceedings from the 13th International Congress on Project Engineering, 391 - 400. ISBN: 978–84–614–0185–7. Madrid: AEIPRO - Asociación Española de Ingeniería de Proyectos.

4.	Seabra, Eurico; Machado, José; Flores, Paulo. 2007. Advanced Graphical Tools on Modeling Automation and Control Systems.  In Computational Vision and Medical Image Processing, 386 - 391. ISBN: 978-0-415-45777-4. London: Taylor & Francis.

Artigos em revistas com arbitragem científica Papers in periodics with scientific refereeing

1.	Lobo, Edgar; Fertuzinhos, João; Silva, João P; Machado, José. 2013. "Obtaining Plant Models for Formal Verification Tasks from 3D CAD Models: Which is the Best Approach?", Advanced Materials Research 630, 1: 283 - 290.

2.	F., Joao; Moreira, Vitor; S., Carlos; Soares, Filomena; Machado, José; Leão, Celina P. 2013. "Development, Test and Validation of a Mechatronic Device for Spasticity Quantification", International Journal of Advanced Robotic Systems 10, 0: 259 - 269.

3.	Barros, Carla; Leão, Celina P; Soares, Filomena; Minas, Graça; Machado, José. 2013. "RePhyS: A Multidisciplinary Experience in Remote Physiological Systems Laboratory", International Journal of Online Engineering (iJOE) 9, S5: 21 - 21.

4.	Campos, José C; Machado, Jose. 2013. "A Specification Patterns System for Discrete Event Systems' Analysis", International Journal of Advanced Robotic Systems 10, 1: 1 - 10.

5.	Pereira, Filipe; Carvalho, Victor; Soares, Filomena; Machado, José; Bezerra, Karolina; Matos, Demétrio; Silva, Rui. 2013. "Development of a mechatronic system for bedridden people support", Romanian Review Precision Mechanics, Optics and Mecatronics, 43: 138 - 144.

6.	Leão, Celina P; Soares, Filomena O; Rodrigues, Helena; Seabra, Eurico; Machado, José; Farinha, Pedro; Costa, Sandra. 2012. "Web-Assisted Laboratory for Control Education: Remote and Virtual Environments", Communications in Computer and Information Science Series, 282: 62 - 72.

7.	Kunz, Guilherme; Perondi, Eduardo; Machado, José. 2012. "A Dependable Automated People Mover System Modeled and Verified using Timed Automata: A Case Study", ABCM Symposium Series in Mechatronics, 5: 742 - 750.

8.	Machado, José; Seabra, Eurico. 2012. "Discrete Controllers Analysis using Modelica Modeling Language and Hybrid Plant Behavior Models: a Case Study", ABCM Symposium Series in Mechatronics, 5: 751 - 760.

9.	Seabra, Eurico; Machado, José; Lima, Mário. 2012. "Conceptual Design and Development of an Automated Co-Generation System", The Romanian Review Precision Mechanics, Optics & Mechatronics, 41: 136 - 143.

10.	Bezerra, Karolina; Ferraz, Ana; Carvalho, Victor; Machado, José; Matos, Demétrio; Soares, Filomena O. 2012. "Advanced Design of a Mechatronic System for Human Blood Typing", The Romanian Review Precision Mechanics, Optics & Mechatronics, 41: 144 - 150.

11.	Machado, José; Seabra, Eurico; Campos, José C; Soares, Filomena; Leão, Celina P. 2011. "Safe controllers design for industrial automation systems", Computers & Industrial Engineering 60, 4: 635 - 653.

12.	Leão, Celina P; Soares, Filomena O; Machado, José; Seabra, Eurico; Rodrigues, Helena. 2011. "Design and Development of an Industrial Network Laboratory", International Journal of Emerging Technologies in Learning (iJET) 6, S1: 21 - 26.

13.	Machado, José; Seabra, Eurico. 2011. "Design of an Adapted Standing Frame for Rehabilitation of Children With Mental Deficiency ", The Romanian Review Precision Mechanics, Optics & Mechatronics, 40: 81 - 87.

14.	Chioran, Daniel; Machado, José. 2011. "Design of a Mechatronic System for Application of Hardware-in-the-loop Simulation Technique", The Romanian Review Precision Mechanics, Optics & Mechatronics, 40: 135 - 142.

15.	Borges, Paulo; Machado, José; Seabra, Eurico; Lima, Mário. 2010. "A Formal Approach for Safe Controllers Analysis", The Romanian Review Precision Mechanics, Optics & Mechatronics 20, 37: 7 - 12.

16.	Ferreira, João; Rodrigues, Paulo; Soares, Filomena O; Machado, José. 2010. "An approach for spasticity quantification based on the stretch reflex threshold", The Romanian Review Precision Mechanics, Optics & Mechatronics 20, 37: 51 - 56.

17.	Carvalho, Nuno; Costa, Sandra; Leão, Celina P; Soares, Filomena O; Machado, José; Rodrigues, Helena. 2010. "A Network Configuration for Industrial Systems Control", The Romanian Review Precision Mechanics, Optics & Mechatronics 20, 37: 69 - 76.

18.	Machado, José; Seabra, Eurico. 2010. "A Systematized Approach to Obtain Dependable Controllers Specifications", ABCM Symposium Series in Mechatronics , 4: 408 - 417.

19.	Silva, José R; Poli Jr., M. A; Pereira, Celina S; Machado, José. 2010. "A Holonic Approach to the Integration of Automated Systems", ABCM Symposium Series in Mechatronics, 4: 442 - 450.

20.	Seabra, Eurico; Machado, José M. 2009. "Teaching kinematics and dynamics of multibody mechanical systems using the object oriented language modelica", International Journal of Online Engineering (iJOE) 5, 2: 33 - 38.

21.	Machado, José M; Seabra, Eurico; Campos, José C; Soares, Filomena O; Leão, Celina P. 2008. "Simulation and Formal Verification of Industrial Systems Controllers", Symposium Series in Mechatronics 3, 1: 461 - 470.

22.	Machado, José; Denis, Bruno; Lesage, Jean-Jacques; Faure, Jean-Marc; Silva, Jaime F.. 2004. "Model of Mechanism Behavior for Verification of PLC programs ", ABCM Symposium Series in Mechatronics 1, 1: 550 - 559.

Trabalhos completos/resumidos em eventos com arbitragem científica Papers in conference proceedings with scientific refereeing

1.	Barros, Carla; Leão, Celina P; Soares, Filomena O; Minas, Graça; Machado, José. 2013. "Remote Physiological Systems (RePhyS) Laboratory: a didactic learning environment", Trabalho apresentado em 3rd Portuguese Bioengineering Meeting , In Proceedings of 3rd Portuguese Bioengineering Meeting , Braga.

2.	Ferreira, Joao; Moreira, Vitor; Machado, Jose; Soares, Filomena. 2013. "Improved biomedical device for spasticity quantification", Trabalho apresentado em 2013 IEEE 3rd Portuguese Meeting in Bioengineering (ENBENG), In 2013 IEEE 3rd Portuguese Meeting in Bioengineering (ENBENG), Braga, Portugal.

3.	Barros, Carla; Leao, Celina P; Soares, Filomena; Minas, Graca; Machado, Jose. 2013. "A multidisciplinary experience in Remote Physiological Systems laboratory", Trabalho apresentado em 2013 IEEE Global Engineering Education Conference (EDUCON), In 2013 IEEE Global Engineering Education Conference (EDUCON), Berlin, Germany.

4.	Lobo, Edgar; Fertuzinhos, João; Mendonc¸a, Joa~o P; Machado, Jose. 2013. "Development of controller strategies for a robotized filament winding equipment", Trabalho apresentado em 11TH INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2013: ICNAAM 2013, In 11th International Conference of Numerical Analysis and Applied Mathematics 2013, ICNAAM 2013, Rhodes, Greece.

5.	Avram, Camelia; Machado, Jose; As¸tilean, Adina. 2013. "Modeling and formal analysis of urban road traffic", Trabalho apresentado em 11TH INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2013: ICNAAM 2013, In 11th International Conference of Numerical Analysis and Applied Mathematics 2013, ICNAAM 2013, Rhodes, Greece.

6.	Machado, Jose; Yildirim, Sahin. 2013. "Preface of the "Symposium on dependable mechatronic systems"", Trabalho apresentado em 11TH INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2013: ICNAAM 2013, In 11th International Conference of Numerical Analysis and Applied Mathematics 2013, ICNAAM 2013, Rhodes, Greece.

7.	Lemos, Diogo; Machado, Jose; Minas, Grac¸a; Soares, Filomena; Barros, Carla; Lea~o, Celina P. 2013. "Reintrepreting the cardiovascular system as a mechanical model", Trabalho apresentado em 11TH INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2013: ICNAAM 2013, In 11th International Conference of Numerical Analysis and Applied Mathematics 2013, ICNAAM 2013, Rhodes, Greece.

8.	Miron, Emanuel; Silva, Joa~o P. M. A; Machado, Jose; Olaru, Dumitru; Prisacaru, Gheorghe. 2013. "Using ICT techniques for improving mechatronic systems' dependability", Trabalho apresentado em 11TH INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2013: ICNAAM 2013, In 11th International Conference of Numerical Analysis and Applied Mathematics 2013, ICNAAM 2013, Rhodes, Greece.

9.	Pereira, Filipe; Carvalho, Victor; Soares, Filomena; Machado, José; Bezerra, Karolina; Silva, Rui; Matos, Demétrio. 2013. "Development of a Mechatronic System for Bedridden People Support", Trabalho apresentado em MECAHITECH‘13 - 5th International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, In Proceedings of MECAHITECH‘13 - 5th International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, Bucharest.

10.	Machado, José; Campos, José C. 2013. "Development of Dependable Controllers in the Context of Machines Design", Trabalho apresentado em ICMD’2013 - International Conference of Machine Design Departments, Liberec, Czech Republic, September 10-12, 2013, 2013, In Proceedings of ICMD’2013 - International Conference of Machine Design Departments, Liberec, Czech Republic, September 10-12, 2013, 2013, Liberec.

11.	Barros, Carla; Leão, Celina P; Soares, Filomena; Minas, Graça; Machado, José. 2013. "Issues in remote laboratory developments for biomedical engineering education", Trabalho apresentado em ICL'2013 - International Conference on Interactive Collaborative Learning, In Proceedings of ICL'2013 - International Conference on Interactive Collaborative Learning, Kazan.

12.	Barros, Carla; Leão, Celina P; Soares, Filomena; Minas, Graça; Machado, José. 2013. "Remote Physiogical Data Acquisition: from the human body to electromechanical simulators", Trabalho apresentado em exp.at’13 - 2nd Experiment@ International Conference, In Proceedings of exp.at’13 - 2nd Experiment@ International Conference, Coimbra.

13.	Barros, Carla; Leão, Celina P; Soares, Filomena; Minas, Graça; Machado, José. 2013. "Students’ perspectives on Remote Physiological Signals Acquisition Experiments", Trabalho apresentado em CISPEE 2013 - 1st International Conference of the Portuguese Society for Engineering Education, In Proceedings of CISPEE 2013 - 1st International Conference of the Portuguese Society for Engineering Education, Porto.

14.	Canadas, Nuno; Barros, Carlos; Machado, José; Soares, Filomena. 2013. "A Simulation Platform for Automation Teaching", Trabalho apresentado em CISPEE 2013 - 1st International Conference of the Portuguese Society for Engineering Education, In Proceedings of CISPEE 2013 - 1st International Conference of the Portuguese Society for Engineering Education, Porto.

15.	Seabra, Eurico; Ferreira da S. L; Flores, Paulo; Machado, Jose; Vu, Mai H; Martins, Maria; Campos, Ricardo. 2013. "Mechatronic medical device for wrist rehabilitation", Trabalho apresentado em 2013 IEEE 11th International Conference on Industrial Informatics (INDIN), In 2013 11th IEEE International Conference on Industrial Informatics (INDIN), Bochum, Germany.

16.	Machado, Jose; Seabra, Eurico. 2013. "HiL simulation workbench for testing and validating PLC programs", Trabalho apresentado em 2013 IEEE 11th International Conference on Industrial Informatics (INDIN), In 2013 11th IEEE International Conference on Industrial Informatics (INDIN), Bochum, Germany.

17.	Leão, Celina P; Soares, Filomena O; Rodrigues, Helena; Machado, José; Seabra, Eurico; Farinha, Pedro; Costa, Sandra. 2012. "Web-Assisted Laboratory for Control Education: Remote and Virtual Environments", Trabalho apresentado em ImViReLL'12 - The Impact of Virtual, Remote and Real Logistics Labs, In Proceedings of ImViReLL'12 - The Impact of Virtual, Remote and Real Logistics Labs, Bremen.

18.	Couto, Mafalda; Santos, Cristina; Machado, Jose¿?. 2012. "Design and modelling of a 3D compliant leg for Bioloid", Trabalho apresentado em NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2012: International Conference of Numerical Analysis and Applied Mathematics, In Proceedings of NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2012: International Conference of Numerical Analysis and Applied Mathematics , Kos, Greece.

19.	Moreira, Vânia; Ferraz, Ana; Carvalho, Victor; Soares, Filomena O; Machado, José. 2012. "Design of a Mechatronic System for Human Blood Typing in Emergency Situations", Trabalho apresentado em 17th IEEE International Conference on Emerging Technologies & Factory Automation, In Proceedings of 17th IEEE International Conference on Emerging Technologies & Factory Automation, Kraków.

20.	Machado, Jose; Seabra, Eurico. 2012. "A systematized approach for obtaining a dependable structured specification for an industrial automation system", Trabalho apresentado em 2012 10th IEEE International Conference on Industrial Informatics (INDIN), In IEEE 10th International Conference on Industrial Informatics, Beijing, China.

21.	Seabra, Eurico; Machado, Jose; Silva, Luis F. 2012. "Evaluation of the mechanical system to produce file cutting edges in a industrial machine: Theoretical and experimental approaches", Trabalho apresentado em 2012 10th IEEE International Conference on Industrial Informatics (INDIN), In IEEE 10th International Conference on Industrial Informatics, Beijing, China.

22.	Lobo, Edgar; Fertuzinhos, João; Silva, João P; Machado, José. 2012. "Obtaining Plant Models for Formal Verification Tasks from 3D CAD models: Which is the best Approach?", Trabalho apresentado em 2012 International Conference on Manufacturing , In Proceedings of 2012 International Conference on Manufacturing , Macau.

23.	Bezerra, Karolina; Ferraz, Ana; Carvalho, Victor; Machado, José; Matos, Demétrio; Soares, Filomena O. 2012. "Advanced Design of a Mechatronic System for Human Blood Typing", Trabalho apresentado em MECAHITECH'12 - 4th International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical engineering and New High-Tech Products Development , In Proceedings of MECAHITECH'12 - 4th International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical engineering and New High-Tech Products Development, Bucharest.

24.	Seabra, Eurico; Machado, José. 2012. "Conceptual Design and Development of an Automated Co-Generation System", Trabalho apresentado em MECAHITECH'12 - 4th International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical engineering and New High-Tech Products Development, In Proceedings of MECAHITECH'12 - 4th International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical engineering and New High-Tech Products Development, Bucharest.

25.	Komarec, Jiri; Beran, Jaroslav; Lima, Mário; Machado, José; Silva, João P. 2012. "Finding the Optimal Setting of the Sewing Needle Transfer Mechanism Using Simulation Software", Trabalho apresentado em TRS'2012 - 41st Textile Research Symposium, In Proceedings of TRS'2012 - 41st Textile Research Symposium, Guimarães.

26.	Moreira, Vania; Ferraz, Ana; Carvalho, Vitor; Soares, Filomena; Machado, Jose. 2012. "Design of a mechatronic system for human blood typing in emergency situations", Trabalho apresentado em 2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012), In Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), Krakow, Poland.

27.	Rodrigues, Paulo; Ferreira, João; Soares, Filomena O; Machado, José. 2011. "An Approach for Spasticity Quantification Based on the Stretch Reflex Threshold", Trabalho apresentado em IEEE ICBBT’2011 – 3rd International Conference on Bioinformatics and Biomedical Technology, In Proceedings of the IEEE ICBBT’2011 – 3rd International Conference on Bioinformatics and Biomedical Technology, Sanya.

28.	Machado, José; Campos, José C. 2011. "Partial Plant Models in Formal Verification of Industrial Automation Discrete Systems", Trabalho apresentado em LADC'2011 - Fifth Latin-American Symposium on Dependable Computing, In Actas da LADC'2011 - Fifth Latin-American Symposium on Dependable Computing, São José dos Campos.

29.	Campos, José C; Machado, José. 2011. "Supporting requirements formulation in software formal verification", Trabalho apresentado em LADC'2011 - Fifth Latin-American Symposium on Dependable Computing, In Actas da LADC'2011 - Fifth Latin-American Symposium on Dependable Computing, São José dos Campos.

30.	Ferreira, Joao; Moreira, Vitor; Machado, Jose; Soares, Filomena. 2011. "A mechatronic device for spasticity quantification", Trabalho apresentado em 2011 9th IEEE International Conference on Industrial Informatics (INDIN), In 2011 9th IEEE International Conference on Industrial Informatics, Lisbon, Portugal.

31.	Kunz, Guilherme; Machado, José; Perondi, Eduardo. 2011. "Modelling and Simulation of IEC 61850 Requirements Applied to an Automated People Mover's Controller", Trabalho apresentado em ICINCO'2011 - 8th International Conference on Informatics in Control, Automation and Robotics, In Actas da ICINCO'2011 - 8th International Conference on Informatics in Control, Automation and Robotics, Noordwijkerhout.

32.	Chioran, Daniel; Machado, José. 2011. "Design of a Mechatronic System for Application of Hardware-in-the-loop Simulation Technique", Trabalho apresentado em MECAHITECH'2011 - 3rd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, In Proceedings of MECAHITECH'2011 - 3rd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, Bucharest.

33.	Machado, José; Seabra, Eurico. 2011. "Design of an Adapted Standing Frame for Rehabilitation of Children with Mental Deficiency", Trabalho apresentado em MECAHITECH'2011 - 3rd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, In Proceedings of MECAHITECH'2011 - 3rd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, Bucharest.

34.	Borges, Paulo; Machado, José; Seabra, Eurico; Silva, Luís F.. 2011. "A Formal Approach for Aerospace Systems Control Considering SFC Specification and C Programming Language", Trabalho apresentado em 56th International Scientific Colloquium, In Proceedings of 56th International Scientific Colloquium, Ilmenau.

35.	Seabra, Eurico; Silva, Luís F.; Machado, José. 2011. "Design and Development of a Feeding Aid Device to Assist People With Deficiency", Trabalho apresentado em 56th International Scientific Colloquium, In Proceedings of 56th International Scientific Colloquium, Ilmenau.

36.	Ferreira, Joao; Moreira, Vitor; Machado, Jose; Soares, Filomena. 2011. "Biomedical device for spasticity quantification based on the velocity dependence of the Stretch Reflex threshold", Trabalho apresentado em Factory Automation (ETFA 2011), In ETFA2011, Toulouse, France.

37.	Kunz, Guilherme; Perondi, Eduardo; Machado, Jose. 2011. "Modeling and simulating the controller behavior of an Automated People Mover using IEC 61850 communication requirements", Trabalho apresentado em 2011 9th IEEE International Conference on Industrial Informatics (INDIN), In 2011 9th IEEE International Conference on Industrial Informatics, Lisbon, Portugal.

38.	Leão, Celina P; Soares, Filomena O; Machado, José; Oliveira, Paulo; Boaventura Cunha, J. 2011. "A Support Tool for Teaching Grafcet: Engineering Students' Perceptions", Trabalho apresentado em International Mechanical Engineering Congress & Exposition, In Proceedings of the International Mechanical Engineering Congress & Exposition - ASME'2011, Denver.

39.	Machado, José; Seabra, Eurico. 2011. "Discrete controllers analysis using Modelica modeling language and hybrid plant behaviour models: A case study", Trabalho apresentado em COBEM 2011 - 21st Brazilian Congress of Mechanical Engineering, In Proceedings of COBEM 2011 - 21st Brazilian Congress of Mechanical Engineering, Natal.

40.	Oliveira, Rui; Seabra, Eurico; Machado, José; Silva, Luís F.. 2011. "Definition of a new workshop layout for automobile maintenance and components warehouse", Trabalho apresentado em COBEM 2011 - 21st Brazilian Congress of Mechanical Engineering, In Proceedings of COBEM 2011 - 21st Brazilian Congress of Mechanical Engineering, Natal.

41.	Seabra, Eurico; Machado, Jose. 2011. "Using advanced simulation techniques to improve industrial controller's dependability", Trabalho apresentado em 2011 9th IEEE International Conference on Industrial Informatics (INDIN), In 2011 9th IEEE International Conference on Industrial Informatics, Lisbon, Portugal.

42.	Seabra, Eurico; Machado, José M. 2010. "Using Modelica Modelling Language for Physical Plant Parameters Evaluation and Optimization: A Case Study", Trabalho apresentado em ICINCO'2010 - 7th International Conference on Informatics in Control, Automation and Robotics, In Proceedings of 7th International Conference on Informatics in Control, Automation and Robotics, Funchal.

43.	Monteiro, Júlio; Leão, Celina P; Soares, Filomena O; Machado, José M. 2010. "Industrial Network Application for Monitoring and Control of Automated Manufacturing Systems", Trabalho apresentado em IMS'2010 - 10th IFAC Workshop on Intelligent Manufacturing Systems, In Proceedings of the 10th IFAC Workshop on Intelligent Manufacturing Systems, Lisboa.

44.	Carvalho, Nuno; Leão, Celina P; Soares, Filomena O; Machado, José M. 2010. "An Interface for industrial network monitoring and control", Trabalho apresentado em IMS'2010 - 10th IFAC Workshop on Intelligent Manufacturing Systems, In Proceedings of the 10th IFAC Workshop on Intelligent Manufacturing Systems, Lisboa.

45.	Seabra, Eurico; Machado, José M. 2010. "Simulation Aspects on the Design of Automated Manufacturing Systems", Trabalho apresentado em IMS'2010 - 10th IFAC Workshop on Intelligent Manufacturing Systems, In Proceedings of the 10th IFAC Workshop on Intelligent Manufacturing Systems, Lisboa.

46.	Seabra, Eurico; Machado, José M. 2010. "Hybrid Plant Modeling for Discrete Controllers Analysis: a Case Study", Trabalho apresentado em INDIN'2010 - 8th IEEE International Conference on Industrial Informatics, In Proceedings of the 8th IEEE International Conference on Industrial Informatics, Osaka.

47.	Machado, Jose; Seabra, Eurico; Reis, Cristina; Pelayo, Sofia; Monteiro, A. C. 2010. "The role of Superior Education Institutions on post-secondary (non superior) education", Trabalho apresentado em IEEE EDUCON 2010 Conference, In IEEE EDUCON 2010 Conference, Madrid, Spain.

48.	Borges, Paulo; Villani, Emilia; Machado, José; Ferreira, João; Campos, José C. 2010. "A Systematic Approach for the Safe Control of Aerospace Systems", Trabalho apresentado em XIV International Congress on Project Engineering, In Proceedings of the XIV International Congress on Project Engineering, Madrid.

49.	Soares, Filomena O; Freitas, Ricardo; Vieira, Vitor; Machado, José. 2010. "Monitoring and Control of a Cooling System in a Commercial Store", Trabalho apresentado em WCE'2010 - World Congress Engineering, In Proceedings of the WCE'2010 - World Congress Engineering, Londres.

50.	Borges, Paulo; Machado, José; Villani, Emilia; Campos, José C. 2010. "From SFC Specification to C Programming Language on the Context of Aerospace Systems Control", Trabalho apresentado em IFAC – WCIS’2010 – Workshop on Intelligent Control Systems, In Proceedings of the IFAC – WCIS’2010 – Workshop on Intelligent Control Systems, Sinaia.

51.	Ferreira, João; Soares, Filomena O; Machado, José; Curado, Manuel. 2010. "Ethical Aspects in the Design of Medical Devices", Trabalho apresentado em TMSi’2010 – International Conference on Technology and Medical Sciences, In Proceedings of the TMSi’2010 – International Conference on Technology and Medical Sciences, Porto.

52.	Silva, Luís; Seabra, Eurico; Machado, José. 2010. "Development of a Standing Frame for Rehabilitaion of Children with Mental Disease", Trabalho apresentado em XIV International Congress on Project Engineering, In Proceedings of the XIV International Congress on Project Engineering, Madrid.

53.	Seabra, Eurico; Machado, José; Leão, Celina P; Silva, Luís F.. 2010. "Techniques for Modeling Discrete Controllers for the Optimization of Hybrid Plants: a Case Study", Trabalho apresentado em ICEE-2010 Engineering Education and Research for Society, In Proceedings of the ICEE-2010 Engineering Education and Research for Society, Gliwice.

54.	Costa, Júlio; Carvalho, Nuno; Soares, Filomena O; Leão, Celina P; Machado, José. 2010. "Remote Access to e-Labs", Trabalho apresentado em CONTROLO’2010 – 9th Portuguese Conference on Automatic Control, In Proceedings of the CONTROLO’2010 – 9th Portuguese Conference on Automatic Control, Coimbra.

55.	Costa, Sandra; Leão, Celina P; Soares, Filomena O; Machado, José. 2010. "WALC – Web Assisted Laboratory for Control Engineering on-Line Education", Trabalho apresentado em CONTROLO’2010 – 9th Portuguese Conference on Automatic Control, In Proceedings of the CONTROLO’2010 – 9th Portuguese Conference on Automatic Control, Coimbra.

56.	Ferreira, João; Rodrigues, Paulo; Soares, Filomena O; Machado, José. 2010. "An approach for spasticity quantification based on the stretch reflex threshold", Trabalho apresentado em MECAHITECH'10, 2nd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, In Proceedings of the MECAHITECH'10, 2nd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, Bucharest.

57.	Carvalho, Nuno; Costa, Sandra; Leão, Celina P; Soares, Filomena O; Machado, José; Rodrigues, Helena. 2010. "A Network Configuration for Industrial Systems Control", Trabalho apresentado em MECAHITECH'10, 2nd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, In Proceedings of the MECAHITECH'10, 2nd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, Bucharest.

58.	Borges, Paulo; Machado, José; Seabra, Eurico; Lima, Mário. 2010. "A Formal Approach for Safe Controllers Analysis", Trabalho apresentado em MECAHITECH'10, 2nd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, In Proceedings of the MECAHITECH'10, 2nd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, Bucharest.

59.	Borges, P.; Villani, E.; Machado, J.; Ferreira, J.; Campos, José C. 2010. "Abordagem Sistemática para o Controlo Seguro de Sistemas aeroespaciais", Trabalho apresentado em XIV International Congress on Project Engineering, In XIV International Congress on Project Engineering, Madrid.

60.	Martins, Jorge; Machado, José M. 2008. "Controller Design for Series-Hybrid Internal Combustion Engine", Trabalho apresentado em METIME'2009 - 3rd International Conference on Thermal Engines and Environmental Engineering, In Proceedings of METIME'2009 - 3rd International Conference on Thermal Engines and Environmental Engineering, Galati.

61.	Seabra, Eurico; Machado, José M; Flores, Paulo. 2009. "Design and Development of a Tribometer for dental Applications", Trabalho apresentado em 13th International Conference on Project Engineering, In Proceedings of the 13th International Conference on Project Engineering, Badajoz.

62.	Seabra, Eurico; Machado, José M. 2009. "Teaching Kinematics and Dynamics of Multibody Mechanical Systems using the Object-Oriented Language Modelica", Trabalho apresentado em IRF'2009 - 3rd International Conference on Integrity, Reliability & Failure, In Proceedings of IRF'2009 - 3rd International Conference on Integrity, Reliability & Failure, Porto.

63.	Seabra, Eurico; Machado, José M. 2009. "Development of an Instrumentation System to Evaluate Machine Parameters during High-Speed Files Production", Trabalho apresentado em IRF'2009 - 3rd International Conference on Integrity, Reliability & Failure, In Proceedings of IRF'2009 - 3rd International Conference on Integrity, Reliability & Failure, Porto.

64.	Campos, José C; Machado, Jose. 2009. "Pattern-based Analysis of Automated Production Systems", Trabalho apresentado em 13 th IFAC Symposium on Information Control Problems in Manufacturing, In Proceedings of the 13 th IFAC Symposium on Information Control Problems in Manufacturing, Moscovo.

65.	Seabra, Eurico; Machado, José M. 2009. "Safe Controllers Design for Hybrid Plants: The Emergency Stop", Trabalho apresentado em 6th International Conference on Informatics in Control, Automation and Robotics, In Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics, Milão.

66.	Monteiro, Júlio; Carvalho, Nuno; Soares, Filomena O; Machado, José M. 2009. "The FINS Protocol for Complex Industrial Applications: a Case Study", Trabalho apresentado em 6th International Conference on Informatics in Control, Automation and Robotics, In Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics, Milão.

67.	Monteiro, António C; Silva, João P; Machado, José M. 2009. "Low Cost Machines Shaping the Future of Technological Societies", Trabalho apresentado em COBEM'2009 - 20th International Congress of Mechanical Engineering, In Proceedings of the 20th International Congress of Mechanical Engineering, Gramado.

68.	Machado, José M; Seabra, Eurico. 2009. "A Systematized Approach to Obtain Dependable Controllers Specifications", Trabalho apresentado em COBEM'2009 - 20th International Congress of Mechanical Engineering, In Proceedings of 20th International Congress of Mechanical Engineering, Gramado.

69.	Silva, José R; Poli Jr., M. A; Pereira, Celina S; Machado, José M. 2009. "A Holonic Approach to the Integration of Automated Systems", Trabalho apresentado em COBEM'2009 - 20th International Congress of Mechanical Engineering, In Proceedings of 20th International Congress of Mechanical Engineering, Gramado.

70.	Pereira, Celina S; Silva, José R; Poli Jr., M. A; Machado, José M. 2009. "A Engenharia de Requisitos na Automação Residencial", Trabalho apresentado em Conferência Engenharias`09, Inovação e Desenvolvimento, In Proceedings da Conferência Engenharias`09, Inovação e Desenvolvimento, Covilhã.

71.	Machado, José M; Reis, Cristina; Pelayo, Sofia; Seabra, Eurico; Monteiro, António C. 2009. "A New Strategy for Attracting new Students for the Engineering Higher Education", Trabalho apresentado em FINTDI'2009 - Fomento e Innovación con Nuevas Tecnologías en la Docencia de la Ingeniería, In Proceedings of FINTDI'2009 - Fomento e Innovación con Nuevas Tecnologías en la Docencia de la Ingeniería, Vigo.

72.	Carvalho, Nuno; Silveira, R.; Leão, Celina P; Machado, José M; Soares, Filomena O. 2009. "Platform WALC: design and development of a PLC network", Trabalho apresentado em VU'09 - 10th International Scientific Conference VIRTUAL UNIVERSITY , In Proceedings of the 10th International Scientific Conference VIRTUAL UNIVERSITY , Bratislava.

73.	Machado, José M; Seabra, Eurico. 2008. "Real-Time Systems Safety Control considering Human-Machine Interface", Trabalho apresentado em ICINCO’2008 – 5th International Conference on Informatics in Control, Automation and Robotics, In Proceedings of ICINCO’2008 – 5th International Conference on Informatics in Control, Automation and Robotics , Funchal.

74.	Campos, José C; Machado, Jose; Seabra, Eurico. 2008. "Property Patterns for the Formal Verication of Automated Production Systems", Trabalho apresentado em IFAC’2008 – 17th IFAC World Congress, In Proceedings of IFAC’2008 – 17th IFAC World Congress, Seul.

75.	Machado, José M; Seabra, Eurico. 2008. "Higher Competency-Based Education in Automation Teaching", Trabalho apresentado em International Conference on Engineering Education – ICEE 2008, In Proceedings of the International Conference on Engineering Education – ICEE 2008, Pécs and Budapest.

76.	Seabra, Eurico; Machado, José M. 2008. "Teaching of Advanced Modelling Techniques for the optimization of Automated Systems", Trabalho apresentado em International Conference on Engineering Education – ICEE 2008, In Proceedings of the International Conference on Engineering Education – ICEE 2008, Pécs and Budapest.

77.	Machado, José M; Seabra, Eurico. 2008. "Automation Systems Design using Advanced Computational Tools", Trabalho apresentado em 53th International Scientific Colloquim of the Technical University of Ilmenau – 53.IWK’08, In Proceedings of the 53th International Scientific Colloquim of the Technical University of Ilmenau – 53.IWK’08, Ilmenau.

78.	Seabra, Eurico; Flores, Paulo; Machado, José M; Carneiro, Fátima; Teixeira, Senhorinha; Teixeira, José C. 2008. "Design and development of an actuation system able to reproduce the blood flow in arteries", Trabalho apresentado em 53th International Scientific Colloquim of the Technical University of Ilmenau – 53.IWK’08, In Proceedings of the 53th International Scientific Colloquim of the Technical University of Ilmenau – 53.IWK’08, Ilmenau.

79.	Campos, J. C; Machado, J.; Seabra, E.. 2008. "Property Patterns for the Formal Verification of Automated Production Systems", Trabalho apresentado em 17th IFAC World Congress 2008, In Proceedings of the 17th IFAC World Congress 2008, Seoul.

80.	Machado, J.; Flores, P.; Seabra, E.. 2008. "Advanced graphical tools on modelling and control of automation systems", Trabalho apresentado em 1st ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing, In COMPUTATIONAL VISION AND MEDICAL IMAGING PROCESSING, Oporto, PORTUGAL.

81.	Seabra, Eurico; Machado, José M; Silva, Jaime F.; Soares, Filomena O; Leão, Celina P. 2007. "Simulation and Formal Verification of Real Time Systems: A Case Study", Trabalho apresentado em International Conference on Informatics in Control, Automation and Robotics (ICINCO'2007), In Proceedings of the 4th International Conference on Informatics in Control, Automation and Robotics (ICINCO'2007), Angers.

82.	Machado, José M. 2007. "Verificação Formal de Sistemas Industriais Temporizados", Trabalho apresentado em 8th Congresso Ibero-Americano de Ingenieria Mecânica - CIBIM 8, In Proceedings of the 8th Congresso Ibero-Americano de Ingenieria Mecânica - CIBIM 8, Cusco.

83.	Machado, José M; Seabra, Eurico. 2007. "A Cooperation between a Higher Education Institution and a Secondary School: Some Results and Conclusions", Trabalho apresentado em COBEM 2007, 19th Edition of the International Congress of Mechanical Engineering, In A Cooperation between a Higher Education Institution and a Secondary School: Some Results and Conclusions, Brasília.

84.	Machado, José M; Seabra, Eurico; Campos, José C; Soares, Filomena O; Leão, Celina P. 2007. "Simulation and Formal Verification of Industrial Systems Controllers", Trabalho apresentado em COBEM 2007, 19th International Congress of Mechanical Engineering, In Proceedings of the COBEM 2007, 19th International Congress of Mechanical Engineering, Brasília.

85.	Seabra, Eurico; Machado, José M; Leão, Celina P; Soares, Filomena O. 2007. "Simulação do Comportamento de Sistemas de Tempo Real utilizando a Linguagem Modelica", Trabalho apresentado em Engenharia'2007 - Investigação e Desenvolvimento, 3ª Conferência de Engenharia, In Proceedings of Engenharia'2007 - Investigação e Desenvolvimento, 3ª Conferência de Engenharia, Covilhã.

86.	Leão, Celina P; Soares, Filomena O; Machado, José M; Seabra, Eurico. 2007. "Promover o Estudo da Engenharia: um caso de estudo", Trabalho apresentado em Engenharia'2007 - Investigação e Desenvolvimento, 3ª Conferência de Engenharia, In Proceedings of Engenharia'2007 - Investigação e Desenvolvimento, 3ª Conferência de Engenharia, Covilhã.

87.	Machado, José M. 2007. "Incremento da Segurança de Funcionamento de Sistemas Automatizados de Produção", Trabalho apresentado em II Encontro Nacional de Riscos, Segurança e Fiabilidade, In Procedings of II Encontro Nacional de Riscos, Segurança e Fiabilidade, Lisboa.

88.	Seabra, Eurico; Machado, José M. 2007. "Simulation of Real Time Systems Behavior Considering Human-Machine Interface", Trabalho apresentado em 6th EUROSIM Congress on Modelling and Simulation, In Proceedings of 6th EUROSIM Congress on Modelling and Simulation, Ljubljana.

89.	Leão, Celina P; Soares, Filomena O; Machado, José M; Seabra, Eurico. 2007. "Higher/Secondary Education: a Successful Partnership", Trabalho apresentado em ICEE`2007 - International Conference on Engineering Education, In Proceedings of ICEE`2007 - International Conference on Engineering Education, Coimbra.

90.	Seabra, Eurico; Machado, José M. 2007. "Teaching of Automation by Using Advanced Simulation Computational Tools", Trabalho apresentado em ICEE`2007 - International Conference on Engineering Education, In Proceedings of ICEE`2007 - International Conference on Engineering Education, Coimbra.

91.	Machado, José M; Seabra, Eurico; Soares, Filomena O; Campos, José C. 2007. "A New Plant Modelling Approach for Formal Verification Purposes", Trabalho apresentado em 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems - Theory and Applications, In Proceedings of 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems - Theory and Applications, Gdansk.

92.	Seabra, Eurico; Machado, José M; Flores, Paulo. 2007. "Advanced Graphical Tools on Modelling and Control of Automation Systems", Trabalho apresentado em VIPImage, Eccomas Thematic Conference on Computational Vision and Medical Image Processing, In Proceedings of VIPImage, Eccomas Thematic Conference on Computational Vision and Medical Image Processing, Porto.

93.	Machado, José M; Denis, Bruno; Lesage, Jean-Jacques. 2006. "A generic approach to build plant models for DES verification purposes", Trabalho apresentado em Workshop on Discrete Event Systems (WODES’2006), In Proceedings of the Workshop on Discrete Event Systems (WODES’2006), Ann Arbor.

94.	Machado, José M; Denis, Bruno; Lesage, Jean-Jacques. 2006. "Formal Verification of Industrial Controllers: With or Without a Plant Model?", Trabalho apresentado em CONTROLO’2006 - The 7th Portuguese Conference on Automatic Control, In Proceedings of the CONTROLO’2006 - The 7th Portuguese Conference on Automatic Control, Lisboa.

95.	Machado, José M; Denis, Bruno; Lesage, Jean-Jacques; Faure, J; Silva, Jaime F.. 2006. "Logic Controllers dependability verification using a Plant Model", Trabalho apresentado em DESDes'2006 IFAC Conference, In Proceedings of the DESDes'2006 IFAC Conference, Rydzyna.

96.	Seabra, Eurico; Flores, Paulo; Machado, José M; Silva, Paula; Torres, Helena. 2005. "Enhancing University-School Partnership: A Pilot Study", Trabalho apresentado em 18th Edition of the International Congress of Mechanical Engineering (COBEM’2005), In Proceedings of the 18th Edition of the International Congress of Mechanical Engineering (COBEM’2005), Ouro Preto.

97.	Machado, José M; Denis, Bruno; Lesage, Jean-Jacques; Faure, J; Silva, Jaime F.. 2003. "Model of Mechanism behavior for verification of PLC programs", Trabalho apresentado em 17th Edition of the International Congress of Mechanical Engineering (COBEM’2003), In Proceedings of the 17th Edition of the International Congress of Mechanical Engineering (COBEM’2003), São Paulo.

98.	Machado, José M; Denis, Bruno; Lesage, Jean-Jacques; Faure, J; Silva, Jaime F.. 2003. "Increasing the efficiency of PLC Program Verification using a plant model", Trabalho apresentado em International Conference on Industrial Engineering and Production Management (IEPM’2003), In Proceedings of International Conference on Industrial Engineering and Production Management (IEPM’2003), Porto.

99.	Machado, José M; Louni, Farid; Faure, Jean-Marc; Lesage, Jean-Jacques; Silva, Jaime F.; Roussel, Jean-Marc. 2001. "Modelling and Implementing the Control of Automated Production Systems Using Statecharts and PLC Programming Languages", Trabalho apresentado em European Control Conference (ECC2001), In Proceedings of European Control Conference (ECC2001), Porto.

100.	Machado, José M; Silva, Jaime F.. 2000. "The use of the GEMMA method to define the run and stop states of Automated Production Line Systems", Trabalho apresentado em Mechatronics International Forum, In Proceedings of the 7th Mechatronics International Forum, Atlanta.

101.	Machado, José M; Silva, Jaime F.. 1999. "The use of GRAFCET method to modelise the dynamic behavior of command modules of automated manufacturing systems", Trabalho apresentado em 44th International Scientific Colloquim of the Technical University of Ilmenau, In Proceedings of the 44th International Scientific Colloquim of the Technical University of Ilmenau, Ilmenau.

Textos em jornais ou revistas Texts in newspapers or magazines

1.	Seabra, Eurico; Machado, José; Silva, Jaime F.. 20 maio 2010. "Automação: A Solução para vencer o Futuro" FIMEC - Revista dos Finalistas de Engenharia Mecânica, 22 - 24.

Produto com registo ou patente Product with patent or official record

2.	Machado, José; Bezerra, Karolina; Carvalho, Victor; Matos, Demétrio; Soares, Filomena. Desenho ou Modelo nº 3310,2013. Tipo de produto: Projeto. Patente: Desenho Industrial/Desenho.n. 3310,"Desenho ou Modelo nº 3310".

1.

Machado, José; Bezerra, Karolina; Soares, Filomena; Matos, Demétrio; Carvalho, Victor. Produto para determinação do tipo sanguíneo de humanos,2013. Tipo de produto: Projeto;Natureza do produto: Equipamento. Patente: Patente de Invenção.n. PPPnº 107064,"Pedido Provisório de Patente PPPnº 107064, 2013".

Software sem registo ou patente Software without patent or official record

1.	Machado, Jose; Campos, José C. Properties Editor,2008.

Apresentação oral de trabalho Oral work presentation

1.	Machado, José; Campos, José C. Development of Dependable Controllers in the Context of Machines Design,ICMD 2013,2013 (Comunicação).

2.	Pereira, Filipe; Carvalho, Victor; Soares, Filomena O; Machado, José; Bezerra, Karolina; Silva, Rui; Matos, Demétrio. Development of a Mechatronic System for Bedridden People Support,MECAHITECH 2013,2013 (Comunicação).

3.	Lemos, Diogo; Machado, José; Minas, Graça; Soares, Filomena; Barros, Carla; Leão, Celina P. Reintrepreting the Cardiovascular System as a mechanical model,ICNAAM 2013,2013 (Comunicação).

4.	Machado, José; Seabra, Eurico. HiL Simulation Workbench for Testing and Validating PLC Programs,INDIN 2013,2013 (Comunicação).

5.	Avram, Camelia; Machado, José; Astilean, Adina. Modeling and Formal Analysis of Urban Road Traffic,ICNAAM 2013,2013 (Comunicação).

6.	Machado, José; Seabra, Eurico. A Systematized Approach for Obtaining a Dependable Structured Specification for an Industrial Automation System,INDIN 2012,2012 (Comunicação).

7.	Seabra, Eurico; Machado, José. Conceptual Design and Development of an Automated Co-generation System,MECAHITEC 2012,2012 (Comunicação).

8.	Bezerra, Karolina; Carvalho, Victor; Machado, José; Matos, Demétrio; Soares, Filomena O. Design of a Mechatronic System for Human Blood Typing in Emergency Situations ,MECAHITEC 2012,2012 (Comunicação).

9.	Kunz, Guilherme; Machado, José; Perondi, Eduardo. Modeling and Simulation of IEC 61850 requirements applied to an automated people mover's controller,ICINCO 2011,2011 (Comunicação).

10.	Machado, José; Seabra, Eurico. A Formal Approach for Aerospace Systems Control Considering SFC Specification and C Programming Language,IWK Ilmenau,2011 (Comunicação).

11.	Machado, José; Seabra, Eurico. Design of an Adapted Standing Frame for Rehabilitation of Children with Mental Deficiency,MECAHITECH 2011,2011 (Comunicação).

12.	Machado, José; Chioran, Daniel. Design of a Mechatronic System for Application of Hardware-in-the-loop Simulation Technique,MECAHITECH 2011,2011 (Comunicação).

13.	Machado, José; Campos, José C. Formal Verification of Real-Time Systems with UPPAAL,REVVIS Project Partner Meeting (UM, ITA, e IAE),São José dos Campos,2010 (Conferência ou palestra).

14.	Borges, Paulo; Machado, José; Campos, José C; Villani, Emilia. From SFC Specification to C Programming Language on the Context of Aerospace Systems Control,IFAC – WCIS’2010 – Workshop on Intelligent Control Systems,Sinaia,2010 (Comunicação).

15.	Costa, Júlio; Carvalho, Nuno; Leão, Celina P; Soares, Filomena O; Machado, José. Industrial Network Platform for Monitoring and Control of Automated Manufacturing Systems,IFAC – IMS’2010 - 10th IFAC Workshop on Intelligent Manufacturing Systems,Lisboa,2010 (Comunicação).

16.	Seabra, Eurico; Machado, José. Simulation Aspects on the Design of Automated Manufacturing Systems,IFAC – IMS’2010 - 10th IFAC Workshop on Intelligent Manufacturing Systems,Lisboa,2010 (Comunicação).

17.

Rodrigues, Paulo; Ferreira, João; Soares, Filomena O; Machado, José. An approach for spasticity quantification based on the stretch reflex threshold,MECAHITECH'10, 2nd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development,Bucareste,2010 (Comunicação).

18.	Carvalho, Nuno; Leão, Celina P; Soares, Filomena O; Machado, José. An Interface for industrial network monitoring and control,IFAC – IMS’2010 - 10th IFAC Workshop on Intelligent Manufacturing Systems,Lisboa,2010 (Comunicação).

19.	Seabra, Eurico; Machado, José. Hybrid Plant Modeling for Discrete Controllers Analysis: a Case Study,IEEE - INDIN’2010 – 8th International Conference on Industrial Informatics,Osaka,2010 (Comunicação).

20.

Borges, Paulo; Machado, José; Seabra, Eurico; Lima, Mário. A Formal Approach for Safe Controllers Analysis,MECAHITECH'10, 2nd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development,Bucareste,2010 (Comunicação).

21.

Carvalho, Nuno; Costa, Sandra; Leão, Celina P; Soares, Filomena O; Machado, José; Rodrigues, Helena. A Network Configuration for Industrial Systems Control,MECAHITECH'10, 2nd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development,Bucareste,2010 (Comunicação).

22.	Seabra, Eurico; Machado, José. Safe Controllers Design for Hybrid Plants: The Emergency Stop,ICINCO 2009 – 6th International Conference on Informatics in Control, Automation and Robotics,Milão,2009 (Comunicação).

23.	Alves, Miriam; Machado, José; Villani, Emilia. Verification and Validation of Critical Systems using Formal Methods,Thematic Workshop of the REVVIS Project – Software Verification and Validation,Rosario,2009 (Conferência ou palestra).

24.	Campos, José C; Machado, José. Pattern-based Analysis of Automated Production Systems,INCOM’2009 – 13th IFAC Symposium on Information Control Problems In Manufacturing,Moscovo,2009 (Comunicação).

25.	Machado, José; Martins, Jorge. Controller Design for Series-Hybrid Internal Combustion Engine,METIME'2009 - 3rd International Conference on Thermal Engines and Environmental Engineering,Galati,2009 (Comunicação).

26.	Machado, José. The FINS Protocol for Complex Industrial Applications: a case study,ICINCO 2009 – 6th International Conference on Informatics in Control, Automation and Robotics,Milão,2009 (Comunicação).

27.	Machado, José; Seabra, Eurico. A Systematized Approach to obtain Dependable Controllers’ Specifications,COBEM 2009, 20th International Congress of Mechanical Engineering,Gramado,2009 (Comunicação).

28.	Campos, José C; Machado, José; Seabra, Eurico. Property Patterns for the Formal Verication of Automated Production Systems,IFAC 2008 – 17th IFAC World Congress,Seul,2008 (Comunicação).

29.	Machado, José. O desenvolvimento da Automação,Unidade Curricular “Integradora IV” do Mestrado Integrado em Engenharia Mecânica da Universidade do Minho,Guimarães,2008 (Conferência ou palestra).

30.	Machado, José. SACAPS – Safety Control of Automated Production Systems,REVVIS Project Partner Meeting (UM, ITA e IAE),São José dos Campos,2008 (Conferência ou palestra).

31.	Machado, José; Seabra, Eurico. Automation Systems Design using Advanced Computational Tools,53th Internationales Wissenschaftliches Kolloquium,Ilmenau,2008 (Comunicação).

32.	Machado, José; Seabra, Eurico. Real-Time Systems Safety Control considering Human-Machine Interface,ICINCO 2008 – 5th International Conference on Informatics in Control, Automation and Robotics,Funchal,2008 (Comunicação).

33.	Machado, José; Seabra, Eurico. Higher Competency-Based Education in Automation Teaching,ICEE`2008 - International Conference on Engineering Education,Pécs,2008 (Comunicação).

34.	Machado, José. Incremento da Segurança de Funcionamento de Sistemas Automatizados de Produção,Comunicação feita no âmbito da ENRSF 2007 - II Encontro Nacional de Riscos, Segurança e Fiabilidade,Lisboa,2007 (Comunicação).

35.	Machado, José; Seabra, Eurico; Campos, José C; Soares, Filomena O; Leão, Celina P; Silva, Jaime F.. Simulation and Formal Verification of Industrial Systems Controllers,COBEM 2007, 19th International Congress of Mechanical Engineering,Brasília,2007 (Comunicação).

36.	Machado, José. Sistemas Pneumáticos e Electropneumáticos,Unidade Curricular “Automação” do Mestrado Integrado em Engenharia Electrónica e de Computadores da Universidade do Minho,Guimarães,2007 (Conferência ou palestra).

37.	Seabra, Eurico; Machado, José; Soares, Filomena O; Leão, Celina P; Silva, Jaime F.. Simulation and Formal Verification of Real Time Systems: A Case Study,ICINCO 2007 - 4th International Conference on Informatics in Control, Automation and Robotics,Angers,2007 (Comunicação).

38.	Machado, José; Seabra, Eurico. A Cooperation between a Higher Education Institution and a Secondary School: Some Results and Conclusions,COBEM 2007, 19th International Congress of Mechanical Engineering,Brasília,2007 (Comunicação).

39.	Machado, José; Campos, José C; Seabra, Eurico; Soares, Filomena O. A New Plant Modelling Approach for Formal Verification Purposes,11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems - Theory and Applications,Gdansk,2007 (Comunicação).

40.	Machado, José; Denis, Bruno; Lesage, Jean-Jacques. A generic approach to build plant models for DES verification purposes,WODES 2006 – 8th International Workshop on Discrete Event Systems,Ann Arbor,2006 (Comunicação).

41.	Machado, José; Denis, Bruno; Lesage, Jean-Jacques. Logic Controllers dependability verification using a Plant Model,CONTROLO'2006 - The 7th Portuguese Conference on Automatic Control,Lisboa,2006 (Comunicação).

42.	Seabra, Eurico; Flores, Paulo; Machado, José; Silva, Paula; Torres, Helena. Enhancing University-School Partnership: A Pilot Study,18th Edition of the International Congress of Mechanical Engineering (COBEM’2005),Ouro Preto,2005 (Comunicação).

43.	Machado, José; Denis, Bruno; Lesage, Jean-Jacques; Faure, J; Silva, Jaime F.. Increasing the efficiency of PLC Program Verification using a plant model,International Conference on Industrial Engineering and Production Management (IEPM’2003),Porto,2003 (Comunicação).

44.	Machado, José; Denis, Bruno; Lesage, Jean-Jacques; Faure, J; Silva, Jaime F.. Model of Mechanism behavior for verification of PLC programs,17th Edition of the International Congress of Mechanical Engineering (COBEM’2003),São Paulo,2003 (Comunicação).

45.	Machado, José; Louni, Farid; Faure, J; Lesage, Jean-Jacques; Silva, Jaime F.; Roussel, Jean-Marc. Modelling and Implementing the Control of Automated Production Systems Using Statecharts and PLC Programming Languages,European Control Conference (ECC2001),Porto,2001 (Comunicação).

46.	Machado, José; Silva, Jaime F.. The Use of the GEMMA Method to Define the Run and Stop States of Automated Production Line Systems,7th Mechatronics International Forum,Atlanta,2000 (Comunicação).

47.	Machado, José; Silva, Jaime F.. The use of GRAFCET method to modelise the dynamic behavior of command modules of automated manufacturing systems,44th International Scientific Colloquim of the Technical University of Ilmenau – 44.IWK’99,Ilmenau,1999 (Comunicação).

Curso de curta duração lecionado Taught short course

1.	Machado, José. Curso de Projecto, 2010 (Extensão), promovido por AFTEBI - Escola Tecnológica Têxtil. Duração: 8 horas. Local: AFTEBI - Escola Tecnológica Têxtil, Cidade: Vila Nova de Famalicão, Tipo de participação: Docente.

2.	Machado, José. Curso de Automação, 2010 (Extensão), promovido por AFTEBI - Escola Tecnológica Têxtil. Duração: 68 horas. Local: Universidade do Minho, Cidade: Guimarães, Tipo de participação: Docente.

3.	Machado, José. Curso de Automação, 2010 (Extensão), promovido por AFTEBI - Escola Tecnológica Têxtil. Duração: 20 horas. Local: AFTEBI - Escola Tecnológica Têxtil, Cidade: Vila Nova de Famalicão, Tipo de participação: Docente.

4.	Machado, José. Curso de Projecto, 2010 (Extensão), promovido por AFTEBI - Escola Tecnológica Têxtil. Duração: 40 horas. Local: Universidade do Minho, Cidade: Guimarães, Tipo de participação: Docente.

5.	Machado, José. Curso de Automação, 2008 (Extensão), promovido por AFTEBI - Escola Tecnológica Têxtil. Duração: 20 horas. Local: AFTEBI - Escola Tecnológica Têxtil, Cidade: Vila Nova de Famalicão, Tipo de participação: Docente.

6.	Machado, José. Curso de Automação, 2008 (Extensão), promovido por AFTEBI - Escola Tecnológica Têxtil. Duração: 60 horas. Local: Universidade do Minho, Cidade: Guimarães, Tipo de participação: Docente.

7.	Machado, José. Curso de Automação, 2007 (Extensão), promovido por AFTEBI - Escola Tecnológica Têxtil. Duração: 20 horas. Local: AFTEBI - Escola Tecnológica Têxtil, Cidade: Vila Nova de Famalicão, Tipo de participação: Docente.

8.	Machado, José. Curso de Automação, 2007 (Extensão), promovido por AFTEBI - Escola Tecnológica Têxtil. Duração: 60 horas. Local: Universidade do Minho, Cidade: Guimarães, Tipo de participação: Docente.

Desenvolvimento de material didáctico ou pedagógico Didactic and pedagogic material development

1.	Machado, José. Verificação formal de controladores lógicos por model-checking,2010.

2.	Machado, José. Métodos para a Verificação e Validação de Controladores Industriais,2010.

3.	Machado, José. Introdução aos Autómatos Temporizados e UPPAAL,2010.

4.	Machado, José. Redes de Petri - Compilação,2009.

5.	Machado, José. Conceitos Básicos sobre Sistemas Multi-Agentes,2009.

6.	Machado, José. PLCs OMRON – Compilação de documentação do fabricante,2008.

7.	Machado, José. Automação de Sistemas a Eventos Discretos,2008.

8.	Machado, José. Da Especificação em SFC (IEC 60 848) à Implementação em Ladder (IEC 61 131-3),2007.

9.	Machado, José. Conceitos básicos sobre PLCs,2007.

10.	Machado, José. Conceitos Básicos sobre Redes de PLCs OMRON,2007.

11.	Seabra, Eurico; Machado, José. Tratamento da Paragem de Emergência – Caso de Aplicação,2007.

12.	Machado, José. Conceitos Básicos sobre Finite State Machines,2007.

13.	Machado, José. Conceitos Básicos sobre Redes de Dados Industriais,2007.

14.	Machado, José. Conceitos básicos sobre StateCharts,2007.

15.	Machado, José; Seabra, Eurico. Implementação do GEMMA por Coordenação Vertical,2007.

16.	Machado, José. Implementação Electropneumática,2006.

17.	Machado, José. GEMMA – Guide d’Etude dês Modes de Marche et d'Arrêts,2006.

18.	Machado, José. Normas de Segurança em Laboratórios e Oficinas,2006.

19.	Machado, José. Linguagens Normalizadas de Programação de PLCs IEC 61 131-3,2006.

20.	Machado, José; Silva, Jaime F.. SFC - IEC 60848 - Srquential Function Charts,2006.

21.	Machado, José. HiperGrafcet,2006.

Orientações Orientations

Outros Trabalhos Other production

Participação no júri de Graus Académicos Academic Degrees jury participation

Participação em Comissões de Avaliação Evaluation comissions participation

Participação em eventos Event participation

Participação editorial em revistas Magazine editorial participation

Orientações Orientations

Tese de Doutoramento Phd Thesis

Concluídas Completed

1.	Guilhereme de Oliveira Kunz, Desenvolvimento de uma Metodologia/Norma para Controle de APM (Automated People Movers), 2008. Tese (Engenhari Mecânica - Automação) - Universidade do Minho, Bolseiro(a) de Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (Orientador).

Em curso Ongoing

1.	Ana Patrícia da Silva Ferraz, Sistema para Determinação do Tipo Sanguíneo de Humanos Utilizando Técnicas de Processamento de Imagem, 2013. Tese (Engenharia Electrónica) - Universidade do Minho, Bolseiro(a) de Fundação para a Ciência e a Tecnologia (Co-orientador).

2.	Emanuel Miron, Contribution to Modeling of the Complex echatronics Systems by Formal Verification Using CAD Models, 2012. Tese (Enegenharia Mecânica) - Technical University of Iasi (Co-orientador).

3.	Karolina Celi Tavares Bezerra, Desenvolvimento de sistema(s) mecatrónico(s) para auxílio nos cuidados continuados de pessoas acamadas, 2012. Tese (Engenharia Mecânica) - Universidade do Minho, Bolseiro(a) de Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (Orientador).

Dissertação de Mestrado Master degree dissertation

Concluídas Completed

1.	Carlos David da Silva Barros, Desenvolvimento de Plataformas de Automação Digitais, 2013. Dissertação (Engenhari Mecânica - Automação) - Universidade do Minho (Orientador).

2.	Luís Carlos Mota e Cunha, Dispensador de serrim em ambiente laboratorial para jaulas de ratos, 2013. Dissertação (Engenharia Mecânica - Automação) - Universidade do Minho (Orientador).

3.	Diogo Gonçalves Lemos, Desenvolvimento de um protótipo para a Simulação do Sistema Cardíaco Humano, 2013. Dissertação (Engenharia Mecânica - Automação) - Universidade do Minho (Orientador).

4.	Nuno Miguel Evangelista Canadas, Modelação da parte física de sistemas mecatrónicos e estudo da sua influência em Simulação HiL (Hardware in the loop), 2013. Dissertação (Engenharia Mecânica - Automação) - Universidade do Minho (Orientador).

5.	Catarina Manuela Rodrigues Meireles, Desenvolvimento de protótipo físico para a simulação do sistema respiratório humano, 2013. Dissertação (Engenharia Mecânica - Automação) - Universidade do Minho (Orientador).

6.	Samuel Dams Teixeira, Estudo e caracterização da fiabilidade de um equipamento de teste de qualidade final do, 2013. Dissertação (Engenharia Mecânica - Automação) - Universidade do Minho (Orientador).

7.	Paulo César Moreira Carneiro, Estudo e desenvolvimento de bancada experimental para teste automático de programas de PLCs, 2012. (Orientador).

8.	Gabriel Calfa, Definition strategies for automatic testing of PLC programs creating models of the physical plant, 2012. (Orientador).

9.	Karolina Celi, Desenvolvimento de um produto para determinação do tipo sanguíneo de humanos, 2012. (Orientador).

10.	Rui Daniel Vieira da Costa, Projeto de dispositivos de produção e montagem para a indústria automóvel e dos plásticos, 2012. (Orientador).

11.	Maria João Correia Varela de Almeida, Biomechanical analysis of the human gait cycle for different scenarios, 2012. (Orientador).

12.	Daniel Chioran, Design of a mechatronic system for application of hardware-in-the-loop simulation technique, 2011. Dissertação (Engenharia Mecânica) - Universidade do Minho (Orientador).

13.	Corália Barbosa, Estudo da Análise da marcha e da sincronização, 2011. Dissertação (Engenharia Mecânica) - Universidade do Minho (Orientador).

14.	Mafalda Couto, Kinematic compatibility of biomechanical models and 3D modeling and design of a Bioloid quadruped , 2011. Dissertação (Engenharia Mecânica) - Universidade do Minho (Orientador).

15.	Paulo André Mendes Borges, Software Seguro para Sistemas Mecatrónicos Temporizados, 2010. Dissertação (Engenharia Mecânica - Automação) - Universidade do Minho (Orientador).

16.	Paulo André Carvalho Rodrigues, Desenvolvimento de um equipamento para quantificação de espasticidade, 2010. Dissertação (Engenharia Electrónica) - Universidade do Minho (Orientador).

17.	João Fernandes Ferreira, Sistema Mecatrónico para a quantificação de Espasticidade, 2010. Dissertação (Engenharia Electrónica) - Universidade do Minho (Orientador).

18.	Júlio César Monteiro da Costa, Acesso remoto e controlo de processos de uma rede de autómatos, 2009. Dissertação (Engenharia Electrónica) - Universidade do Minho (Orientador).

19.	Celina Soares Pereira, Um Método para Projecto Iterativo de Automação Residencial, 2009. Dissertação (Engenharia Mecânica - Automação) - Universidade do Minho, Bolseiro(a) de Universidade do Minho (Orientador).

20.	João Pedro de Jesus da Costa, Optimização da Produção de Unidades de Ventilação e Recuperação de Energia, 2009. Dissertação (Engenharia Electrónica) - Universidade do Minho (Orientador).

21.	Florent Ganet, Création de modèles de systèmes automatisés pour application directe en tâches de simulation, 2008. Dissertação (Electronique, Electrotechnique et Automatique) - Ecole Normale Supérieure de Cachan (Orientador).

Trabalho de conclusão de curso de Bacharelato/Licenciatura Bachelor/Licenciate degree conclusion work

Concluídas Completed

1.	Daniel Filipe Meira Magalhães, Gestão e Controlo da Climatização, 2007. Trabalho de Conclusão de Curso (Licenciatura em Engenharia Mecânica - Automação) - Universidade do Minho (Orientador).

Orientação de outra natureza Other orientation

Concluídas Completed

1.	Moisés Oliveira, Manutençã electromecânica numa empresa de tinturaria, 2011. (Orientador).

2.	António Vaz, Especificidades da manutenção numa empresa têxtil, 2011. Cortinti (Orientador).

3.	Luís Sá, Optimização de processos de manutenção, incrementando a produtividade, 2010. Associação para a Formação Tecnológica e Profissional da Beira Interior (Orientador).

4.	Telma Pinho, Estudo das Gamas de Manutenção na Indústria Têxtil do Ave, 2010. (Orientador).

5.	Hélder Ferreira, Aplicação relacionada com a Manutenção de Projecto na Indústria Têxtil do Ave, 2010. Associação para a Formação Tecnológica e Profissional da Beira Interior (Orientador).

6.	Paulo Araújo, Implementação de Procedimentos e de Gamas de Manutenção, 2008. Associação para a Formação Tecnológica e Profissional da Beira Interior (Orientador).

7.	Edgar Oliveira, Manutenção no Hospital da Trofa: estudo de parâmetros a melhorar, 2008. Associação para a Formação Tecnológica e Profissional da Beira Interior (Orientador).

8.	Pedro Monteiro, Manutenção na Siderurgia Nacional, 2008. Associação para a Formação Tecnológica e Profissional da Beira Interior (Orientador).

9.	Paulo Xavier, Estudo dos procedimentos de manutenção relacionados com a montagem de equipamentos industriais, 2008. Associação para a Formação Tecnológica e Profissional da Beira Interior (Orientador).

10.	Luís Moura, Informatização e análise crítica das Gamas de Manutenção da Endutex, 2008. Associação para a Formação Tecnológica e Profissional da Beira Interior (Orientador).

11.	Edgar Silva, Optimização da Ficha Tecnológica do Produto, tendo em conta aspectos ligados à Manutenção, 2007. Associação para a Formação Tecnológica e Profissional da Beira Interior (Orientador).

12.	Fábio Andersen Silva, Rede de Autómatos Programáveis Industriais, 2007. Instituto NunAlvres (Orientador).

13.	António Jorge Ferreira Meireles Alpedrinha Ramos, Conversor de Uppaal para NuSMV, 2006. Instituto NunAlvres (Orientador).

Outros Trabalhos Other production

1.	Machado, José. O desenvolvimento da Automação, 2008.

2.	Machado, José. Sistemas Pneumáticos e Electropneumáticos, 2007.

Participação no júri de Graus Académicos Academic Degrees jury participation

Doutoramento Phd

1.	Machado, José. Participação no júri de Guilherme de Oliveira Kunz. Desenvolvimento de uma Metodologia/Norma para Controle de APM (Automated People Movers), 2012. Tese (Doutorado em Engenharia Mecânica) - Universidade Federal do Rio Grande do Sul.

Mestrado Master degree

1.	Machado, José. Participação no júri de Catarina Manuela Rodrigues Meireles. Desenvolvimento de protótipo físico para a simulação do sistema respiratório humano, 2013.  Dissertação (Engenharia Mecatrónica) - Universidade do Minho.

2.	Machado, José. Participação no júri de Joana Catarina Pinto Servo. Selecção de um material alternativo para a estrutura de máquinas ferramentas de arranque de apara, 2013.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

3.	Machado, José. Participação no júri de Filipe Alexandre de Sousa Pereira. Desenvolvimento de um sistema macatrónico para apoio à qualidade de vida de pacientes acamados, 2013.  Dissertação (Engenharia Eletrónica e Informática) - Universidade Lusíada Vila Nova de Famalicão.

4.	Machado, José. Participação no júri de José Pedro Lopes Martins. Projeto e desenvolvimento de um tribómetro linear para materiais deformáveis, 2013.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

5.	Machado, José. Participação no júri de Alvaro José Gonçalves Cunha. Uso de baterias de Fluxo Vanádio Redox para armazenamento de energia e carregamento rápido de veículos em postos de abastecimento, 2013.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

6.	Machado, José. Participação no júri de Carlos David da Silva Barros. Desenvolvimento de Plataformas de Automação Digitais, 2013.  Dissertação (Engenharia Mecânica - Automação) - Universidade do Minho.

7.	Machado, José. Participação no júri de Diogo Gonçalves Lemos. Desenvolvimento de um protótipo físico para a simulação do sistema cardíaco humano, 2013.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

8.	Machado, José. Participação no júri de Luís Carlos Mota e Cunha. Dispensador de serrim em ambiente laboratorial para jaulas de ratos, 2013.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

9.	Machado, José. Participação no júri de Samuel Damas Teixeira. Estudo e caracterização da fiabilidade de um equipamento de teste de qualidade final do funcionamento dos botões dos auto-rádios, 2013.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

10.	Machado, José. Participação no júri de Nuno Miguel Evangelista Canadas. Modelação da parte física de sistemas mecatrónicos e estudo da sua influência em Simulação HiL (Hardware in the loop), 2013.  Dissertação (Engenharia Mecatrónica) - Universidade do Minho.

11.	Machado, José. Participação no júri de Diogo Alexandre Pires Lourenço. Controlo Automático dos Parâmetros, 2013.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

12.	Machado, José. Participação no júri de Marta Sofia Martins Gonçalves. Estruturação e Implementação de um Sistema de Controlo e Optimização do Processo numa Fundição de Latão, 2013.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

13.	Machado, José. Participação no júri de Rui Manuel Azevedo Mendes. Desenvolvimento e construção de sistemas mecânicos para automatização de móveis e ensaios de fadiga de provetes de misturas betuminosas, 2012.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

14.	Machado, José. Participação no júri de André Rodrigues Alves. Concecão e projeto de ortótese para os membros inferiores, 2012.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

15.	Machado, José. Participação no júri de João Pedro da Silva Teles Braga. Desenvolvimento de uma técnica de soldadura para restauro de sinos, 2012.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

16.	Machado, José. Participação no júri de Álvaro Jorge Teixeira da Cruz . Relatório de Actividade Profissional , 2012.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

17.	Machado, José. Participação no júri de Paulo César Moreira Carneiro. Desenvolvimento de protótipos virtuais para utilização em simulação Software-In-the-Loop, 2012.  Dissertação (Engenhari Mecânica - Automação) - Universidade do Minho.

18.	Machado, José. Participação no júri de Jorge Manuel da Silva Oliveira Salgado. Análise Modal experimental Aplicada a um componente estrutural Automóvel, 2012.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

19.	Machado, José. Participação no júri de Daniela Filipa de Brito Pais Fernandes. Estudo e conceção de um novo dispositivo médico auxiliar, 2012.  Dissertação (Engenharia Biomédica) - Universidade do Minho.

20.	Machado, José. Participação no júri de Rui Daniel Vieira da Costa. Projeto de Dispositivos de Produção e Montagem para a Industria Automóvel e dos Plásticos, 2012.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

21.	Machado, José. Participação no júri de Pedro Miguel Fernandes Dias. Derivados de cortiça: Caracterização mecânica e anti-vibratória, 2012.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

22.	Machado, José. Participação no júri de Maria João Correia Varela de Almeida. Biomechanical analysis of the human gait cycle for different scenarios, 2012.  Dissertação (Engenharia Biomédica) - Universidade do Minho.

23.	Machado, José. Participação no júri de Gustavo Ariel Fidalgo Vieira. Estudo e desenvolvimento de um equipamento automatizado para enchimento asséptico de creme de pasteleiro, 2011.  Dissertação (Engenhari Mecânica - Automação) - Universidade do Minho.

24.	Machado, José. Participação no júri de Corália Patrícia de Freitas Martins Barbosa. Estudo da Análise da marcha e da sincronização, 2011.  Dissertação (Engenharia Biomédica) - Universidade do Minho.

25.	Machado, José. Participação no júri de Vitor Faria. Desenvolvimento de um sistema de aquisição de dados para um equipamento de vazamento por centrifugação de eixo vertical, 2011.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

26.	Machado, José. Participação no júri de Carlos Miguel Borges Pinto. Desenvolvimento de um indexer para comando XY de dois motores passo-a-passo, 2011.  Dissertação (Automação, Instrumentação e Controlo) - Universidade do Porto.

27.	Machado, José. Participação no júri de Mafalda Araújo Seara Couto. Kinematic compatibility of biomechanical models and 3D modeling and design of a Bioloid quadruped leg, 2011.  Dissertação (Engenharia Biomédica) - Universidade do Minho.

28.	Machado, José. Participação no júri de João Fernandes Ferreira. Mechatronic device for spasticity quantification, 2011.  Dissertação (Engenharia Biomédica) - Universidade do Minho.

29.	Machado, José. Participação no júri de Anibal Alberto Fernandes da Silva. Desenvolvimento e caracterização de filmes finos para aplicações decorativas, 2011.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

30.	Machado, José. Participação no júri de Susana Filipa Viana de Oliveira. Estudo de propriedades mecânicas em filmes finos nanocompósitos multifuncionais, 2011.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

31.	Machado, José. Participação no júri de Teodorico Domingues Enes. Projeto e Execução de Relvados Sintéticos, 2011.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

32.	Machado, José. Participação no júri de Carlos Alberto Gonçalves de Sousa. Análise comparativa de tecnologias de baixo custo para reconhecimento de padrões em sistemas automáticos, 2011.  Dissertação (Automação, Instrumentação e Controlo) - Universidade do Porto.

33.	Machado, José. Participação no júri de Pedro Emanuel Novo de Moura. Projeto e desenvolvimento de estribo para calçado ortopédico, 2011.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

34.	Machado, José. Participação no júri de João Nuno Oliveira de Matos. Estudo de propriedades mecânicas em filmes finos nanocompósitos multifuncionais, 2011.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

35.	Machado, José. Participação no júri de Paulo André Mendes Borges. Software Seguro para Sistemas Mecatrónicos Temporizados, 2010.  Dissertação (Engenharia Mecânica) - Universidade do Minho.

36.	Machado, José. Participação no júri de Paulo André Carvalho Rodrigues. Desenvolvimento de um equipamento para quantificação de espasticidade, 2010.  Dissertação (Engenharia Electrónica) - Universidade do Minho.

37.	Machado, José. Participação no júri de Tiago Manuel Simões Ramos. Projecto de um dinamómetro para avaliação da força preensora da mão, 2010.  Dissertação (Automação, Instrumentação e Controlo) - Universidade do Porto.

38.	Machado, José. Participação no júri de Nélson dos Santos Silvério. Sistema inteligente de Gestão da Manutenção e Suporte Operacional, 2010.  Dissertação (Engenharia Electrotécnica e de Computadores) - Universidade Nova de Lisboa.

39.	Machado, José. Participação no júri de João Pedro Lopes de Araújo. Automatização e Controlo de uma Estação de Águas Residuais, 2010.  Dissertação (Engenharia Electrotécnica e de Computadores) - Universidade de Trás-os-Montes e Alto Douro.

40.	Machado, José. Participação no júri de Roberto Carlos Barradas de Sousa. Análise e desenvolvimento de sistema de informação fabril orientado ao processo, 2009.  Dissertação (Automação, Instrumentação e Controlo) - Universidade do Porto.

41.	Machado, José. Participação no júri de Júlio César Monteiro da Costa. Acesso remoto e controlo de processos de uma rede de autómatos, 2009.  Dissertação (Engenharia Electrónica) - Universidade do Minho.

42.	Machado, José. Participação no júri de Ricardo Filipe Miranda Freitas. Análise Monotorização e Controlo de Sistema de Refrigeração num Estabelecimento Comercial, 2009.  Dissertação (Engenharia Electrónica) - Universidade do Minho.

43.	Machado, José. Participação no júri de Celina Soares Pereira. Um Método para Projecto Iterativo de Automação Residencial, 2009.  Dissertação (Engenharia Mecânica - Automação) - Universidade do Minho.

44.	Machado, José. Participação no júri de João Pedro de Jesus da Costa. Optimização da Produção de Unidades de Ventilação e Recuperação de Energia, 2009.  Dissertação (Engenharia Mecânica - Automação) - Universidade do Minho.

45.	Machado, José. Participação no júri de José Luís Gonçalves do Passo. Desenvolvimento de um Sistema Automático de Estagiamento de Moldes Vazados com Material Abrasivo, 2008.  Dissertação (Automação, Instrumentação e Controlo) - Universidade do Porto.

46.	Machado, José. Participação no júri de António Manuel Carvalho de Sousa Pinto. Finalização e Exploração de um Armazém Automático Protótipo, 2008.  Dissertação (Automação, Instrumentação e Controlo) - Universidade do Porto.

47.	Machado, José. Participação no júri de Carlos Miguel Soares da Silva. Desenvolvimento de Sistema para Controlo e Monitorização de Ensaios Laboratoriais, 2008.  Dissertação (Automação, Instrumentação e Controlo) - Universidade do Porto.

48.	Machado, José. Participação no júri de Marco Raul Gonçalves Costa. Simulação e Controlo do nível e da temperatura de um líquido num reservatório-TLSim, 2008.  Dissertação (Engenharia Electrónica) - Universidade do Minho.

Exame de qualificação de doutoramento Phd qualification test

1.	Machado, José. Participação no júri de Guilherme de Oliveira Kunz. Desenvolvimento de uma Metodologia/Norma para Controle de APM (Automated People Movers), 2010. Exame de qualificação (Doutorado em Engenharia Mecânica) - Universidade Federal do Rio Grande do Sul.

2.	Machado, José. Participação no júri de Pedro Manuel Macedo Araújo. Projecto e Desenvolvimento de um Equipamento para Fritura Automática de Ovos, 2010. Exame de qualificação (Engenharia Mecânica) - Universidade do Minho.

Participação em Comissões de Avaliação Evaluation comissions participation

1.	PLC Programming Languages for High Integrity Systems, 2008, Universidade do Porto.

Participação em eventos Event participation

Participação como Keynote Speaker Participation as Keynote Speaker

1.	REVVIS Project Partner Meeting (UM, ITA e IAE), 2010 (Encontro).

2.	Thematic Workshop of the REVVIS Project – Software Verification and Validation, 2009 (Workshop).

3.	REVVIS Project Partner Meeting (UM, ITA e IAE), 2008 (Encontro).

Participação como Membro da Comissão Científica Participation as Member of the Program Committee

1.	BIOENG 2013 - 3rd Portuguese BioEngineering Meeting, 2013 (Congresso).

2.	DCDS 2013 - 4th IFAC Workshop on Dependable Control of Discrete Systems , 2013 (Conferência).

3.	ICNAAM 2013 - 11th International Conference of Numerical Analysis and Applied Mathematics , 2013 (Conferência).

4.	ICMD’2013 - International Conference of Machine Design Departments , 2013 (Conferência).

5.	MECAHITECH‘13 - 5th International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, 2013 (Conferência).

6.	ImViReLL 2012 - Impact of Virtual, Remote and Real Logistics Labs, 2012 (Conferência).

7.	MECAHITECH‘12 - 4th International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, 2012 (Conferência).

8.	MECAHITECH '11 - 3rd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, 2011 (Conferência).

9.	COMEFIM 10 - The 10th International Conference on Mechatronics and Precision Engineering, 2011 (Conferência).

10.	DCDS'11 - 3rd INTERNATIONAL WORKSHOP ON DEPENDABLE CONTROL OF DISCRETE SYSTEMS , 2011 (Conferência).

11.	IFAC – IMS’2010 - 10th IFAC Workshop on Intelligent Manufacturing Systems, 2010 (Conferência).

12.	IFAC - DCDS’2009 – 2nd IFAC Workshop on Dependable Control of Discrete Systems, 2009 (Conferência).

Participação como Moderador Participation as Chairman

1.	BIOENG 2013 - 3rd Portuguese BioEngineering Meeting, 2013 (Conferência).

2.	ICNAAM 2013 - 11th International Conference of Numerical Analysis and Applied Mathematics , 2013 (Conferência).

3.	MECAHITECH‘13 - 5th International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, 2013 (Conferência).

4.	INDIN 2013 - IEEE 11th International Conference on Industrial Informatics , 2013 (Conferência).

5.	MECAHITECH‘12 - 4th International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, 2012 (Conferência).

6.	INDIN 2012 - 10th IEEE International Conference on Industrial Informatics, 2012 (Conferência).

7.	IFAC – WICS’2010 – Workshop on Intelligent Control Systems, 2010 (Conferência).

8.	IEEE - INDIN’2010 – 8th International Conference on Industrial Informatics, 2010 (Conferência).

9.	IFAC – IMS’2010 - 10th IFAC Workshop on Intelligent Manufacturing Systems, 2010 (Conferência).

10.	ICINCO 2009 – 6th International Conference on Informatics in Control, Automation and Robotics, 2009 (Conferência).

11.	ICINCO 2008 – 5th International Conference on Informatics in Control, Automation and Robotics, 2008 (Conferência).

Participação como Relator Participation as Commentator

1.	BIOENG 2013 - 3rd Portuguese BioEngineering Meeting, 2013 (Conferência).

2.	NER'2013 - 6th International IEEE/EMBS Conference on Neural Engineering, 2013 (Conferência).

3.	LADC 2013 - Sixth Latin-American Symposium on Dependable Computing, 2013 (Conferência).

4.	IMS'2013 - 11th IFAC Workshop on Intelligent Manufacturing Systems, 2013 (Conferência).

5.	IECON'2013 - 39th Annual Conference of the IEEE Industrial Electronics Society, 2013 (Conferência).

6.	ICIT'2013 - IEEE International Conference on Industrial Technology , 2013 (Conferência).

7.	DCDS 2013 - 4th IFAC Workshop on Dependable Control of Discrete Systems , 2013 (Conferência).

8.	ICNAAM 2013 - 11th International Conference of Numerical Analysis and Applied Mathematics , 2013 (Conferência).

9.	MECAHITECH‘13 - 5th International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, 2013 (Conferência).

10.	INDIN 2013 - IEEE 11th International Conference on Industrial Informatics , 2013 (Conferência).

11.	SAAEI 2012 - Annual Seminar on Automation, Industrial Electronics and Instrumentation , 2012 (Conferência).

12.	TDS 2012 - 10th IFAC Workshop on. Time Delay Systems , 2012 (Conferência).

13.	ImViReLL 2012 - Impact of Virtual, Remote and Real Logistics Labs, 2012 (Conferência).

14.	ICNAAM 2012 - 10th International Conference of Numerical Analysis and Applied Mathematics, 2012 (Conferência).

15.	MECAHITECH‘12 - 4th International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, 2012 (Conferência).

16.	INDIN 2012 - 10th IEEE International Conference on Industrial Informatics, 2012 (Congresso).

17.	MECAHITECH '11 - 3rd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, 2011 (Conferência).

18.	IEEE 9th International Conference on Industrial Informatics, 2011 (Conferência).

19.	IFAC 18th World Congress , 2011 (Conferência).

20.	DCDS'11 - 3rd INTERNATIONAL WORKSHOP ON DEPENDABLE CONTROL OF DISCRETE SYSTEMS , 2011 (Conferência).

21.	CBA’2010 – Congresso Brasileiro de Automática, 2010 (Conferência).

22.	IEEE - INDIN’2010 – 8th International Conference on Industrial Informatics, 2010 (Conferência).

23.	IFAC – IMS’2010 - 10th IFAC Workshop on Intelligent Manufacturing Systems, 2010 (Conferência).

24.	IEEE - ISIE’2010 – IEEE International Symposium on Industrial Electronics, 2010 (Conferência).

25.	IEEE – ICCAS-SICE’2009 – International Conference on Control and Automation Systems, 2009 (Conferência).

26.	IEEE – ICECCS’2009 - 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009 (Conferência).

27.	IFAC - DCDS’2009 – 2nd IFAC Workshop on Dependable Control of Discrete Systems, 2009 (Conferência).

28.	IFAC - INCOM’2009 - 13th IFAC Symposium on Information Control Problems in Manufacturing, 2009 (Conferência).

29.	COBEM`2009 – 20th International Congress on Mechanical Engineering, 2009 (Conferência).

30.	ICEE’2007 – International Conference on Engineering Education, 2007 (Conferência).

Outro tipo de participação Other kind of participation

1.	BIOENG 2013 - 3rd Portuguese BioEngineering Meeting, 2013 (Conferência).

2.	ICNAAM 2013 - 11th International Conference of Numerical Analysis and Applied Mathematics , 2013 (Conferência).

3.	ICMD’2013 - International Conference of Machine Design Departments , 2013 (Conferência).

4.	MECAHITECH‘13 - 5th International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, 2013 (Conferência).

5.	INDIN 2013 - IEEE 11th International Conference on Industrial Informatics , 2013 (Conferência).

6.	TRS 2012 - 41st Textile Research Symposium, 2012 (Simpósio).

7.	Manufacturing 2012, 2012 (Conferência).

8.	ICNAAM 2012 - 10th International Conference of Numerical Analysis and Applied Mathematics, 2012 (Conferência).

9.	ICERI 2013 - 6th International Conference of Education, Research and Innovation, 2012 (Conferência).

10.	ETFA 2012 - 17th IEEE International Conference on Emerging Technologies & Factory Automation, 2012 (Conferência).

11.	MECAHITECH‘12 - 4th International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, 2012 (Conferência).

12.	INDIN 2012 - 10th IEEE International Conference on Industrial Informatics, 2012 (Conferência).

13.	56th International Scientific Colloquium, 2011 (Conferência).

14.	MECAHITECH '11 - 3rd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, 2011 (Conferência).

15.	ICINCO 2011 - 8th International Conference on Informatics in Control, Automation and Robotics, 2011 (Conferência).

16.	IEEE ICBBT’2011 – 3rd International Conference on Bioinformatics and Biomedical Technology, 2011 (Conferência).

17.	IFAC – WICS’2010 – Workshop on Intelligent Control Systems, 2010 (Conferência).

18.	MECAHITECH'10 - 2nd International Conference on Innovations, Recent Trends and Challenges in Mechatronics, Mechanical Engineering and New High-Tech Products Development, 2010 (Conferência).

19.	IEEE - INDIN’2010 – 8th International Conference on Industrial Informatics, 2010 (Conferência).

20.	IFAC – IMS’2010 - 10th IFAC Workshop on Intelligent Manufacturing Systems, 2010 (Conferência).

21.	Engenharia'2009. Inovação & desenvolvimento, 2009 (Conferência).

22.	COBEM 2009, 20th International Congress of Mechanical Engineering, 2009 (Conferência).

23.	ICINCO 2009 – 6th International Conference on Informatics in Control, Automation and Robotics, 2009 (Conferência).

24.	METIME'2009 - 3rd International Conference on Thermal Engines and Environmental Engineering, 2009 (Conferência).

25.	IFAC - INCOM’2009 – 13th IFAC Symposium on Information Control Problems In Manufacturing, 2009 (Conferência).

26.	53th Internationales Wissenschaftliches Kolloquium, 2008 (Conferência).

27.	ICEE`2008 - International Conference on Engineering Education, 2008 (Conferência).

28.	IFAC 2008 – 17th IFAC World Congress, 2008 (Conferência).

29.	ICINCO 2008 – 5th International Conference on Informatics in Control, Automation and Robotics, 2008 (Conferência).

30.	ENRSF 2007 - II Encontro Nacional de Riscos, Segurança e Fiabilidade, 2007 (Conferência).

31.	COBEM 2007 - 19th International Congress of Mechanical Engineering, 2007 (Conferência).

32.	11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems - Theory and Applications, 2007 (Conferência).

33.	IFAC - DCDS’2007 – 1st IFAC Workshop on Dependable Control of Discrete Systems, 2007 (Conferência).

34.	ICINCO 2007 - 4th International Conference on Informatics in Control, Automation and Robotics, 2007 (Conferência).

35.	CONTROLO'2006 - The 7th Portuguese Conference on Automatic Control, 2006 (Conferência).

36.	WODES 2006 – 8th International Workshop on Discrete Event Systems, 2006 (Conferência).

37.	COBEM'2003 - 17th Edition of the International Congress of Mechanical Engineering, 2003 (Conferência).

38.	IEPM'2003 - International Conference on Industrial Engineering and Production Management, 2003 (Conferência).

39.	ECC'2001 - European Control Conference, 2001 (Conferência).

40.	MECHATRONICS'2000 - Mechatronics International Forum, 2000 (Conferência).

41.	44.IWK’99 - 44th International Scientific Colloquim of the Technical University of Ilmenau, 1999 (Conferência).

Participação editorial em revistas Magazine editorial participation

1.	Machado, José. Measurement, Função ou tipo de participação: Reviewer.
2.	Machado, José. Control Engineering Practice, Função ou tipo de participação: Reviewer.
3.	Machado, José. International Journal of Advanced Robotic Systems, Função ou tipo de participação: Corpo editorial.
4.	Machado, José. IEEE Transactions on Control Systems Technology, Função ou tipo de participação: Reviewer.
5.	Machado, José. International Journal of EmbeddedSystems, Função ou tipo de participação: Reviewer.
6.	Machado, José. IEEE Transactions on Automation Science and Engineering, Função ou tipo de participação: Reviewer.
7.	Machado, José. International Journal of Advanced Robotic Systems, Função ou tipo de participação: Reviewer.
8.	Machado, José. Applied Mathematical Modelling, Função ou tipo de participação: Reviewer.
9.	Machado, José. IEEE Transactions on Industrial Informatics, desde 2012/03/22, Função ou tipo de participação: Reviewer.
10.	Machado, José. IEEE Transactions on Control Systems Technology, desde 2011/06/27, Função ou tipo de participação: Reviewer.
11.	Machado, José. IEEE Transactions on Automation Science and Engineering, de 2010/09/16 até 2010/10/28, Função ou tipo de participação: Reviewer.
12.	Machado, José. IEEE Transactions on Automation Science and Engineering, de 2009/05/28 até 2009/09/21, Função ou tipo de participação: Reviewer.

Produção científica Scientific production

Produção técnica Technical production

Dados complementares data

Total

Produção científica Scientific production

132

Livros e capítulos Books and book chapters

8

Livros publicados ou organizados Published or organized books

4

Capítulos de livros publicados Published book chapters

4

Artigos científicos em revistas Papers in periodics

22

Com arbitragem científica With scientific refereeing

22

Trabalhos em eventos Papers in conference proceedings

101

Com arbitragem científica With scientific refereeing

101

Textos em jornais ou revistas Texts in journals or magazines

1

Revistas Magazines

1

Total

Produção técnica Technical production

79

Software

1

Software sem registo ou patente Software without patent or official record

1

Produtos Products

2

Produtos com registo ou patente Products with patent or official record

2

Outros tipos de produção técnica Other technical production

76

Total

Dados complementares (Additional data)

203

Orientações Orientations

40

Outros Trabalhos Other production

2

Participação no Júri de Graus Académicos Academic Degrees jury participation

51

Participação em Comissões de Avaliação Evaluation comissions participation

1

Participação em Eventos Event participation

97

Participação editorial em revistas Magazine editorial participation

12

	Demétrio Ferreira Matos
	José Francisco Creissac Freitas de Campos