| Timed petri nets JR Silva, PMG Del Foyo Petri Nets: Manufacturing and Computer Science, 359-378, 2012 | 44 | 2012 |
| Active load control of large wind turbines using state-space methods and disturbance accommodating control EJN Menezes, AM Araújo, JS Rohatgi, PMG del Foyo Energy 150, 310-319, 2018 | 42 | 2018 |
| Using time Petri nets for modelling and verification of timed constrained workflow systems PMG Del Foyo, JR Silva ABCM Symposium series in mechatronics 3, 471-478, 2008 | 30 | 2008 |
| Introducing object-orientation in unified Petri Net approach JR Silva, J Miralles, AO Salmon, P Del Foyo Proceedings of the 20th International Congress of Mechanical Engineering …, 2009 | 15 | 2009 |
| Towards a unified view of Petri nets and object oriented modeling PMG del Foyo, JR Silva 17th International Congress in Mechanical Engineering, São Paulo, 2003 | 13 | 2003 |
| GHENESYS: Uma rede estendida para a modelagem, analise e projeto de sistemas complexos P González, JR Silva Proceedings of the Brazilian Symposium on Intelligent Automation (SBAI 2001 …, 2001 | 13 | 2001 |
| Some issues in real-time systems verification using time petri nets PM Foyo, JR Silva Journal of the Brazilian Society of Mechanical Sciences and Engineering 33 …, 2011 | 11 | 2011 |
| Ghenesys: Uma rede estendida orientada a objetos para projeto de sistemas discretos PMG del Foyo masther thesis,(in Portuguese), 2001 | 11 | 2001 |
| Verification of automated systems using invariants AZO Salmon, PMG del Foyo, JR Silva Proceedings of the Brazilian Congress of Automation, Belo Horizonte, Brazil …, 2014 | 10 | 2014 |
| Scheduling real-time systems with periodic tasks using a model-checking approach AZO Salmon, PMG del Foyo, JR Silva 2014 12th IEEE International Conference on Industrial Informatics (INDIN), 73-78, 2014 | 9 | 2014 |
| Requirements engineering at a glance: comparing gore and UML methods in the design of automated systems JM Silva, JR SILVA, AZO SALMON, PMG DEL FOYO Congresso Brasileiro de Automática-CBA 1 (1), 2019 | 6 | 2019 |
| Improving the verification of real-time systems using time Petri nets PMG del Foyo, JR Silva Journal of Control, Automation and Electrical Systems 28, 774-784, 2017 | 6 | 2017 |
| Verificaçao formal de sistemas discretos distribuıdos PMG Del Foyo PhD thesis, Escola Politécnica da USP, 2009 | 6 | 2009 |
| Design and control of a flywheel inverted pendulum system JRC Vasconcelos, EMA GONZÁLEZ, PMG DEL FOYO Congresso Brasileiro de Automática-CBA 1 (1), 2019 | 5 | 2019 |
| Towards a Unified View of Modeling and Design with GHENeSys A Salmon, J Miralles, PMG del Foyo, R Silva 21st International Congress of Mechanical Engineering, 2011 | 5 | 2011 |
| Requirements analysis of automated projects using UML/Petri nets PMG del Foyo, AO Salmon, JR Silva Proc. of COBEM, 2011 | 4 | 2011 |
| Revisiting requirement engineering for intelligent manufacturing JM Silva, PMG del Foyo, AZ Olivera, JR Silva International Journal on Interactive Design and Manufacturing (IJIDeM) 17 (2 …, 2023 | 3 | 2023 |
| UM VERIFICADOR FORMAL EFICIENTE PARA SISTEMAS DE TEMPO REAL PMG del Foyo, ASPJ Miralles, JR Silva X SBAI–Simpósio Brasileiro de Automação Inteligente 10, 1220-1225, 2011 | 3 | 2011 |
| Windmill PM Gonzalez, JA Silva US Patent 1,722,845, 1929 | 3 | 1929 |
| A Formal Approach to Requirements Engineering of Automated Systems: Facing the Challenge for New Automated Systems AZO Salmon, PMG del Foyo, JR Silva Journal of Control, Automation and Electrical Systems 32 (4), 815-829, 2021 | 2 | 2021 |
