| Modelling and analysis of hybrid supervisory systems: a Petri net approach E Villani, PE Miyagi, R Valette Springer Science & Business Media, 2007 | 104 | 2007 |
| Analysis of the indoor GPS system as feedback for the robotic alignment of fuselages using laser radar measurements as comparison G Mosqueira, J Apetz, KM Santos, E Villani, R Suterio, LG Trabasso Robotics and Computer-Integrated Manufacturing 28 (6), 700-709, 2012 | 82 | 2012 |
| System safety assessment based on STPA and model checking AL Dakwat, E Villani Safety science 109, 130-143, 2018 | 77 | 2018 |
| A Petri net-based object-oriented approach for the modelling of hybrid productive systems E Villani, JC Pascal, PE Miyagi, R Valette Nonlinear Analysis: Theory, Methods & Applications 62 (8), 1394-1418, 2005 | 40 | 2005 |
| Relevant factors for the energy consumption of industrial robots RR Garcia, AC Bittencourt, E Villani Journal of the Brazilian Society of Mechanical Sciences and Engineering 40, 1-15, 2018 | 37 | 2018 |
| A method to improve the use of 6-dof robots as machine tools LFF Furtado, E Villani, LG Trabasso, R Sutério The International Journal of Advanced Manufacturing Technology 92, 2487-2502, 2017 | 37 | 2017 |
| Manufacture equipment retrofit to allow usage in the industry 4.0 DH Arjoni, FS Madani, G Ikeda, GM Carvalho, LB Cobianchi, ... 2017 2nd international conference on Cybernetics, Robotics and Control (CRC …, 2017 | 37 | 2017 |
| Integrating model checking and model based testing for industrial software development E Villani, RP Pontes, GK Coracini, AM Ambrósio Computers in Industry 104, 88-102, 2019 | 32 | 2019 |
| On reliability analysis of leader election protocols for virtual traffic lights N Fathollahnejad, E Villani, R Pathan, R Barbosa, J Karlsson 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks …, 2013 | 32 | 2013 |
| A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector JMS Anjos, GK Coracini, E Villani Advances in Engineering Software 55, 32-44, 2013 | 31 | 2013 |
| Modelagem e análise de sistemas supervisórios híbridos. E Villani Universidade de São Paulo, 2004 | 26 | 2004 |
| Abordagem híbrida para modelagem de sistemas de ar condicionado em edifícios inteligentes. E Villani Universidade de São Paulo, 2000 | 26 | 2000 |
| Comparison of visual servoing technologies for robotized aerospace structural assembly and inspection KR da Silva Santos, E Villani, WR de Oliveira, A Dttman Robotics and Computer-Integrated Manufacturing 73, 102237, 2022 | 25 | 2022 |
| A comparison of industrial robots interface: force guidance system and teach pendant operation GB Rodamilans, E Villani, LG Trabasso, WR Oliveira, R Suterio Industrial Robot: An International Journal 43 (5), 552-562, 2016 | 25 | 2016 |
| Petri net approach for modelling system integration in intelligent buildings PE Miyagi, E Villani, GDB Gustin, N Maruyama, DJ Santos Filho Journal of The Brazilian Society of Mechanical Sciences 24, 341-350, 2002 | 24 | 2002 |
| Hybrid stochastic approach for the modelling and analysis of fire safety systems E Villani, PI Kaneshiro, PE Miyagi Nonlinear Analysis: Theory, Methods & Applications 65 (6), 1123-1149, 2006 | 21 | 2006 |
| Augmented reality for training formation flights: An analysis of human factors DH Arjoni, I de Souza Rehder, JMP Figueira, E Villani Heliyon 9 (3), 2023 | 20 | 2023 |
| Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry AJC De Aguiar, E Villani, F Junqueira Robotics and Computer-Integrated Manufacturing 27 (5), 929-941, 2011 | 20 | 2011 |
| Contributions of model checking and CoFI methodology to the development of space embedded software RP Pontes, PC Véras, AM Ambrosio, E Villani Empirical Software Engineering 19, 39-68, 2014 | 18 | 2014 |
| Landing system verification based on petri nets and a hybrid approach E Villani, PE Miyagi, R Valette IEEE Transactions on Aerospace and Electronic Systems 42 (4), 1420-1436, 2006 | 18 | 2006 |
Paulo Eigi MiyagiProfessor of Mechatronics Engineering, University of Sao PauloVerified email at usp.br