| Sistemas de tempo real JM Farines, JS Fraga, RS Oliveira Escola de Computação 2000, 201, 2000 | 112 | 2000 |
| Practicing engineering in a freshman introductory course MBR Vallim, JM Farines, JER Cury IEEE Transactions on Education 49 (1), 74-79, 2006 | 95 | 2006 |
| Ladder metamodeling and PLC program validation through time Petri nets DF Bender, B Combemale, X Crégut, JM Farines, B Berthomieu, ... Model Driven Architecture–Foundations and Applications: 4th European …, 2008 | 72 | 2008 |
| Introducing the modeling and verification process in SysML MV Linhares, RS de Oliveira, JM Farines, F Vernadat 2007 ieee conference on emerging technologies and factory automation (efta …, 2007 | 66 | 2007 |
| Specification, mapping and control for QoS adaptation C Koliver, K Nahrstedt, JM Farines, JS Fraga, SA Sandri Real-Time Systems 23, 143-174, 2002 | 53 | 2002 |
| CosNamingFT-a fault-tolerant CORBA naming service LC Lung, J da Silva Fraga, JM Farines, M Ogg, A Ricciardi Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems, 254-262, 1999 | 29 | 1999 |
| The Cotre project: rigorous software development for real time systems in avionics JM Farines, B Berthomieu, JP Bodeveix, P Dissaux, P Farail, M Filali, ... Electronic Notes in Theoretical Computer Science. http://www. sciencedirect …, 2003 | 27 | 2003 |
| A DTN routing strategy based on neural networks for urban bus transportation system FR Segundo, ES e Silva, JM Farines Journal of Network and Computer Applications 64, 216-228, 2016 | 26 | 2016 |
| Towards the verification of real-time systems in avionics: the Cotre approach B Berthomieu, PO Ribet, F Vernadat, JL Bernartt, JM Farines, JP Bodeveix, ... Electronic Notes in Theoretical Computer Science 80, 203-218, 2003 | 26 | 2003 |
| A model-driven engineering approach to formal verification of PLC programs JM Farines, MH de Queiroz, VG da Rocha, AMM Carpes, F Vernadat, ... ETFA2011, 1-8, 2011 | 25 | 2011 |
| An adaptive scheduling approach in real-time corba C Montez, J Fraga, R de Oliveira, JM Farines Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time …, 1999 | 24 | 1999 |
| An approach to verify live NCL applications D Picinin Jr, JM Farines, C Koliver Proceedings of the 18th Brazilian Symposium on Multimedia and the Web, 223-232, 2012 | 22 | 2012 |
| Towards using hybrid automata for the mission planning of unmanned aerial vehicles CW Seibel, JM Farines, JER Cury Hybrid Systems V 5, 324-340, 1999 | 22 | 1999 |
| A programming model for real-time applications in open distributed systems J Fraga, JM Farines, O Furtado, F Siqueira Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of …, 1995 | 21 | 1995 |
| Experiências com comunicaçao de grupo nas especificaçoes fault tolerant corba LC Lung, J da Silva Fraga, JM Farines, JR Oliveira Anais do 18o. Simpósio Brasileiro de Redes de Computadores, 2000 | 19 | 2000 |
| Supporting the design of safety critical systems using AADL T Correa, LB Becker, JM Farines, JP Bodeveix, M Filali, F Vernadat 2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010 | 18 | 2010 |
| Implementing traffic engineering in MPLS-based IP networks with Lagrangean relaxation RA Dias, E Camponogara, JM Farines, R Willrich, A Campestrini Proceedings of the Eighth IEEE Symposium on Computers and Communications …, 2003 | 18 | 2003 |
| A automação no processo produtivo: desafios e perspectivas AH Bruciapaglia, JM Farines, JER Cury Revista Nexus, 28-31, 2001 | 17* | 2001 |
| Cyber-physical systems design: transition from functional to architectural models RF Passarini, JM Farines, JM Fernandes, LB Becker Design Automation for Embedded Systems 19, 345-366, 2015 | 16 | 2015 |
| Automatic test of safety specifications for PLC programs in the Oil and Gas Industry TJ Prati, JM Farines, MH De Queiroz IFAC-PapersOnLine 48 (6), 27-32, 2015 | 16 | 2015 |
