A pragmatic approach to generating test sequences for embedded systems LP Lima, AR Cavalli Testing of Communicating Systems: IFIP TC6 10th International Workshop on …, 1997 | 56 | 1997 |
Solving the virtual machine placement problem as a multiple multidimensional knapsack problem RS Camati, A Calsavara, L Lima Jr ICN 2014 264, 2014 | 49 | 2014 |
Test suite minimization for testing in context N Yevtushenko, A Cavalli, L Lima Testing of Communicating Systems: Proceedings of the IFIP TC6 11th …, 1998 | 30 | 1998 |
Test suite minimization for testing in context R Anido, AR Cavalli, LP Lima Jr, N Yevtushenko Software Testing, Verification and Reliability 13 (3), 141-155, 2003 | 19 | 2003 |
UAV path optimization for precision agriculture wireless sensor networks GE Just Jr, M E. Pellenz, LAP Lima Jr, B S. Chang, R Demo Souza, ... Sensors 20 (21), 6098, 2020 | 14 | 2020 |
Autonomic application-level message delivery using virtual magnetic fields LAP Lima, A Calsavara Journal of Network and Systems Management 18, 97-116, 2010 | 13 | 2010 |
Application of embedded testing methods to service validation LP Lima, AR Cavalli Proceedings Second International Conference on Formal Engineering Methods …, 1998 | 13 | 1998 |
A framework for corba interoperability in ad hoc networks L Lima Jr, A Calsavara Proceedings of the 2007 ACM symposium on applied computing, 930-934, 2007 | 10 | 2007 |
A strategy for data replication in mobile ad hoc networks GA Michelon, LAP Lima, JA De Oliveira, A Calsavara, GE De Andrade 2014 IEEE 22nd International Symposium on Modelling, Analysis & Simulation …, 2014 | 9 | 2014 |
Routing based on message attraction A Calsavara, LAP Lima Jr 2010 IEEE 24th International Conference on Advanced Information Networking …, 2010 | 9 | 2010 |
Engendrer des tests pour un vrai protocole grâce à des techniques éprouvées de vérification R Anido, A Cavalli, T Macavei, LP Lima, M Clatin, M Phalippou Proceeding of CFIP96/Cinquième Colloque Francophone sur l Ingénierie des …, 1996 | 9 | 1996 |
Testing a real protocol with the aid of verification techniques R Anido, A Cavalli, T Macavei, LP Lima, M Clatin, M Phalippou HUNGARIAN ACADEMY OF SCIENCES CENTRAL RESEARCH INSTITUTE FOR PHYSICS …, 1996 | 8 | 1996 |
Virtual seismic interpretation LA Lima, R Bastos Proceedings SIBGRAPI'98. International Symposium on Computer Graphics, Image …, 1998 | 7 | 1998 |
Test execution of telecommunications services using CORBA LP Lima, AR Cavalli Formal Methods for Open Object-based Distributed Systems: Volume 2, 409-419, 1997 | 7 | 1997 |
Scalability of Distributed Dynamic Load Balancing Mechanisms A Calsavara, LAP Lima Jr ICN 2011 The Tenth International Conference on Networks, no. C, 347-352, 2011 | 6 | 2011 |
Seismic data volume rendering LA Lima, R Bastos University of North Carolina at Chapel Hill, 1998 | 6 | 1998 |
A pragmatic method to generate test sequences for embedded systems LP Lima Ph. D. Thesis, Institute National des Telecommunications, Evry, France, 1998 | 5 | 1998 |
Policy control management for Web Services AL Marcon, AO Santin, LA de Paula Lima, RR Obelheiro, M Stihler 2009 IFIP/IEEE International Symposium on Integrated Network Management, 49-56, 2009 | 4 | 2009 |
Uma aplicação de redes de sensores usando Bluetooth JH Kleinschmidt, ME Pellenz, LAP Lima Jr XXI Brazilian Telecommunications Symposium, Belém, Brazil, 2004 | 3 | 2004 |
Beyond scalability: Swarm intelligence affected by magnetic fields in distributed tuple spaces HD Lima, LAP Lima Jr, A Calsavara, HF Eberspächer, RC Nabhen, ... Journal of Parallel and Distributed Computing 123, 90-99, 2019 | 2 | 2019 |